ISSUE-134: Last Call Comment: owl:inverseOf

ISSUE-134: Last Call Comment: owl:inverseOf

http://www.w3.org/2006/07/SWD/track/issues/134

Raised by: Alistair Miles
On product: SKOS

Raised by Michael Schneider in [1]:

"""
Don't say "is /the/ owl:inverseOf ...". In OWL Full, a property p may have two
inverses q1 and q2 with q1 owl:differentFrom q2. For q1 and q2, in order to be
both inverse of p, it suffices that q1 owl:equivalentProperty q2 holds, i.e.
that q1 and q2 only have the same property extension, they don't have to be the
same resource. Better say "is owl:inverseOf". Same for S25, S26, S43. Please
check yourself whether I have missed some occurrence.
"""

[1] http://lists.w3.org/Archives/Public/public-swd-wg/2008Sep/0044.html

Received on Tuesday, 30 September 2008 11:35:02 UTC