W3C home > Mailing lists > Public > www-rdf-logic@w3.org > December 2000

Re: Semantics of rdfs:subPropertyOf

From: Michel Klein <Michel.Klein@cs.vu.nl>
Date: Thu, 07 Dec 2000 13:41:08 +0100
Message-ID: <3A2F8564.ED2480B@cs.vu.nl>
To: "McBride, Brian" <bwm@hplb.hpl.hp.com>
CC: www-rdf-logic@w3.org
"McBride, Brian" wrote:
> > - Second, as [1] pointed out, inheritance of *values* creates
> > problems in
> >   case of multiple inheritance. If a property has multiple
> > subproperties
> >   that are attached to the same resource, it is not clear
> > what value the
> >   common superproperty will have.
> I thought that issue had been resolved earlier in:
>   http://lists.w3.org/Archives/Public/www-rdf-interest/2000Aug/0129.html
> I had assumed the interpretation was that if resource R has to properties
> sp1 with value v1 and sp2  with value v2, where sp1 and sp2 are both
> subproperties of p, then has R has two properties P, one with value v1 and
> the other with value v2.

We agree with this interpretation of the current RDFS specification, but
our main concern is that the inheritance of *values* will make the reasoning
nonmonotonic. It seems to us that this is not desirable for a basic technique
like RDFS. All techniques that will build upon it, will have to deal with
these problems.

If the definition of subPropertyOf is changed according to our proposal
(only inheritance of domain and range), this problem does not exist.
> I couldn't find any references to this problem at the uri you gave.  Which
> section is it in.

It was in the end of section 3.2.4, but the authors removed that passage 
in the latest version [1].
Regards, Michel.

[1] http://lists.w3.org/Archives/Public/www-rdf-interest/2000Sep/0016.html
M.C.A. Klein        <><  | Faculty of Sciences
                         | Vrije Universiteit
phone: +31 20 44 47782   | De Boelelaan 1081a, k. U3.50
fax:   +31 20 870 7914   | 1081 HV  Amsterdam, the Netherlands
Received on Thursday, 7 December 2000 07:45:08 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:45:35 UTC