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

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

From: Dan Connolly <connolly@w3.org>
Date: 25 Apr 2002 15:23:45 -0500
To: w3c-rdfcore-wg@w3.org
Message-Id: <1019766226.17367.275.camel@dirk>
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/



-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Thursday, 25 April 2002 16:23:33 EDT

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