/p><p>-           C1 \sqsubseteq D
- C1 \sqcap C2 \sqsubseteq D
-           C1 \sqsubseteq \exists r.C2
- \exists r.C1 \sqsubseteq D</p><p>Role inclusions may be of the form</p><p>-       r \sqsubseteq s , or
- r1 o r2 \sqsubseteq s</p><p>We implemented the completion rules that were feasible in our setting.</p><p>Naming conventions:
- C, C1, C2 --&gt; class names, or nominals (with just one individual),
  or owl:Thing
- D, D1, D2 --&gt; class names, or nominals (with just one individual),
  owl:Thing, or o