Re: ISSUE-134: Last Call Comment: owl:inverseOf

Here is a draft response to Michael on issue 134, comments welcome.

--- begin draft message ---

Dear Michael, 

Thank you for your detailed and helpful comments. In response to your
comment below:

On Tue, Sep 30, 2008 at 11:34:25AM +0000, SWD Issue Tracker wrote:
> 
> 
> 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.
> """

We agree, and propose amend the SKOS Reference accordingly.

Kind regards,

Alistair
Sean

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

-- 
Alistair Miles
Senior Computing Officer
Image Bioinformatics Research Group
Department of Zoology
The Tinbergen Building
University of Oxford
South Parks Road
Oxford
OX1 3PS
United Kingdom
Web: http://purl.org/net/aliman
Email: alistair.miles@zoo.ox.ac.uk
Tel: +44 (0)1865 281993

Received on Wednesday, 22 October 2008 15:17:37 UTC