description-logic 668

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