Springe direkt zu Inhalt

Sigma: An Integrated Development Environment for Formal Ontology

Christoph Benzmüller, Adam Pease – 2013

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.

Titel
Sigma: An Integrated Development Environment for Formal Ontology
Verfasser
Christoph Benzmüller, Adam Pease
Verlag
IOS Press
Schlagwörter
formal ontology
Datum
2013
Kennung
http://dx.doi.org/10.3233/AIC-120549
Quelle/n
Erschienen in
AI Communications (Special Issue on Intelligent Engineering Techniques for Knowledge Bases), Vol. 26, No.1, 2013
Sprache
eng
Art
Text
Größe oder Länge
pp. 79-97
Rechte
http://public.metapress.com/download/profiles/iospress/pay-per-view-copyright.pdf