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
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 to exiting information). To a machine, information is only data, until it is processed and compr
The W3C's Semantic Web project has been described in many ways over the last few years: an extension of the current web in which information is given well-defined meaning, a place where machines can analyze all the data on the Web, even a Web in which machine reasoning will be ubiquitous and devastatingly powerful. The problem with descriptions this general, however, is that they don't answer the obvious question: What is the Semantic Web good for?
F. Riguzzi, E. Bellodi, E. Lamma, and R. Zese. Web Reasoning and Rule Systems: 7th International Conference, RR 2013, Mannheim, Germany, volume 7994 of Lecture Notes in Computer Science, Springer, Heidelberg, (2013)
A. Turhan. Reasoning Web: Semantic Technologies for Intelligent Data Access, volume 8067 of Lecture Notes in Computer Science, Springer, Heidelberg, (2013)
G. Wagner, A. Giurca, I. Diaconescu, G. Antoniou, A. Analyti, and C. Damasio. Proceedings of the 3rd International Workshop on Applications of Logic Programming to the (Semantic) Web and Web Services (ALPSWS2008), Udine, Italy, volume 434 of CEUR Workshop Proceedings, Sun SITE Central Europe, (2009)
F. Baader, B. Ganter, B. Sertkaya, and U. Sattler. Proceedings of the 20th international joint conference on Artifical intelligence, page 230--235. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (2007)
C. Vescovo, B. Parsia, and U. Sattler. Proceedings of the 19th International Conference on Conceptual Structures (ICCS 2011), volume 6828 of Lecture Notes in Computer Science, page 187-200. Springer, (2011)