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

Re: Properties no longer required to be resources?

From: Graham Klyne <gk@ninebynine.org>
Date: Wed, 30 Jul 2003 21:47:42 +0100
Message-Id: <5.1.0.14.2.20030730213458.0252ba00@127.0.0.1>
To: pat hayes <phayes@ihmc.us>, Brian McBride <bwm@hplb.hpl.hp.com>
Cc: rdf core <w3c-rdfcore-wg@w3.org>

At 14:18 30/07/03 -0500, pat hayes wrote:
>>Test case:
>>
>>   sss ppp ooo .
>>
>>rdf entail
>>
>>   ppp rdf:type rdf:Resource .
>>
>>I believe the answer should be yes, but in any case the answer is
>>distinguishable in RDF.

Checking:

http://www.w3.org/2001/sw/RDFCore/TR/WD-rdf-mt-20030117/
Modified:  30 July 2003 11:31:01,  rcsid: 1.25

[[
if E is a triple s p o . then I(E) = true if

s, p and o are in V, I(p) is in IP and <I(s),I(o)> is in IEXT(I(p))

otherwise I(E)= false.
]]
-- section 1.4

So if sss ppp ooo is true then I(ppp) in IP.

[[
x is in IP if and only if <x, I(rdf:Property)> is in IEXT(I(rdf:type))
]]
-- section 3

Then from above, <I(ppp),I(rdf:Property)> is in IEXT(I(rdf:type))

Then I( ppp rdf:type rdf:Property ) is true, which is the desired entailment.

#g


-------------------
Graham Klyne
<GK@NineByNine.org>
PGP: 0FAA 69FF C083 000B A2E9  A131 01B9 1C7A DBCA CB5E
Received on Wednesday, 30 July 2003 16:59:25 EDT

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