[...] > 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
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:26 UTC