About: Sigma knowledge engineering environment

Not logged in : Login

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Sigma knowledge engineering environment Goto Sponge NotDistinct Permalink

An Entity of Type : http://www.wikidata.org/entity/Q7397, within Data Space : ods-qa.openlinksw.com:8896 associated with source document(s)

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.

Attributes	Values
type	Thing work dbpedia-owl:Software schema:CreativeWork work software
sameAs	Sigma knowledge engineering environment fbase:m.03bz3_v http://www.wikidata.org/entity/Q7512412 https://global.dbpedia.org/id/4urmJ
wasDerivedFrom	http://en.wikipedia.org/wiki/Sigma_knowledge_engineering_environment?oldid=1045558883&ns=0
dbpedia-owl: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 CASC/CADE competitions.
dbpedia-owl:wikiPageExternalLink	http://www.cs.miami.edu/~tptp/ http://github.com/ontologyportal/sigmakee
dbpedia-owl:wikiPageID	13215862(xsd:integer)
dbpedia-owl:wikiPageRevisionID	1045558883(xsd:integer)
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 CASC/CADE competitions.
label	Sigma knowledge engineering environment
dbpprop:wikiPageUsesTemplate	dbpedia:Template:Cite_journal dbpedia:Template:Software-stub
described by	proxy:entity/http/dbpedia.org/resource/Category:Ontology_(information_science)
topic	dbpedia:Suggested_Upper_Merged_Ontology dbpedia:Vampire_(theorem_prover) dbpedia:Sigma_knowledge_engineering_environment#this http://en.wikipedia.org/wiki/Sigma_knowledge_engineering_environment
http://purl.org/li...ics/gold/hypernym	dbpedia:Program
Subject	Ontology (information science)
is primary topic of	http://en.wikipedia.org/wiki/Sigma_knowledge_engineering_environment
dbpedia-owl:wikiPageLength	1185(xsd:nonNegativeInteger)
dbpedia-owl:wikiPageWikiLink	dbpedia:Suggested_Upper_Merged_Ontology dbpedia:Vampire_(theorem_prover) Open source [DBpedia Spotlight Annotator] Computer Science dbpedia:Ontology_(information_science) dbpedia:Knowledge_engineering Ontology (information science) dbpedia:CADE_ATP_System_Competition dbpedia:Conference_on_Automated_Deduction
is sameAs of	Sigma knowledge engineering environment
is topic of	Ontology (information science)
is primary topic of	http://en.wikipedia.org/wiki/Sigma_knowledge_engineering_environment
is dbpedia-owl:wikiPageWikiLink of	dbpedia:Suggested_Upper_Merged_Ontology dbpedia:Vampire_(theorem_prover)
is inDataset of	proxy:http/dbpedia.org/resource/Sigma_knowledge_engineering_environment

Faceted Search & Find service v1.17_git55 as of Mar 01 2021

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3322 as of Mar 14 2022, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (7 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software