Jump to content

Sigma knowledge engineering environment

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Apease (talk | contribs) at 16:36, 11 September 2007. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Sigma is an open source system 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 inference engine, but now allows use of many other provers that have participated in the TPTP/CADE competitions.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Sigma_knowledge_engineering_environment&oldid=157180266"