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".
56 6 "two interpretation" should be "two interpretations".
99 15 "... replacing them with a copies ..." should be "... replacing them with copies ...".
109 16 "... every primitive definition A \equiv C ..." should be "... every primitive definition A \sqsubseteq C ...".
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.