W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > April 2002

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

From: Dan Brickley <danbri@w3.org>
Date: Thu, 25 Apr 2002 17:04:21 -0400 (EDT)
To: Dan Connolly <connolly@w3.org>
cc: <w3c-rdfcore-wg@w3.org>
Message-ID: <Pine.LNX.4.30.0204251703310.20270-100000@tux.w3.org>

Aside --
I think we agreed s/rdfs:contains/rdfs:member/ to sync with M+S
recommended property naming pattern

dan


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/
>
>
>
>
Received on Thursday, 25 April 2002 17:04:24 EDT

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