OWL 2 Web Ontology Language Direct Semantics
GPTKB entity
Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:semantic_specification
|
| gptkbp:basedOn |
gptkb: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
|
| 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
|
| https://www.w3.org/2000/01/rdf-schema#label |
OWL 2 Web Ontology Language Direct Semantics
|