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 UTC