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

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 UTC