W3C home > Mailing lists > Public > www-webont-wg@w3.org > April 2003

TEST agenda item

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Tue, 15 Apr 2003 15:30:46 +0300
To: www-webont-wg@w3.org
Message-Id: <200304151530.46822.jjc@hpl.hp.com>


I propose that test cardinality-005 be demoted from APPROVED to PROPOSED.
I would be happy for it to be a proposed non-entailment rather than a proposed 
entailment.

See:

http://www.w3.org/TR/owl-test/#cardinality-005

and

http://lists.w3.org/Archives/Public/www-rdf-logic/2003Apr/0049.html
http://lists.w3.org/Archives/Public/www-rdf-logic/2003Apr/0060.html

i.e the test as its stands is wrong in OWL Full, but too closely related to 
tests that are right in OWL DL.


Jeremy
Received on Tuesday, 15 April 2003 09:30:29 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:58 GMT