BibSonomy :: concept  ::

Using Semantic Web Pipes you can fetch, mix and process RDF files published on the Web. As the output of a Pipe is an HTTP retrievable RDF model, simple pi...Using Semantic Web Pipes you can fetch, mix and process RDF files published on the Web. As the output of a Pipe is an HTTP retrievable RDF model, simple pipes can also work as inputs to more complex Pipes.

Semantic Wiki for Knowledge Engineers

Browse and read this year´s papers presented at ISWC and ASWC in Korea

The Suggested Upper Merged Ontology (SUMO) and its domain ontologies form the largest formal public ontology in existence today. They are being used for re...The Suggested Upper Merged Ontology (SUMO) and its domain ontologies form the largest formal public ontology in existence today. They are being used for research and applications in search, linguistics and reasoning. SUMO is the only formal ontology that

Bossam is a forward-chaining rule engine for the semantic web. Bossam is implemented based on RETE algorithm and supports OWL inferencing, URI referencing,...Bossam is a forward-chaining rule engine for the semantic web. Bossam is implemented based on RETE algorithm and supports OWL inferencing, URI referencing, negation-as-failure, java method attachment, query processing, and SWRL reasoning etc.

We investigate the computational properties of the spatial algebra RCC-5 which is a restricted version of the RCC framework for spatial reasoning. The sati...We investigate the computational properties of the spatial algebra RCC-5 which is a restricted version of the RCC framework for spatial reasoning. The satisfiability problem for RCC-5 is known to be NP-complete but not much is known about its approximatel

Information vs Knowledge To a machine, knowledge is comprehended information (aka new information produced through the application of deductive reasoning...Information vs Knowledge To a machine, knowledge is comprehended information (aka new information produced through the application of deductive reasoning to exiting information). To a machine, information is only data, until it is processed and compr

Information vs Knowledge To a machine, knowledge is comprehended information (aka new information produced through the application of deductive reasoning...Information vs Knowledge To a machine, knowledge is comprehended information (aka new information produced through the application of deductive reasoning to exiting information). To a machine, information is only data, until it is processed and compr

his homepage

Alexandre Riazanov and Andrei Voronkov AI Commun.15(2-3):91-110(2002)

Stamatia Dasiopoulou and Johannes Heinecke and Carsten Saathoff and Michael G. Strintzis ICSC '07: Proceedings of the International Conference on Semantic Computing, page413--420. Washington, DC, USA, IEEE Computer Society, (2007)

S. Jul The University of Michigan, (2004)

D. Tranel and D. Kemmerer Cognitive Neuropsychology21(7):719--749(2004)

Push Singh and Thomas Lin and Erik T. Mueller and Grace Lim and Travell Perkins and Wan Li Zhu Proceedings of the First International Conference on Ontologies, Databases, and Applications of Semantics for Large Scale Information Systems, page1223--1237. London, UK, Springer-Verlag, (2002)

Judea Pearl Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, (1988)

John P. III Smith and Patrick W. Thompson Employing children's natural powers to build algebraic reasoning in the context of elementary mathematics, Erlbaum, New York, (2007)

Markus Krötzsch and Sebastian Schaffert and Denny Vrandecic Reasoning Web, volume4636ofLecture Notes in Computer Science, page310-329. Springer, (2007)

John D. Lawrence Journal of Statistical Planning and Inference20(3):369--387(1988)

Dietmar Küchemann and Celia Hoyles International Journal of Science and Mathematics Education4(4):581-608(2006)

Max Egenhofer and Maria Vasardani Spatial Information Theory(2007)

S.C. Shapiro Conceptual Structures: Logical, Linguistic, and Computational Issues(2000)

Zhengxiang Pan and Jeff Heflin (2004)