branch  to solve the types in the ontology
types
Merge branch 'develop' into bugfix/OntologyTypesTest
modify OntologyTypeTest
add comments
Merge branch 'develop' into bugfix/OntologyTypesTest
changed test files
Merge with last version of develop

Conflicts:
	reformulation-core/src/main/java/it/unibz/krdb/obda/owlrefplatform/core/Quest.java
Merge branch 'develop' into bugfix/OntologyTypesTest
Merge branch 'bugfix/OntologyTypesTest' of github.com:ontop/ontop into bugfix/OntologyTypesTest
Get datatypes from ontology using tbox reasoner  in MappingDataTypeRepair
Temporary fix, add datatype information both for data and object property
check in the ontology only for the case of datatype property
Fix bug with boolean datatype in db2.
They are translated into the value used in the database metadata
Use driver name to identify database
Changed Unifier to consider as possible merge rdfs:Literal with a datatype
return null in Unifier if function that are not datatype are different
Do not unify string and literal
removed useless commented code in Unifier
Changed test cases for datatypes through ontology.