Sigma: An integrated development environment for formal ontology

Sigma is an open source environment for the development of logical theories. It has been under development and regular release for nearly a decade, and has been the principal environment under which the open source Suggested Upper Merged Ontology SUMO has been created. We discuss its features and evolution, and explain why it is an appropriate environment for the development of expressive ontologies in first and higher order logic.

[1]  Geoff Sutcliffe.  The TPTP Problem Library and Associated Infrastructure , 2009, Journal of Automated Reasoning.

[2]  Christoph Benzmüller,et al.  Combining Logics in Simple Type Theory , 2010, CLIMA.

[3]  Dan Holtshouse,et al.  Encyclopedia of E‐Commerce, E‐Government, and Mobile Commerce , 2007 .

[4]  Christoph Benzmüller,et al.  Combining and automating classical and non-classical logics in classical higher-order logics , 2011, Annals of Mathematics and Artificial Intelligence.

[5]  Richard Fikes,et al.  The Ontolingua Server: a tool for collaborative ontology construction , 1997, Int. J. Hum. Comput. Stud..

[6]  Christiane Fellbaum,et al.  Ontology and the Lexicon: Formal ontology as interlingua: the SUMO and WordNet linking project and global WordNet , 2010 .

[7]  The Sigma Ontology Development Environment , 2003 .

[8]  Douglas B. Lenat,et al.  CYC: a large-scale investment in knowledge infrastructure , 1995, CACM.

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

[10]  Thorsten Liebig,et al.  OntoTrack: Fast Browsing and Easy Editing of Large Ontologie , 2003, EON.

[11]  Lawrence C. Paulson,et al.  Multimodal and intuitionistic logics in simple type theory , 2010, Log. J. IGPL.

[12]  Asunción Gómez-Pérez,et al.  WebODE: a scalable workbench for ontological engineering , 2001, K-CAP '01.

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

[14]  David Aspinall,et al.  Proof General: A Generic Tool for Proof Development , 2000, TACAS.

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

[16]  H. Kucera,et al.  Computational analysis of present-day American English , 1967 .

[17]  Geoff Sutcliffe,et al.  Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure , 2010, J. Formaliz. Reason..

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

[19]  Christoph Benzmüller.  Automating Access Control Logics in Simple Type Theory with LEO-II (Techreport) , 2009, SEC.

[20]  Boris Konev,et al.  Special issue on practical aspects of automated reasoning , 2010, AI Commun..

[21]  M. Ashburner,et al.  The OBO Foundry: coordinated evolution of ontologies to support biomedical data integration , 2007, Nature Biotechnology.

[22]  Patrick J. Hayes,et al.  A Semantics for the Knowledge Interchange Format , 2001 .

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

[24]  Parosh Aziz Abdulla,et al.  Tools and Algorithms for the Construction and Analysis of Systems , 1996, Lecture Notes in Computer Science.

[25]  Michael R. Genesereth,et al.  Knowledge Interchange Format , 1991, KR.

[26]  Christiane Fellbaum,et al.  Building Semantic Concordances , 1998 .

[27]  John Li.  LOM: A Lexicon-based Ontology Mapping Tool , 2004 .

[28]  Jeffrey Cua,et al.  Representing Story Plans in SUMO , 2010, HLT-NAACL 2010.

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

[30]  Arvin Jasper Hong,et al.  Picture Books: An Automated Story Generator , 2008 .

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

[32]  Paul Mueller,et al.  Comparing Ontology Development Tools Based on an Online Survey , 2010 .

[33]  Fei-Fei Li,et al.  ImageNet: A large-scale hierarchical image database , 2009, 2009 IEEE Conference on Computer Vision and Pattern Recognition.

[34]  Alan Bundy,et al.  The ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution ARCOE-10 , 2010 .

[35]  Dov M. Gabbay,et al.  Embedding and automating conditional logics in classical higher-order logic , 2012, Annals of Mathematics and Artificial Intelligence.

[36]  Natalya F. Noy,et al.  Protégé: A Tool for Managing and Using Terminology in Radiology Applications , 2007, Journal of Digital Imaging.

[37]  Ian Horrocks,et al.  OilEd: a Reason-able Ontology Editor for the Semantic Web , 2001, Description Logics.

[38]  Lawrence C. Paulson,et al.  LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) , 2008, IJCAR.

[39]  James A. Hendler,et al.  A Tool for Working with Web Ontologies , 2005, Int. J. Semantic Web Inf. Syst..

[40]  J. Hurd.  First-Order Proof Tactics in Higher-Order Logic Theorem Provers In Proc , 2003 .

[41]  John Grant,et al.  Analysing inconsistent first-order knowledgebases , 2008, Artif. Intell..

[42]  Adam Pease,et al.  Linking Lixicons and Ontologies: Mapping WordNet to the Suggested Upper Merged Ontology , 2003, IKE.

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

[44]  Lawrence C. Paulson,et al.  Quantified Multimodal Logics in Simple Type Theory , 2009, Logica Universalis.

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

[46]  Alan Bundy,et al.  Automated Reasoning about Context and Ontology Evolution , 2011 .

[47]  Fabian M. Suchanek,et al.  Integrating YAGO into the Suggested Upper Merged Ontology , 2008, 2008 20th IEEE International Conference on Tools with Artificial Intelligence.

[48]  Dennis McLeod,et al.  Ontology Development Tools for Ontology- Based Knowledge Management , 2006 .

[49]  Adam Pease,et al.  Ontology Archaeology: Mining a Decade of Effort on the Suggested Upper Merged Ontology , 2010 .

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

[51]  Ethel Ong,et al.  Planning Author and Character Goals for Story Generation , 2009 .

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

[53]  Adam Pease,et al.  Higher-order aspects and context in SUMO , 2012, J. Web Semant..