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

Re: [closed] pfps-05

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Fri, 30 May 2003 13:21:49 +0200
To: pfps@research.bell-labs.com
Cc: brian_mcbride@hp.com, danbri@w3.org, em@w3.org, phayes@ai.uwf.edu, "w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>
Message-ID: <OFD8BE2438.4178B81C-ONC1256D36.003D3CE9-C1256D36.003E6C19@agfa.be>


[removed www-rdf-comments from the cc and added w3c-rdfcore-wg]

> For example, I am currently unable to determine whether the following
> entailment
>
>      ex:foo ex:prop "a"^^foo:bar  .
>
>          entails
>
>      ex:foo ex:prop _:x  .
>      _:x rdf:type rdfs:Resource .

Using appropriate namespace prefixes

@prefix ex: <http://example.org/ex#>.
@prefix foo: <http://example.org/foo#>.

I have found that entailment working

ex:foo ex:prop "a"^^foo:bar.
"a"^^foo:bar rdf:type rdfs:Resource.

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Friday, 30 May 2003 07:22:10 EDT

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