ISSUE 4.6 EquivalentTo

This is about classes as instances ...


test case (with neutral names).

Premise:

<a> <prop> <r1> .
<a> <prop> <r2> .
<prop> <owl:cardinality> "1" .
<r1> <owl:subClassOf> <c> .


Entails:

<r2> <owl:subClassOf> <c> .


Make this concrete:
  <a> represents a database column
  <prop> is give the database type 


Jeremy