Sigma: An integrated development environment for formal ontology
Adam Pease, Christoph Benzmüller · AI Communications · 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 (SU