Sigma knowledge engineering environment

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

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 CASC/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. 

External links

  • Sigma web site
  • TPTP/CADE
Retrieved from "https://en.wikipedia.org/w/index.php?title=Sigma_knowledge_engineering_environment&oldid=765851514"
This content was retrieved from Wikipedia : http://en.wikipedia.org/wiki/Sigma_knowledge_engineering_environment
This page is based on the copyrighted Wikipedia article "Sigma knowledge engineering environment"; it is used under the Creative Commons Attribution-ShareAlike 3.0 Unported License (CC-BY-SA). You may redistribute it, verbatim or modified, providing that you comply with the terms of the CC-BY-SA