W3C home > Mailing lists > Public > www-webont-wg@w3.org > June 2002

Re: LANG: inverse/onOf interaction

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>
Message-Id: <1023978794.10199.62.camel@dirk>

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