This HTML5 document contains 38 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbpedia-owlhttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n14https://global.dbpedia.org/id/
n19http://ods-qa.openlinksw.com:8896/about/id/entity/http/dbpedia.org/resource/Category:
pwdrhttp://www.w3.org/2007/05/powder-s#
schemahttp://schema.org/
n6http://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n20http://www.cs.miami.edu/~tptp/
fbasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n17http://dbpedia.org/resource/Sigma_knowledge_engineering_environment#
owlhttp://www.w3.org/2002/07/owl#
n11http://en.wikipedia.org/wiki/
dbpprophttp://dbpedia.org/property/
categoryhttp://dbpedia.org/resource/Category:
n21http://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n4http://github.com/ontologyportal/
n12http://purl.org/linguistics/gold/
n13http://www.wikidata.org/entity/
dbpediahttp://dbpedia.org/resource/

Statements

Subject Item
dbpedia:Sigma_knowledge_engineering_environment
rdf:type
dbpedia-owl:Work owl:Thing dbpedia-owl:Software schema:CreativeWork n13:Q386724 n13:Q7397
owl:sameAs
fbase:m.03bz3_v n13:Q7512412 n14:4urmJ dbpedia:Sigma_knowledge_engineering_environment
n21:wasDerivedFrom
n11: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
n4:sigmakee n20:
dbpedia-owl:wikiPageID
13215862
dbpedia-owl:wikiPageRevisionID
1045558883
rdfs: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.
rdfs:label
Sigma knowledge engineering environment
dbpprop:wikiPageUsesTemplate
n6:Software-stub n6:Cite_journal
pwdr:describedby
n19:Ontology_(information_science)
foaf:topic
n11:Sigma_knowledge_engineering_environment dbpedia:Vampire_(theorem_prover) n17:this dbpedia:Suggested_Upper_Merged_Ontology
n12:hypernym
dbpedia:Program
dcterms:subject
category:Ontology_(information_science)
foaf:isPrimaryTopicOf
n11:Sigma_knowledge_engineering_environment
dbpedia-owl:wikiPageLength
1185
dbpedia-owl:wikiPageWikiLink
dbpedia:Open_source dbpedia:CADE_ATP_System_Competition dbpedia:Conference_on_Automated_Deduction dbpedia:Knowledge_engineering category:Ontology_(information_science) dbpedia:Suggested_Upper_Merged_Ontology dbpedia:Computer_science dbpedia:Ontology_(information_science) dbpedia:Vampire_(theorem_prover)