- From: Graham Klyne <gk@ninebynine.org>
- Date: Thu, 17 Jul 2003 21:34:49 +0100
- To: Jeremy Carroll <jjc@hplb.hpl.hp.com>, rdf core <w3c-rdfcore-wg@w3.org>
Do I understand?... eq:p has empty range, hence has empty IEXT, and is therefore a subproperty (not necessarily proper) of any other property if subproperty is treated as extensional? If so, it looks OK to me. #g -- At 17:56 17/07/03 +0100, Jeremy Carroll wrote: >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 ------------------- Graham Klyne <GK@NineByNine.org> PGP: 0FAA 69FF C083 000B A2E9 A131 01B9 1C7A DBCA CB5E
Received on Thursday, 17 July 2003 16:37:50 UTC