First part, merging main classes
Second part of merging
Fixed getNamedParents and getNamedChildren
Changed the equivalences and fixed TBoxReasonerImpl bug over named dag
Fixed cycles bug in EquivalenceTBoxOptimizer
Fixed equivalences bug over named dag in NamedDAGImpl
changes in named descripton dag eqivalences
Added the Gabow SCC algoritm.
Changed the name of the classes.
chages in the DAGPerformanceTest
Last changes to DAGBuilder and Tbox Reasoner
Updated Gabow SCC
Added comments
Adapted few tests in quest-owlapi3 to the new DAG
Fixed semantic index and named dag bug, when vertexes are not in depth
first order
Fixed bug in DAG Builder with existential, still problem with the
example stock exchange unitest
Ready to merge
Fixed quest-sesame bug with existentials
Fixed problem with the chosen representative in DAGBuilderImpl
Fixing stock exchange unittest
changes in DAGBuilderImpl to choose always the named element as
representative