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

Mary Keeler and Arun Majumdar Proceedings of the 16th International Conference on Conceptual Structures (ICCS 2008), volume5113ofLecture Notes in Computer Science, page88-103. Springer, (2008)

John Howse Proceedings of the 16th International Conference on Conceptual Structures (ICCS 2008), volume5113ofLecture Notes in Computer Science, page1-20. Springer, (2008)

M. Falda (2002)

M. Falda Fuzzy Logic and Applications: 6th International Workshop - Revised Selected Papers, page71--80. Crema, Italy, (2005)

M. Falda Proc. of FUZZ-IEEE'07, page1812--1817. London, UK, (2007)

M. Falda and F. Rossi and K. B. Venable Proc. of CSCLP'07, page187--201. Versailles, France, (2007)

M. Falda and F. Rossi and K. B. Venable Proc. of CP'07 workshop on Planning and Scheduling, Providence, Rhode Island, (2007)

M. Falda and F. Rossi and K. B. Venable Proc. of CAEPIA'07 workshop on Planning, Scheduling and Constraint Satisfaction, page57--68. Salamanca, Spain, (2007)

S. Badaloni and M. Falda and M. Giacomin Atti dell'8� Convegno AI*IA 2002, page39--48. Siena, Italy, (2002)

S. Badaloni and M. Falda and M. Giacomin Proc. of the International Conference on Advanced Planning and Scheduling (ICAPS 2003), page61. Trento, Italy, (2003)

S. Badaloni and M. Falda and M. Giacomin Proc. of the Workshop on Spatial and Temporal Reasoning, page105--112. Acapulco, Mexico, (2003)

S. Badaloni and M. Falda and M. Giacomin Proc. of the Workshop on Spatial and Temporal Reasoning, page11--15. Hyderabad, India, (2007)

S. Badaloni and M. Falda 8th Conference on Intelligent Autonomous Systems, page485--503. Amsterdam, (2004)

S. Badaloni and M. Falda and M. Giacomin Proc. of IPMU 2004, page1585--1592. Perugia, Italy, (2004)

S. Badaloni and M. Falda and M. Giacomin Atti del 9� Convegno AI*IA 2004, page41--42. Perugia, Italy, (2004)

S. Badaloni and M. Falda and M. Giacomin AI Communications17(4):183--272(2004)

S. Badaloni and M. Falda Proc. of the 10th Conference of Artificial Intelligence in Medicine (AIME 2005), page33--42. Aberdeen, Scotland, (2005)

S. Badaloni and M. Falda Proc. of IPMU 2006, page45--48. Paris, France, (2006)

S. Badaloni and M. Falda Proc. of of the International Workshop on Intelligent Data Analysis in Biomedicine and Pharmacology, page17--22. Verona, Italy, (2006)

S. Badaloni and M. Falda and M. Giacomin Journal of Intelligent and Fuzzy Systems18(3):255--265(2007)