W3C home > Mailing lists > Public > www-rdf-comments@w3.org > April to June 2003

Re: [closed] pfps-05 RDFS Closure Rules

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Tue, 22 Apr 2003 13:42:53 -0400 (EDT)
Message-Id: <20030422.134253.60020574.pfps@research.bell-labs.com>
To: phayes@ai.uwf.edu
Cc: www-rdf-comments@w3.org

From: pat hayes <phayes@ai.uwf.edu>
Subject: Re: [closed] pfps-05 RDFS Closure Rules
Date: Tue, 22 Apr 2003 12:17:46 -0500

[...]

> >Third, the closure rules are unable to infer any rdfs:domain or rdfs:range
> >triples.  It thus appears to me that the RDFS closure procedure is still
> >incomplete as it will not include triples of the form
> >
> >	rdf:_n rdfs:range xx .
> >
> >(for whatever xx is deemed to be appropriate).
> >
> 
> To amplify my earlier response here, the RDFS semantic conditions on 
> domain and range only give necessary, not sufficient, conditions for 
> domain and range assertions to be true. 

Except for those domains and ranges specified directly.

> Thus they do not sanction 
> entailments of any assertion of a domain or range beyond those 
> already asserted in an antecedent. The only inference path to such a 
> conclusion is by virtue of a subProperyOf assertion applied to the 
> domain or range properties.

Agreed, but this was not my point.

> Pat

peter
Received on Tuesday, 22 April 2003 13:43:08 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:32 GMT