New datatype tests (integer, nonNegativeInteger)
New datatype tests (dataproperty hierarchy reasoning) and relative bugfixes