Modify the ontoquest subclass indexing method such that equivalence relationships are accounted for

To serve the parent ticket, we need to ensure that transitive closure over subclasses (and then any transitive relations) take into account the equivalence axioms are respected. We need a procedure in OntoQuest that "consolidates" clusters of equivalent classes as though they are a single node.