Use current version of LibRDF_Reasoner