Sigma: An integrated development environment for formal ontology

Issue title: Intelligent Engineering Techniques for Knowledge Bases

Article type: Research Article

Authors: Pease, Adam^; | Benzmüller, Christoph

Affiliations: Articulate Software, USA | Department of Mathematics and Computer Science, Freie Universität Berlin, Berlin, Germany

Note: [] Corresponding author: Adam Pease, Articulate Software, USA. E-mail: [email protected]

Abstract: 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.

Keywords: Formal ontology, development tool, first order and higher order logic

DOI: 10.3233/AIC-120549

Journal: AI Communications, vol. 26, no. 1, pp. 79-97, 2013