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 UTC