Re: Properties no longer required to be resources?

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