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 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:49 UTC