W3C home > Mailing lists > Public > www-webont-wg@w3.org > November 2003

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:02 GMT