Knowledge Engineering for Large Ontologies with Sigma KEE 3.0
The Suggested Upper Merged Ontology (SUMO) is a large, comprehensive ontology stated in higher-order logic. It has co-evolved with a development environment called the Sigma Knowledge Engineering Environment (SigmaKEE). A large and important subset of SUMO can be expressed in first-order logic with equality. SigmaKEE has integrated different reasoning systems in the past, but they either had to be significantly modified, or integrated in a way that multiple queries to the same theory required expensive full re-processing of the full knowledge base.
To overcome this problem, to create a simpler system configuration that is easier for users to install and manage, and to integrate a state-of-the-art theorem prover we have now integrated Sigma with the E theorem prover. The E distribution includes a simple server version that loads and indexes the full knowledge base, and supports interactive queries via a simple interface based on text streams. No special modifications to E were necessary for the integration, so SigmaKEE can be easily upgraded to future versions.
KeywordsSentiment Analysis Automate Reasoning Knowledge Engineer Text Editor Integrate Development Environment
Unable to display preview. Download preview PDF.
- 1.Benzmüller, C., Pease, A.: Progress in automating higher-order ontology reasoning. In: Konev, B., Schmidt, R., Schulz, S. (eds.) Workshop on Practical Aspects of Automated Reasoning (PAAR 2010). CEUR Workshop Proceedings, Edinburgh, UK (2010)Google Scholar
- 2.Benzmüller, C., Pease, A.: Reasoning with Embedded Formulas and Modalities in SUMO. In: The ECAI 2010 Workshop on Automated Reasoning about Context and Ontology Evolution (August 2010)Google Scholar
- 3.Bond, F., Paik, K.: A survey of wordnets and their licenses. In: Proceedings of the 6th Global WordNet Conference (GWC, Matsue, pp, 64–71 (2012)Google Scholar
- 4.Fellbaum, C.: WordNet: An Electronic Lexical Database. Language, Speech, and Communication. MIT Press (1998), http://books.google.com.hk/books?id=Rehu8OOzMIMC
- 6.Niles, I., Pease, A.: Toward a Standard Upper Ontology. In: Welty, C., Smith, B. (eds.) Proceedings of the 2nd International Conference on Formal Ontology in Information Systems, FOIS 2001 (2001)Google Scholar
- 7.Pease, A.: Ontology: A Practical Guide. Articulate Software Press, Angwin (2011)Google Scholar
- 8.Pease, A., Benzmller, C.: Sigma: An Integrated Development Environment for Logical Theories. AI Comm. 26, 9–97 (2013)Google Scholar
- 9.Pease, A., Li, J.: Controlled English to Logic Translation. In: Poli, R., Healy, M., Kameas, A. (eds.) Theory and Applications of Ontology. Springer (2010)Google Scholar
- 10.Pease, A., Li, J., Nomorosa, K.: WordNet and SUMO for Sentiment Analysis. In: Proceedings of the 6th International Global Wordnet Conference (GWC 2012), Matsue, Japan (2012)Google Scholar
- 11.Pease, A., Rust, G.: Formal Ontology for Media Rights Transactions. In: Garcia, R. (ed.) Semantic Web Methodologies for E-Business Applications. IGI publishing (2008)Google Scholar
- 12.Pease, A., Sutcliffe, G.: First Order Reasoning on a Large Ontology. In: Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning on Large Theories, ESARLT (2007)Google Scholar
- 13.Pease, A., Sutcliffe, G., Siegel, N., Trac, S.: Large Theory Reasoning with SUMO at CASC. AI Comm. 23(2-3), 137–144 (2010); Special issue on Practical Aspects of Automated ReasoningGoogle Scholar
- 19.Sutcliffe, G., Zimmer, J., Schulz, S.: TSTP Data-Exchange Formats for Automated Theorem Proving Tools. In: Sorge, V., Zhang, W. (eds.) Distributed Constraint Problem Solving and Reasoning in Multi-Agent Systems. Frontiers in Artificial Intelligence and Applications, pp. 201–215. IOS Press (2004)Google Scholar
- 21.Sutcliffe, G., Stickel, M., Schulz, S., Urban, J.: Answer Extraction for TPTP, http://www.cs.miami.edu/~tptp/TPTP/Proposals/AnswerExtraction.html (acccessed August 7, 2013)
- 22.Trac, S., Sutcliffe, G., Pease, A.: Integration of the TPTPWorld into SigmaKEE. In: Proceedings of IJCAR 2008 Workshop on Practical Aspects of Automated Reasoning (PAAR 2008). CEUR Workshop Proceedings (2008)Google Scholar