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

Full non entailments tests (which are not extra credit)

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


>
> I'll check the nonentailments now
>

Here are full nonentailments that are approved (and not extra credit as they 
should be)

<http://www.w3.org/2002/03owlt/I4.6/Manifest004#test>
<http://www.w3.org/2002/03owlt/I5.5/Manifest006#test>
<http://www.w3.org/2002/03owlt/imports/Manifest002#test>
<http://www.w3.org/2002/03owlt/miscellaneous/Manifest301#test>
<http://www.w3.org/2002/03owlt/someValuesFrom/Manifest002#test>


Furhter there is this full nonentailment that is proposed


<http://www.w3.org/2002/03owlt/I5.5/Manifest007#test>

Jeremy
Received on Thursday, 27 November 2003 09:43:57 GMT

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