n RDF, plus property restrictions and property characteristics.
Cardinality expressions with arbitrary bounds (deriving from OWL DL) and
classes as instances (OWL Full) are, however, permitted. Identity of
classes, and of instances, is implemented by associating multiple names (as
accepted by <span class="defn">find-class</span> and
<span class="defn"><a href="reasoner.html#find">find-instance</a></span>)
with a single object.</p>

<div id="names">
<style scoped>
  table { border: 1px solid; width: 95%}
  t