OWL 2 Web Ontology Language Direct Semantics

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf semantic specification
gptkbp:basedOn description logic
gptkbp:defines formal semantics for OWL 2 ontologies
gptkbp:documentation https://www.w3.org/TR/owl2-direct-semantics/
gptkbp:hasVersion W3C Recommendation 27 October 2009
https://www.w3.org/2000/01/rdf-schema#label OWL 2 Web Ontology Language Direct Semantics
gptkbp:partOf OWL 2 Web Ontology Language
gptkbp:publishedBy gptkb:W3C
gptkbp:specifies interpretation of OWL 2 constructs
gptkbp:standardizedBy gptkb:OWL_2_specification
gptkbp:usedFor reasoning over ontologies
gptkbp:bfsParent gptkb:Web_Ontology_Language_(OWL)
gptkbp:bfsLayer 7