isolated Semantic Index structures
EquivalenceMap changes
small changes to OWLAPI3ABoxIterator
cleaned EquivalenceMap
cleaned EquivalenceMap and prepared it to be merged into TBoxReasoner
refactored EquivalencesMap
small chnages to Quest (sigmaRulesIndex)
Merge branch 'feature/tboxreasoner-improved' into develop