W3C home > Mailing lists > Public > www-rdf-comments@w3.org > October to December 2003

test format has bad semantics?

From: Sandro Hawke <sandro@w3.org>
Date: Fri, 07 Nov 2003 14:01:06 -0500
Message-Id: <200311071901.hA7J17j7014920@roke.hawke.org>
To: www-rdf-comments@w3.org

[ Oops, this was the first of my three comment messages last night,
but it bounced because I spelled the name of the list wrong. ]

I think you need to use an rdf:List for test:entailmentRules.  As you
have it now, the test:entailmentRules arcs can be dropped by RDF
simple entailment, but doing so renders the test statement false.
For example, a PositiveEntailmentTest on RDFS entailment is likely to
have its conclusions no longer follow from its premises if the
entailmentRules arc is dropped.

     -- sandro
Received on Friday, 7 November 2003 14:00:14 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:44:04 UTC