The OWL built-in class owl:OntologyProperty has the ontology-import construct owl:imports and the
ontology-versioning constructs owl:priorVersion,
owl:backwardCompatibleWith and owl:incompatibleWith as instances.
Instances of
owl:OntologyProperty must have the class owl:Ontology
as their domain and range. It is permitted to define other instances of
owl:OntologyProperty.
<rdfs:Class rdf:ID="OntologyProperty">
<rdfs:subClassOf rdf:resource="&rdf;Property"/>
</rdfs:Class>
No example found.
The ontology-import construct owl:imports and the
ontology-versioning constructs owl:priorVersion,
owl:backwardCompatibleWith and owl:incompatibleWith are defined in the OWL
vocabulary as instances of the OWL built-in class owl:OntologyProperty. Instances of
owl:OntologyProperty must have the class owl:Ontology
as their domain and range.
In OWL DL one cannot define subproperties or domain/range constraints for ontology properties.