W3C home > Mailing lists > Public > www-rdf-interest@w3.org > October 2001

Re: CYCLES IN CLASS/PROPERTY HIERARCHIES

From: Karsten Tolle <tolle@dbis.informatik.uni-frankfurt.de>
Date: Fri, 26 Oct 2001 16:25:36 +0200
Message-ID: <007701c15e2a$146ed610$3c0b028d@idstein>
To: "Peter Crowther" <peter.crowther@networkinference.com>, <christop@ics.forth.gr>, <www-rdf-interest@w3.org>
Peter Crowther wrote:
...
> Also, what do you do where the range of one is a superclass of the range
of
> the other, or where the ranges intersect?  I see no particular reason to
> disallow these cases.
>
In the case we have a hierarchie of properties, e.g. p1 < p2. For my
personal feeling the subproperty p1 should not be alowed to be used with
resources the superproperty p2 is not allowed to. Therefore the domain (or
range) definition of the subproperty must be either equal or a subset
(subClassOf) of the domain (or range) definition of the superproperty.
When we allow cycles here the logical result would be that the domain and
range definitions must be equal.

Kindest regards,
Karsten
________________________________________________________________________
Karsten Tolle
Received on Friday, 26 October 2001 10:28:41 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:52 GMT