W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > November 2003

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>


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
Received on Friday, 7 November 2003 12:20:46 EST

This archive was generated by hypermail pre-2.1.9 : Friday, 7 November 2003 12:20:48 EST