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

> [...]
> 
> > 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

Received on Tuesday, 14 January 2003 05:46:47 UTC