Typo in Definition 39.2 (Closed and Open-World Semantics, page 369)

[bscarone]

In the OWA-semantics, it seems that the 'D' within the brackets should be '\mathcal{I}'.

Thanks for the book! Bruno

[marceloarenassaavedra]

Thanks for the comment, you are right about this typo. We corrected in the book, so this definition will be fine in its next version.

Best!