- From: Graham Klyne <gk@ninebynine.org>
- Date: Wed, 30 Jul 2003 21:47:42 +0100
- 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 UTC