Warning:
This wiki has been archived and is now read-only.
FullSemanticsDisjointProperties
From OWL
(Redirected from FullSemanticsDisjointProperty)
Goto OWL 2 Full Semantics Page
The OWL 2 Full semantics of Disjoint Properties.
Disjoint Properties
Syntax
x owl:propertyDisjointWith y
Semantics
Axiomatic triples:
owl:propertyDisjointWith rdf:type rdf:Property owl:propertyDisjointWith rdfs:domain rdf:Property owl:propertyDisjointWith rdfs:range rdf:Property
Main semantic condition:
(p,q) ∈ EXT_I(S_I(owl:propertyDisjointWith)) IF AND ONLY IF p, q ∈ IOOP, EXT_I(p) ∩ EXT_I(q) = ∅
Considerations
- The definition of the semantics was largely straightforward, and there do not seem to be very different alternatives.
- Unlike OWL 1 Full, but like in RDFS, there are axiomatic triples for the domain and range of the property
- The use of "IF-AND-ONLY-IF" is in line with the OWL 1 Full semantics for equivalent properties.
- Having "p, q in IOOP" in the "THEN" branch is in line with the OWL 1 Full semantics for equivalent properties.
- Using "EXT(p) ^ EXT(q) = {}" corresponds to the OWL 2 DL semantics for disjoint properties, when restricted to only two operands.
- Using "EXT(p) ^ EXT(q) = {}" has precedence in the pD* paper for the semantics of owl:differentFrom.