- 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
> 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 UTC