Merge branch 'develop' into feature/tbox-reasoner2

Conflicts:
	quest-owlapi3/src/test/java/it/unibz/krdb/obda/obda/quest/dag/S_EquivalenceOverNamed_TestNewDAG.java
	quest-owlapi3/src/test/java/it/unibz/krdb/obda/obda/quest/dag/S_Equivalences_TestNewDAG.java
	quest-owlapi3/src/test/java/it/unibz/krdb/obda/obda/quest/dag/S_HierarchyTestNewDAG.java
	quest-owlapi3/src/test/java/it/unibz/krdb/obda/obda/quest/dag/S_Indexes_Compare.java
	quest-owlapi3/src/test/java/it/unibz/krdb/obda/obda/quest/dag/S_Indexes_TestNewDAG.java
	quest-owlapi3/src/test/java/it/unibz/krdb/obda/obda/quest/dag/S_TestTransitiveReduction.java
	quest-owlapi3/src/test/java/it/unibz/krdb/obda/reformulation/semindex/tests/DAGChainTest.java
	quest-owlapi3/src/test/java/it/unibz/krdb/obda/reformulation/semindex/tests/DAGTest.java
	quest-owlapi3/src/test/java/it/unibz/krdb/obda/reformulation/tests/DAGHierarchyTest.java
	reformulation-core/src/main/java/it/unibz/krdb/obda/owlrefplatform/core/dagjgrapht/DAG.java
	reformulation-core/src/main/java/it/unibz/krdb/obda/owlrefplatform/core/dagjgrapht/DAGBuilder.java
	reformulation-core/src/main/java/it/unibz/krdb/obda/owlrefplatform/core/dagjgrapht/DAGBuilderImpl.java
	reformulation-core/src/main/java/it/unibz/krdb/obda/owlrefplatform/core/dagjgrapht/DAGImpl.java
	reformulation-core/src/main/java/it/unibz/krdb/obda/owlrefplatform/core/dagjgrapht/Graph.java
	reformulation-core/src/main/java/it/unibz/krdb/obda/owlrefplatform/core/dagjgrapht/GraphBuilder.java
	reformulation-core/src/main/java/it/unibz/krdb/obda/owlrefplatform/core/dagjgrapht/GraphBuilderImpl.java
	reformulation-core/src/main/java/it/unibz/krdb/obda/owlrefplatform/core/dagjgrapht/GraphImpl.java
	reformulation-core/src/main/java/it/unibz/krdb/obda/owlrefplatform/core/dagjgrapht/NamedDAGBuilder.java
	reformulation-core/src/main/java/it/unibz/krdb/obda/owlrefplatform/core/dagjgrapht/NamedDAGBuilderImpl.java
	reformulation-core/src/main/java/it/unibz/krdb/obda/owlrefplatform/core/dagjgrapht/SemanticIndexEngine.java
	reformulation-core/src/main/java/it/unibz/krdb/obda/owlrefplatform/core/dagjgrapht/SemanticIndexEngineImpl.java
	reformulation-core/src/main/java/it/unibz/krdb/obda/owlrefplatform/core/dagjgrapht/TBoxReasoner.java
	reformulation-core/src/main/java/it/unibz/krdb/obda/owlrefplatform/core/dagjgrapht/TBoxReasonerImpl.java
	reformulation-core/src/main/java/it/unibz/krdb/obda/owlrefplatform/core/mappingprocessing/TMappingProcessor.java
	reformulation-core/src/main/java/it/unibz/krdb/obda/owlrefplatform/core/tboxprocessing/EquivalenceTBoxOptimizer.java
	reformulation-core/src/main/java/it/unibz/krdb/obda/owlrefplatform/core/tboxprocessing/SigmaTBoxOptimizer.java
	reformulation-core/src/test/java/it/unibz/krdb/obda/reformulation/tests/SigmaTest.java