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

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)
Message-Id: <20020823.144241.65676998.pfps@research.bell-labs.com>
To: jos.deroo.jd@belgium.agfa.com
Cc: www-webont-wg@w3.org

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 GMT

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