Sigma knowledge engineering environment

Sigma knowledge engineering environment
Repositorygithub.com/ontologyportal/sigmakee
Written inJava
LicenseGPL-3.0 license

In the computer science fields of knowledge engineering and ontology, the Sigma knowledge engineering environment (SigmaKEE) 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,[1] but now allows use of many other provers that have participated in the CASC/CADE competitions.[2]

  1. ^ Sutcliffe, Geoff; Yerikalapudi, Aparna; Trac, Steven (2009). "Multiple Answer Extraction for Question Answering with Automated Theorem Proving Systems" (PDF). Proceedings of the Twenty-Second International FLAIRS Conference. Retrieved January 16, 2024.
  2. ^ Pease, Adam; Schulz, Stephan (2014). Demri, Stephane; Kapur, Deepak; Weidenbach, Christoph (eds.). "Knowledge Engineering for Large Ontologies with Sigma KEE 3.0" (PDF). Proc. of the 7th IJCAR, Vienna. LNAI. 8562: 519–525. Retrieved January 16, 2024.