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

Re: further horst-01 test case

From: Graham Klyne <gk@ninebynine.org>
Date: Thu, 17 Jul 2003 21:34:49 +0100
Message-Id: <5.1.0.14.2.20030717213306.01e334c0@127.0.0.1>
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 EDT

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