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 79.123.70.238 (talk) at 11:10, 19 May 2016 (created external links section, converted external link into wikilink). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In the computer science fields of knowledge engineering and ontology, the Sigma knowledge engineering environment is an open source computer program 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.

References

  • Pease, Adam; Schulz, Stephan (2014). Demri, Stephane; Kapur, Deepak; Weidenbach, Christoph (eds.). "Knowledge Engineering for Large Ontologies with Sigma KEE 3.0". Proc. of the 7th IJCAR, Vienna. LNAI. 8562: 519–525.
Stub icon

This software 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=721030239"