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

description-logic 668

From: Sean Bechhofer <seanb@cs.man.ac.uk>
Date: Thu, 9 Oct 2003 16:16:15 +0100 (GMT Daylight Time)
To: www-webont-wg@w3.org
Message-ID: <Pine.WNT.4.44.0310091604010.2132-100000@potato>


I think there may be another "dubious" test. Hoolet/Vampire is claiming
that entailment in description-logic 668 does *not* hold. I note that no
other reasoners have yet to claim a pass for this test....

	Sean

-- 
Sean Bechhofer
seanb@cs.man.ac.uk
http://www.cs.man.ac.uk/~seanb
Received on Thursday, 9 October 2003 11:15:18 GMT

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