Sigma knowledge engineering environment
 | This article provides insufficient context for those unfamiliar with the subject. |
Sigma is open source computer software for the development of formal ontologies. It is designed for use with the Suggested Upper Merged Ontology. It originally included only the Vampire theorem prover as its core deductive inference engine, but now allows use of many other provers that have participated in the TPTP/CADE competitions.
 | This software article is a stub. You can help Wikipedia by expanding it. |