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

Full consistency tests (which are not extra credit)

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Thu, 27 Nov 2003 15:30:25 +0100
To: www-webont-wg@w3.org
Message-Id: <200311271530.25437.jjc@hpl.hp.com> 



Oh dear ....

Further inspection reveals the following approved tests which are full 
consistency tests that have not been reclassified as extra credit
<http://www.w3.org/2002/03owlt/backwardCompatibleWith/Manifest002#test>
<http://www.w3.org/2002/03owlt/disjointWith/Manifest008#test>
<http://www.w3.org/2002/03owlt/I5.26/Manifest001#test>
<http://www.w3.org/2002/03owlt/I5.26/Manifest002#test>
<http://www.w3.org/2002/03owlt/I5.26/Manifest005#test>
<http://www.w3.org/2002/03owlt/I5.26/Manifest006#test>
<http://www.w3.org/2002/03owlt/I5.3/Manifest005#test>
<http://www.w3.org/2002/03owlt/I5.3/Manifest007#test>
<http://www.w3.org/2002/03owlt/I5.3/Manifest009#test>
<http://www.w3.org/2002/03owlt/I5.3/Manifest010#test>
<http://www.w3.org/2002/03owlt/I5.8/Manifest016#test>
<http://www.w3.org/2002/03owlt/oneOf/Manifest001#test>
<http://www.w3.org/2002/03owlt/Restriction/Manifest003#test>

Also we are currently voting on this one
  <http://www.w3.org/2002/03owlt/AnnotationProperty/Manifest003#test>
(inappropriately to approve it I think - I've already said YES oh well)

This one is still proposed
Proposed <http://www.w3.org/2002/03owlt/AnnotationProperty/Manifest004#test>

I'll check the nonentailments now

Jeremy
Received on Thursday, 27 November 2003 09:30:59 GMT

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