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


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
> 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 Tolle
Received on Friday, 26 October 2001 10:28:41 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:44:32 UTC