Tests rdfms-seq-representation-test00[24]

From: Jeremy Carroll <jjc@hplb.hpl.hp.com> Date: Fri, 7 Nov 2003 18:16:28 +0100 To: <w3c-rdfcore-wg@w3.org> Message-ID: <BHEGLCKMOHGLGNOKPGHDEEELCCAA.jjc@hpl.hp.com> · This archive was generated by hypermail pre-2.1.9 : Friday, 7 November 2003 12:20:48 EST

These tests are incorrect.

They are failed by Jena and 3Store and passed by Surnia and Euler.

The tests are

*empty*

entails

rdf:_1 rdf:type rdfs:ContainerMembershipProperty .

and

rdf:_1 rdfs:subPropertyOf rdfs:member .

The empty interpretation (i.e. an interpetation of the empty vocabulary)
provides a counterexample. (With true implies false).

We have an outstanding comment from Dave Reynolds from 25 July to this
effect.

Suggest change the premises to

eg:foo rdf:_1 "bar" .

Jeremy