W3C home > Mailing lists > Public > www-webont-wg@w3.org > January 2003

Re: Test document: a few comments (one comment about AS & S)

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Tue, 14 Jan 2003 09:02:49 -0500 (EST)
Message-Id: <20030114.090249.46611850.pfps@research.bell-labs.com>
To: herman.ter.horst@philips.com
Cc: www-webont-wg@w3.org

From: herman.ter.horst@philips.com
Subject: Re: Test document: a few comments (one comment about AS & S)
Date: Tue, 14 Jan 2003 11:44:44 +0100

> > [...]
> > 
> > > The first comment actually requires a change in the Abstract Syntax 
> > > and Semantics document.
> > > 
> > > - Sections 3.4 and 3.5 refer to the notion of consistency 
> > > "as defined by the OWL Semantics [reference AS & S]".
> > > However, consistency is not explicitly defined in the Semantics 
> > > document: its definition should be added to that document.
> > 
> > Done.  This will show up later today or tomorrow.
> > 
> > [...]
> > 
> > peter
> > 
> 
> I see that you have included the definition of consistency in 
> Sections 3 (abstract semantics) and 5 (RDFS-compatible semantics).
> 
> There is now a consistency issue about consistency: I believe that
> you should extend Theorem 1 (and its proof) with the conclusion
>   K is consistent iff T(K) is consistent.
> 
> Herman

I'll add a one-line bit to this effect.  A proof is not really needed.

peter
Received on Tuesday, 14 January 2003 09:02:59 GMT

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