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>

These tests are incorrect.

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

The tests are



rdf:_1 rdf:type rdfs:ContainerMembershipProperty .


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

Suggest change the premises to

eg:foo rdf:_1 "bar" .

Received on Friday, 7 November 2003 12:20:46 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:26 UTC