Added in the vocabulary the constants for sparql entailments
small fixes
Start to handle blank nodes
commit last changes still fixing
Extended tests
Changed unifier and sql generator to consider the case of a constant
BNode
Added rdfs:range and added rdfs:domain
test using tboxtraverse