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 linksedit
Sigma web site
TPTP/CADE
This software article is a stub. You can help Wikipedia by expanding it.
sigma, knowledge, engineering, environment, computer, science, fields, knowledge, engineering, ontology, open, source, computer, program, development, formal, ontologies, designed, with, suggested, upper, merged, ontology, originally, included, only, vampire, . 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 editPease 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 editSigma web site TPTP CADE nbsp This software article is a stub You can help Wikipedia by expanding it vte Retrieved from https en wikipedia org w index php title Sigma knowledge engineering environment amp oldid 1045558883, wikipedia, wiki, book, books, library,