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

Re: Peter's example

From: <jos.deroo.jd@belgium.agfa.com>
Date: Fri, 4 Jan 2002 18:26:23 +0100
To: pfps@research.bell-labs.com
Cc: jos.deroo.jd@belgium.agfa.com, www-webont-wg@w3.org
Message-Id: <OFEB458EBD.FC682D23-ONC1256B37.005CF65D@bayer-ag.com>
[...]

> Now try
>
> :John a _:1 .
> _: 1 owl:intersectionOf ( :Person :Student ) .
>
> should entail
>
> :John a _:2 .
> _:2 owl:intersectionOf ( _:3 :Person) .
> _:3 owl:intersectionOf ( :Student :Student) .

that's also OK, but we entailed

:John a [ owl:intersectionOf ( [ owl:intersectionOf ( :Student :Student ) ]
:Person ) ] .

> peter
>
> PS:  The next test would include owl:unionOf, then owl:complementOf

I would be more than glad to see those testcases Peter

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Friday, 4 January 2002 12:26:58 GMT

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