- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Tue, 10 Jun 2003 16:27:15 -0400 (EDT)
- 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 UTC