Re: [closed] pfps-05

From: "Jos De_Roo" <jos.deroo@agfa.com>
Subject: Re: [closed] pfps-05
Date: Fri, 30 May 2003 13:21:49 +0200

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

I am *not* asking whether some piece of software produces the result.  I am
instead asking whether an entailment holds.

peter