Re: [closed] pfps-05 RDFS Closure Rules

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