Back to Search
Start Over
Sigma: An integrated development environment for formal ontology.
- Source :
-
AI Communications . 2013, Vol. 26 Issue 1, p79-97. 19p. 3 Color Photographs, 3 Diagrams. - Publication Year :
- 2013
-
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. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 09217126
- Volume :
- 26
- Issue :
- 1
- Database :
- Academic Search Index
- Journal :
- AI Communications
- Publication Type :
- Academic Journal
- Accession number :
- 84782141
- Full Text :
- https://doi.org/10.3233/aic-120549