Re: rdfs-container-membership-superProperty: not sure how to finish entailment test

On 25 Apr 2002, Dan Connolly wrote:

> Jan, Jos,
>
> I'm supposed to do a (negative) entailment
> test that shows rdfs:contains does *not*
> entail rdf:_1.
>
> I got as far as putting the premise and
> the (non-)conclusion in
>
> http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-container-membership-superProperty/not1P.n3
> and
> http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-container-membership-superProperty/not1C.n3
>
> but I'm not sure what else to do. Er..
> I guess I can convert them to RDF/xml...
> ok; done.
>
> But I'm not sure what to do with
> all this <test:premiseDocument> stuff; is that something
> you guys would please do for me?
>
> http://www.w3.org/2001/08/rdf-test/

Yeah, sure - I'll do it now. (unless, reading further through my email
this morning, it turns out Jos has done it).

You don't need to convert to RDF/XML if you don't want - entailment
tests are about graph entailment, not parser properties.

-- 
jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/
Tel +44(0)117 9287088 Fax +44 (0)117 9287112 RFC822 jan.grant@bris.ac.uk
On modesty: whoever said "it's hard being perfect" obviously wasn't me.

Received on Friday, 26 April 2002 05:18:05 UTC