Sigma: An integrated development environment for formal ontology

Authors:
Adam Pease;Christoph Benzmüller
Affiliations:
Articulate Software, USA;Department of Mathematics and Computer Science, Freie Universität Berlin, Berlin, Germany
Venue:
AI Communications - Intelligent Engineering Techniques for Knowledge Bases
Year:
2013

Citing 17
Cited 0

CYC: a large-scale investment in knowledge infrastructure

Communications of the ACM
WebODE: a scalable workbench for ontological engineering

Proceedings of the 1st international conference on Knowledge capture
Towards a standard upper ontology

Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Proof General: A Generic Tool for Proof Development

TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
OilEd: A Reason-able Ontology Editor for the Semantic Web

KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
The design and implementation of VAMPIRE

AI Communications - CASC
E - a brainiac theorem prover

AI Communications - CASC
Analysing inconsistent first-order knowledgebases

Artificial Intelligence
LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)

IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Integrating YAGO into the Suggested Upper Merged Ontology

ICTAI '08 Proceedings of the 2008 20th IEEE International Conference on Tools with Artificial Intelligence - Volume 01
Planning author and character goals for story generation

CALC '09 Proceedings of the Workshop on Computational Approaches to Linguistic Creativity
The TPTP Problem Library and Associated Infrastructure

Journal of Automated Reasoning
Large theory reasoning with SUMO at CASC

AI Communications - Practical Aspects of Automated Reasoning
Representing story plans in SUMO

CALC '10 Proceedings of the NAACL HLT 2010 Second Workshop on Computational Approaches to Linguistic Creativity
Combining and automating classical and non-classical logics in classical higher-order logics

Annals of Mathematics and Artificial Intelligence
Higher-order aspects and context in SUMO

Web Semantics: Science, Services and Agents on the World Wide Web
Embedding and automating conditional logics in classical higher-order logic

Annals of Mathematics and Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

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.