roperties,
<em>or</em> that each subordinate class constitutes a definition, that is, contains
sufficient as well as necessary conditions for membership.</p>

<p class="bodytext">Its use further presumes that the subordinate classes define
additional properties, whose values can then be sought.</p>

<p class="bodytext">In contrast, a primary purpose of OWL DL is to enable one to state
that, e.g., &lsquo;<code class="sexpr">WhiteWine</code> is exactly the intersection of the class
<code class="sexpr">Wine</c