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

Re: TEST: description-logic-668

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Fri, 21 Nov 2003 09:55:21 +0000
Message-ID: <3FBDE109.3000707@hplb.hpl.hp.com>
To: Jos De_Roo <jos.deroo@agfa.com>, evren@cs.umd.edu
Cc: jjc@hpl.hp.com, www-webont-wg@w3.org



I looked at the CVS history, it seems that Jos fixed the test on 12th October.
----------------------------
Revision : 1.3
Date : 2003/10/12 13:56:39
Author : 'jderoo'
State : 'Exp'
Lines : +1 -6
Description :
simplified the conclusion

diff -r1.2 -r1.3
13c13
<   $Id: conclusions668.rdf,v 1.2 2003/05/14 22:32:01 jcarroll Exp $
---
 >   $Id: conclusions668.rdf,v 1.3 2003/10/12 13:56:39 jderoo Exp $
158,162d157
< </rdf:type>
< </owl:Thing>
< <owl:Thing rdf:about="http://oiled.man.example.net/test#V16448">
<   <rdf:type>
< <owl:Class rdf:about="http://oiled.man.example.net/test#C122"/>

I don't think this needs any further changes.

Jeremy





Jos De_Roo wrote:

> Jeremy - description-logic-208 *had* in it's conclusion
>   oiled:V16448 rdf:type oiled:C122.
> (which is now removed and in nonentailment test 209)
> The observation is that that triple is actually also
> gone from the conslusion of description-logic-668
> which is why we pass it :-)
> 
>  --
> Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
> 
> 
> 
Received on Friday, 21 November 2003 04:58:48 GMT

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