owl:incompatibleWith                         

Definition

An owl:incompatibleWith statement, that is an instance of owl:OntologyProperty, contains a reference to another ontology. This indicates that the containing ontology is a later version of the referenced ontology, but is not backward compatible with it. Essentially, this is for use by ontology authors who want to be explicit that documents cannot upgrade to use the new version without checking whether changes are required.

owl:incompatibleWith is a built-in OWL property with the class owl:Ontology as its domain and range.

Schema

    <rdf:Property rdf:ID="incompatibleWith">

        <rdfs:label>incompatibleWith</rdfs:label>

        <rdf:type rdf:resource="#OntologyProperty"/>

        <rdfs:domain rdf:resource="#Ontology"/>

        <rdfs:range rdf:resource="#Ontology"/>

    </rdf:Property>

Example listing

Triple

If a property o is used where an ontology property is expected then it should either be one of the built in ontology properties (owl:imports, owl:priorVersion, owl:backwardCompatibleWith, and owl:incompatibleWith) or there should be a triple:

    o   rdf:type   owl:OntologyProperty

RDF/XML

    <owl:Ontology rdf:about="">

        <rdfs:comment>Vehicle Ontology, v. 1.1</rdfs:comment>

        <owl:incompatibleWith rdf:resource="http://www.example.org/vehicle-1.0"/>

        <owl:priorVersion rdf:resource="http://www.example.org/vehicle-1.0"/>

    </owl:Ontology>

Other information

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.

owl:incompatibleWith has no meaning in the model theoretic semantics other than that given by the RDF(S) model theory.

Use in ISO 15926