Re: [closed] pfps-05

[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 UTC