##### ERRATA

Please report any errata to the authors. The following is a list of known errata:

Page Line Details
2 19 "\exists attends.\top \sqsubseteq \neg Student" should be "\exists teaches.\top \sqsubseteq \neg Student".
25 2 "... concept names that are not defined in \mathcal{T}" should be "concept names that are defined in \mathcal{T}".
25 34 "replace all occurrence" should be "replace all occurrences".
53 22 "∃c.(M ∧ ∃c.M ∧ ∃c.F)" should be "M ∧ ∃c.(M ∧ ∃c.M ∧ ∃c.F)".
56 6 "two interpretation" should be "two interpretations".
99 15 "... replacing them with a copies ..." should be "... replacing them with copies ...".
102 37–39 An upper case "R" is used for a role; elsewhere in the book lower case letters are used for roles.
103 2 An upper case "R" is used for a role name; elsewhere in the book lower case letters are used for role names.
109 16
121 30 "(\neg F_0 \ldots \neg F_{n-1})" should be "(\neg F_1 \ldots \neg F_n)".
121 32 "(\neg F_0 \ldots \neg F_{n-1})" should be "(\neg F_1 \ldots \neg F_n)".
208 8 The owl: and rdfs: namespace prefixes are used without ever being defined.