access configuration of the reasoner
Fixed datatype bug, addressed equivalence of datatype restrictions
improved looking for domain and ranges on properties