W3C home > Mailing lists > Public > www-webont-wg@w3.org > January 2002

Re: Peter's example

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
Message-Id: <20020104133453L.pfps@research.bell-labs.com>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:47 GMT