- 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
[...] > 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 UTC