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 UTC