On Thu, 2002-06-13 at 08:27, Jeff Heflin wrote: > > Ian Horrocks wrote: [...] > > 2. Add an axiom asserting that Spy is related to at most n distinct > > individuals via the inverse of the P property, i.e., Spy type > > (maxCardinality (inverse P) n). > > > Ian, I don't get it. Where is oneOf used in this example? Yes, I'm trying to make this into a test case, and I don't see how oneOf fits in. Also, I don't know what to use as a conclusion in the test case. i.e. what's a conclusion that should be entailed that looks hard to compute or whatever? > > [1] http://www.cs.man.ac.uk/~horrocks/Publications/download/2001/ijcai01.pdf -- Dan Connolly, W3C http://www.w3.org/People/Connolly/Received on Thursday, 13 June 2002 10:33:31 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:50 GMT