Bug fix -- disjoint-classes-list was being called with an empty list.
Precondition that there must be at least two disjoint classes.
Some more name changes for consistency.
Update of pattern to cope with changes to owl.clj.
equivalent-classes returns a Node and not a NodeSet.