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

ISSUE-134: Last Call Comment: owl:inverseOf

From: SWD Issue Tracker <dean+cgi@w3.org>
Date: Tue, 30 Sep 2008 11:34:25 +0000 (GMT)
To: public-swd-wg@w3.org,public-rdf-in-xhtml-tf@w3.org
Message-Id: <20080930113425.6E388BF4F@nelson.w3.org>

ISSUE-134: Last Call Comment: owl:inverseOf


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:00 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:31:53 UTC