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 Thursday, 20 November 2003 13:35:06 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:02 GMT