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 Alaibot (talk | contribs) at 00:09, 15 September 2007 (Robot: tagging uncategorised page). 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.


This article is a stub. You can help Wikipedia by expanding it.

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