- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Thu, 28 Mar 2002 11:51:51 -0500
- To: connolly@w3.org
- Cc: www-webont-wg@w3.org
From: Dan Connolly <connolly@w3.org> Subject: Re: SEM, LANG: initial decision tree doc Date: 28 Mar 2002 10:28:30 -0600 > On Thu, 2002-03-21 at 14:15, Peter F. Patel-Schneider wrote: > [...] > > Indicative Inferences, Queries, and Expressiveness > > These are a great way to cut to the chase; I'm trying > to turn these into test cases... > [...] > > Inference 2-restrictions/ > > Premises: John is an instance of Student with no children > > Conclusion: John is an instance of the restriction that requires no children > > I don't understand how to say the premise and the > conclusion of this argument differently in DAML+OIL. > > I can make a test of the form "does P imply P?" but > it's not very interesting; I don't think I understand > the point of this one. I believe that I messed up here. I'll replace it with something like P: John is a Student with child Bill C: John is an instance of the restriction taht requires at least one child. but this may not happen until I get back to NJ on Sunday. peter
Received on Thursday, 28 March 2002 11:52:13 UTC