- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Fri, 04 Jan 2002 13:34:53 -0500
- To: jos.deroo.jd@belgium.agfa.com
- Cc: www-webont-wg@w3.org
From: jos.deroo.jd@belgium.agfa.com > I would be more than glad to see those testcases Peter OK, here is the next level: 1/ :John a :Person . should entail :John a _:2 . _:2 owl:intersectionOf ( :Person _:3) . _:3 owl:unionof ( :Student _:4) . _:4 owl:complementOf :Student . 2/ :John a _:1 _:1 owl:intersectionOf ( _:2 _:3 ). _:2 owl:unionOf ( :Person :Student ). _:3 owl:unionOf ( :Person :Employee ). should entail :John a _:4 . _:4 owl:unionof ( :Person _:5) . _:5 owl:intersectionOf ( :Student :Employee ).
Received on Friday, 4 January 2002 13:35:02 UTC