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.

[1]  Andrei Voronkov,et al.  Sine Qua Non for Large Theory Reasoning , 2011, CADE.

[2]  Stephan Schulz,et al.  E - a brainiac theorem prover , 2002, AI Commun..

[3]  Adam Pease,et al.  Sigma: An integrated development environment for formal ontology , 2013, AI Commun..

[4]  Geoff Sutcliffe,et al.  Integration of the TPTPWorld into SigmaKEE , 2008, PAAR/ESHOL.

[5]  Adam Pease,et al.  Sigma : An Integrated Development Environment for Logical Theories , 2010 .

[6]  Wordnet and SUMO for Sentiment Analysis , 2011 .

[7]  Nikolaj Bjørner,et al.  Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings , 2011, CADE.

[8]  Geoff Sutcliffe,et al.  TSTP Data-Exchange Formats for Automated Theorem Proving Tools , 2004 .

[9]  Christiane Fellbaum,et al.  Book Reviews: WordNet: An Electronic Lexical Database , 1999, CL.

[10]  Geoff Sutcliffe,et al.  The state of CASC , 2006, AI Commun..

[11]  Dominic Abrams,et al.  Language, Speech, and Communication , 2006 .

[12]  Weixiong Zhang,et al.  Distributed Constraint Problem Solving And Reasoning In Multi-Agent Systems , 2004 .

[13]  Adam Pease,et al.  Reasoning with Embedded Formulas and Modalities in SUMO , 2010 .

[14]  Stephan Schulz,et al.  System Description: E 1.8 , 2013, LPAR.

[15]  Larry Wos,et al.  What Is Automated Reasoning? , 1987, J. Autom. Reason..

[16]  Francis Bond,et al.  A Survey of WordNets and their Licenses , 2011 .

[17]  Geoff Sutcliffe,et al.  The development of CASC , 2002, AI Commun..

[18]  Andrei Voronkov,et al.  The design and implementation of VAMPIRE , 2002, AI Commun..

[19]  Koen Claessen,et al.  Using the TPTP Language for Writing Derivations and Finite Interpretations , 2006, IJCAR.

[20]  Adam Pease,et al.  Towards a standard upper ontology , 2001, FOIS.

[21]  Adam Pease,et al.  Controlled English to Logic Translation , 2010 .

[22]  Frank Wolter,et al.  Monodic fragments of first-order temporal logics: 2000-2001 A.D , 2001, LPAR.

[23]  Geoff Sutcliffe,et al.  First Order Reasoning on a Large Ontology , 2007, ESARLT.

[24]  Adam Pease,et al.  Formal Ontology for Media Rights Transactions , 2009 .

[25]  Geoff Sutcliffe,et al.  Large theory reasoning with SUMO at CASC , 2010, AI Commun..

[26]  Adam Pease,et al.  Progress in Automating Higher-Order Ontology Reasoning , 2010, PAAR@IJCAR.

[27]  Adolfo Jonathan Salinas-López,et al.  CEUR Workshop Proceedings , 2015 .