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

Re: ISSUE: DAML+OIL semantics is too weak

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Mon, 20 May 2002 15:32:51 -0400
To: jos.deroo.jd@belgium.agfa.com
Cc: www-webont-wg@w3.org
Message-Id: <20020520153251Z.pfps@research.bell-labs.com>
From: "Jos De_Roo" <jos.deroo.jd@belgium.agfa.com>
Subject: Re: ISSUE: DAML+OIL semantics is too weak
Date: Mon, 20 May 2002 21:20:03 +0200

[...]

> I also use modus tollens (actually resolution)
> quite a lot inside the engine, but it's not safe
> I think as outside (non-closed world) evidence.
> 
> --
> Jos

How is modus tollens unsafe?

peter
Received on Monday, 20 May 2002 15:33:03 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:50 GMT