Small discrepancy between the OWL RL set and the RDF semantics document

Michael, Boris, Zhe

(I am not sure who of you is responsible for this part),

Table 4 of the profile document[1] contains rules for class axioms; it

T(?c1, owl:disjointClasses, ?c2)
T(?x, rdf:type, ?c1)
T(?x, rdf:type, ?c2)



However the mapping to RDF[2] maps DisjointClasses(....) to

_:x rdf:type owl:AllDisjointClasses
_:x owl:members T(SEQ CE1 ... CEn)

and there is no vocabulary element owl:disjointClasses in [2], or in
[3]. I presume the current rule is a leftover from a previous version of

I actually do not see any clause for AllDisjointClasses in [1] either,
but that may be intentional.





Ivan Herman, W3C Semantic Web Activity Lead
PGP Key:

Received on Tuesday, 16 September 2008 11:04:54 UTC