Little fixes to make things work (e.g. making the consequences and predicates from Jena implement the appropriate interfaces, though they don't need them).