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
|