TEST: description-logic-668

• From: Jos De_Roo <jos.deroo@agfa.com>
• Date: Thu, 20 Nov 2003 19:31:04 +0100
• To: jjc@hpl.hp.com
• Cc: www-webont-wg@w3.org
• Message-ID: <OF5E3630B4.99ED8DCA-ONC1256DE4.0064E07A-C1256DE4.0065BB5D@agfa.be>

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