- 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
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 UTC