Re: revised version of semantics document

• From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
• Date: Fri, 23 Aug 2002 14:42:41 -0400 (EDT)
• To: jos.deroo.jd@belgium.agfa.com
• Cc: www-webont-wg@w3.org
• Message-Id: <20020823.144241.65676998.pfps@research.bell-labs.com>

From: "Jos De_Roo" <jos.deroo.jd@belgium.agfa.com>
Subject: Re: revised version of semantics document
Date: Thu, 22 Aug 2002 15:08:24 +0200

> [...]
> 
> > Why should anyone care at all about the entailment rules?
> 
> because 
> 
[...]

OK, agreed, entailment can be related to *inference* rules.  

But why should I care whether ``no new existentials are introduced in the
[inference] rules''?

peter

Received on Friday, 23 August 2002 14:42:57 UTC