- From: Dan Connolly <connolly@w3.org>
- Date: 13 Jun 2002 09:33:09 -0500
- To: Jeff Heflin <heflin@cse.lehigh.edu>
- Cc: Ian Horrocks <horrocks@cs.man.ac.uk>, WebOnt <www-webont-wg@w3.org>
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 UTC