Re: ISSUE: DAML+OIL semantics is too weak

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