Re: SEM, LANG: initial decision tree doc

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