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

further horst-01 test case

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Thu, 17 Jul 2003 17:56:24 +0100
Message-ID: <3F16D538.2040503@hplb.hpl.hp.com>
To: rdf core <w3c-rdfcore-wg@w3.org>


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)

eg:p rdfs:subPropertyOf eg:q .

(but does in OWL Full).

Jeremy
Received on Thursday, 17 July 2003 12:59:36 EDT

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