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

Re: incompleteness in RDFS closure rules

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Tue, 10 Jun 2003 16:27:15 -0400 (EDT)
Message-Id: <20030610.162715.35630548.pfps@research.bell-labs.com>
To: jos.deroo@agfa.com
Cc: gk@ninebynine.org, phayes@ihmc.us, www-rdf-comments@w3.org

If you believe 

> > rdfs12b
> >
> > ppp rdfs:subPropertyOf zzz .
> > ppp rdfs:range xxx .
> > zzz rdfs:range yyy .
> > |-
> > xxx rdfs:subClassOf yyy .

and

         rdfs:subPropertyOf rdfs:range rdfs:Resource .


Then, from rule rdfs5b

	rdfs:subPropertyOf rdfs:subPropertyOf rdfs:subPropertyOf .
	
and from the RDFS axioms

	rdfs:subPropertyOf rdfs:range rdf:Property .

so rdfs12b can be used with ppp = zzz = rdfs:subPropertyOf, 
xxx = rdfs:Resource and yyy = rdf:Property to get

	rdfs:Resource rdfs:subClassOf rdf:Property .

peter




From: "Jos De_Roo" <jos.deroo@agfa.com>
Subject: Re: incompleteness in RDFS closure rules
Date: Tue, 10 Jun 2003 20:10:31 +0200

> 
> 
> rdfs:subPropertyOf rdfs:range rdfs:Resource .
> 
> and
> 
> {: rdfs:fyi :rdfs12b. ?Q rdfs:range ?Y. ?P root:range ?X.
>     ?P rdfs:subPropertyOf ?Q} => {?X rdfs:subClassOf ?Y}.
> 
> and
> 
> rdfs:subClassOf rdfs:domain rdfs:Class; rdfs:range rdfs:Class;
>     root:domain rdfs:Class; root:range rdfs:Class.
> rdfs:subPropertyOf rdfs:domain rdf:Property; rdfs:range rdf:Property;
>     root:domain rdf:Property; root:range rdf:Property.
> rdf:type rdfs:domain rdfs:Resource; rdfs:range rdfs:Class;
>     root:domain rdfs:Resource.
> 
> do *not* RDFS entail
> 
> rdfs:Resource rdfs:subClassOf rdf:Property .
> 
> at least not in our implementation
> (the root: is there to not have such an entailment)
> 
> Do you have a proof?
> 
> 
> --
> Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
> 
Received on Tuesday, 10 June 2003 16:27:37 GMT

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