W3C home > Mailing lists > Public > public-owl-wg@w3.org > September 2008

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

From: Ivan Herman <ivan@w3.org>
Date: Tue, 16 Sep 2008 13:04:23 +0200
Message-ID: <48CF92B7.8010704@w3.org>
To: Michael Schneider <schneid@fzi.de>, Boris Motik <boris.motik@comlab.ox.ac.uk>, "Zhe (Alan) Wu" <alan.wu@oracle.com>
CC: W3C OWL Working Group <public-owl-wg@w3.org>
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
includes:

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

=>

False.
]]]

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
[1].

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

Cheers

Ivan


[1] http://www.w3.org/2007/OWL/wiki/Profiles
[2] http://www.w3.org/2007/OWL/wiki/Mapping_to_RDF_Graphs
[3] http://www.w3.org/2007/OWL/wiki/RDF-Based_Semantics

-- 

Ivan Herman, W3C Semantic Web Activity Lead
Home: http://www.w3.org/People/Ivan/
PGP Key: http://www.ivan-herman.net/pgpkey.html
FOAF: http://www.ivan-herman.net/foaf.rdf

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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:07 UTC