Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Sigma_knowledge_engineering_environment> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- Sigma_knowledge_engineering_environment abstract "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.".
- Sigma_knowledge_engineering_environment wikiPageExternalLink sigmakee.sourceforge.net.
- Sigma_knowledge_engineering_environment wikiPageExternalLink ~tptp.
- Sigma_knowledge_engineering_environment wikiPageID "13215862".
- Sigma_knowledge_engineering_environment wikiPageRevisionID "345028531".
- Sigma_knowledge_engineering_environment hasPhotoCollection Sigma_knowledge_engineering_environment.
- Sigma_knowledge_engineering_environment subject Category:Ontology_(information_science).
- Sigma_knowledge_engineering_environment type Software.
- Sigma_knowledge_engineering_environment type Work.
- Sigma_knowledge_engineering_environment type CreativeWork.
- Sigma_knowledge_engineering_environment type InformationEntity.
- Sigma_knowledge_engineering_environment comment "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.".
- Sigma_knowledge_engineering_environment label "Sigma knowledge engineering environment".
- Sigma_knowledge_engineering_environment sameAs m.03bz3_v.
- Sigma_knowledge_engineering_environment sameAs Q7512412.
- Sigma_knowledge_engineering_environment sameAs Q7512412.
- Sigma_knowledge_engineering_environment wasDerivedFrom Sigma_knowledge_engineering_environment?oldid=345028531.
- Sigma_knowledge_engineering_environment isPrimaryTopicOf Sigma_knowledge_engineering_environment.