fresh branch commit
cleaning Repository
cleaned Repository
cleaned QueryRewriter
cleaned QueryRewriter
cleaned EquivalenceTBoxOptimizer
factored out QuestUnfolder from Quest
cleaner QuestUnfolder
cleaner QuestUnfolder
factored out EquivalenceMap
EquivalenceTBoxOptimizer simplified
cleaned SigmaTBoxOptimizer
cleaned Quest
cleaned Sigma
cleaned QueryVocabularyValidator
cleaned MappingVocabularyTranslator
Merge branch 'develop' into feature/DAG-cleanup

Conflicts:
	reformulation-core/src/main/java/it/unibz/krdb/obda/owlrefplatform/core/Quest.java
	reformulation-core/src/main/java/it/unibz/krdb/obda/owlrefplatform/core/mappingprocessing/TMappingProcessor.java
Merge branch 'feature/DAG-cleanup' into develop