W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > July 2003

Re: further horst-01 test case

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Thu, 17 Jul 2003 19:23:17 +0200
To: "Jeremy Carroll <jjc" <jjc@hplb.hpl.hp.com>
Cc: rdf core <w3c-rdfcore-wg@w3.org>, w3c-rdfcore-wg-request@w3.org
Message-ID: <OF77A9A6A6.259FC746-ONC1256D66.005E618E-C1256D66.005F8425@agfa.be>


> I believe we agreed on if semantics for subPropertyOf
>
> Does the following test case capture the lack of "only if"
>
>
> eg:p rdfs:range xsd:integer .
> eg:p rdfs:range xsd:string .
> eg:q rdf:type rdf:Property .
>
> does not entail (even with knowledge of xsd:integer and xsd:string)

OK

> eg:p rdfs:subPropertyOf eg:q .
>
> (but does in OWL Full).

pf.. the extension of p is the empty set
which is indeed a subset of any set
(will not immediately add such rules ;-))

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Thursday, 17 July 2003 13:23:33 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:58:46 EDT