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

Re: SEM, LANG: initial decision tree doc

From: Dan Connolly <connolly@w3.org>
Date: 28 Mar 2002 10:28:30 -0600
To: "Peter F. "Patel-Schneider <pfps@research.bell-labs.com>
Cc: www-webont-wg@w3.org
Message-Id: <1017332911.11876.9.camel@dirk>
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 1-intersection/ 
>    Premises: John is an instance of Student
> 	     John is an instance of Employee
>    Conclusion: John is an instance of the intersection of Student and Employee

I got that one transcribed and working with no problem
(I'll release it presently...), but...

> 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.

Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Thursday, 28 March 2002 11:28:27 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:42 UTC