- From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Date: Fri, 21 Nov 2003 09:55:21 +0000
- 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 UTC