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

Re: SEM, LANG: initial decision tree doc

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
Message-Id: <20020328115151U.pfps@research.bell-labs.com>
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.

Received on Thursday, 28 March 2002 11:52:13 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:28 UTC