Entailment test cases
$Id: index.html,v 1.36 2002/08/13 16:16:54 jderoo Exp $
Example of entailment test case
etc001
using
owl-rules