Re: TEST: description-logic-668

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/
> 
> 
>