Re: Peter's example

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 ).