Formal Semantics update

All,

please find attached:
(a) an updated version of the Formal doc
(b) the diff since the Apr 3rd draft
(c) the updated versions of example 4.7

The updates respond to Ivan's [1] and Michael's [2]
comments, both cc'ed to this email.

Best,
Stasinos


[1] http://lists.w3.org/Archives/Public/public-owl-wg/2009Apr/0350.html
[2] http://lists.w3.org/Archives/Public/public-powderwg/2009Apr/0012.html

Received on Wednesday, 13 May 2009 08:11:19 UTC