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


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?


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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:53:57 UTC