This HTML5 document contains 34 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/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n12https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n18http://www.cs.miami.edu/~tptp/
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
n13http://github.com/ontologyportal/
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Suggested_Upper_Merged_Ontology
dbo:wikiPageWikiLink
dbr:Sigma_knowledge_engineering_environment
Subject Item
dbr:Sigma_knowledge_engineering_environment
rdf:type
dbo:Software schema:CreativeWork wikidata:Q386724 dbo:Work owl:Thing wikidata:Q7397
rdfs:label
Sigma knowledge engineering environment
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.
dcterms:subject
dbc:Ontology_(information_science)
dbo:wikiPageID
13215862
dbo:wikiPageRevisionID
1045558883
dbo:wikiPageWikiLink
dbr:Knowledge_engineering dbr:CADE_ATP_System_Competition dbr:Ontology_(computer_science) dbr:Conference_on_Automated_Deduction dbr:Open-source_model dbc:Ontology_(information_science) dbr:Suggested_Upper_Merged_Ontology dbr:Vampire_theorem_prover dbr:Computer_science
dbo:wikiPageExternalLink
n13:sigmakee n18:
owl:sameAs
freebase:m.03bz3_v n12:4urmJ wikidata:Q7512412
dbp:wikiPageUsesTemplate
dbt:Cite_journal dbt:Software-stub
dbo: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.
gold:hypernym
dbr:Program
prov:wasDerivedFrom
wikipedia-en:Sigma_knowledge_engineering_environment?oldid=1045558883&ns=0
dbo:wikiPageLength
1185
foaf:isPrimaryTopicOf
wikipedia-en:Sigma_knowledge_engineering_environment
Subject Item
wikipedia-en:Sigma_knowledge_engineering_environment
foaf:primaryTopic
dbr:Sigma_knowledge_engineering_environment