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