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

Re: AS & S Review: Appendix A.1: Correspondence between Abstract OWL and OWL DL

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Sat, 08 Feb 2003 13:33:46 -0500 (EST)
Message-Id: <20030208.133346.01443502.pfps@research.bell-labs.com>
To: herman.ter.horst@philips.com
Cc: www-webont-wg@w3.org

From: herman.ter.horst@philips.com
Subject: AS & S Review: Appendix A.1: Correspondence between Abstract OWL and OWL DL
Date: Thu, 23 Jan 2003 15:14:44 +0100

[...]

> (By the way, the statement of Lemma 1 has an error: 
> in the three numbered conclusions, it
> should be CEXTI(I+E(M(T(d)))) instead of 
> CEXTI(I(M(T(d)))), as the M(T(D)) values will quite
> generally be blank nodes.)

Fixed.

[...]

> Other comments about Appendix A.1:
> The statement of Theorem 1 given in this appendix differs
> slightly from that in Section 5.  In Section 5, the T(V')
> part is missing: it should be added there as well.

Fixed.

[...]

> When T(V') is introduced, it should be noted that this
> is an extension of the mapping in Section 4:
> Section 4 does not define the value of T for a vocabulary
> element (a URI).

Fixed.

[...]


peter
Received on Saturday, 8 February 2003 13:33:58 GMT

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