Entailment test cases (original) (raw)

Id:index.html,v1.362002/08/1316:16:54jderooExpId: index.html,v 1.36 2002/08/13 16:16:54 jderoo Exp Id:index.html,v1.362002/08/1316:16:54jderooExp

Example of entailment test case etc001 using owl-rules