Re: Properties no longer required to be resources? from Brian McBride on 2003-07-31 (w3c-rdfcore-wg@w3.org from July 2003)

From: Brian McBride <bwm@hplb.hpl.hp.com>
Date: 31 Jul 2003 10:48:38 +0100
To: Graham Klyne <gk@ninebynine.org>
Cc: pat hayes <phayes@ihmc.us>, rdf core <w3c-rdfcore-wg@w3.org>
Message-Id: <1059644918.2343.30.camel@dhcp-91-3.hpl.hp.com>

On Wed, 2003-07-30 at 21:47, Graham Klyne wrote:
> At 14:18 30/07/03 -0500, pat hayes wrote:
> >>Test case:
> >>
> >>   sss ppp ooo .
> >>
> >>rdf entail
> >>
> >>   ppp rdf:type rdf:Resource .

[...]

> 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.

How do you get from there to

  I(ppp rdf:type rdf:Resource) is true?

Brian

Received on Thursday, 31 July 2003 05:52:55 UTC