Interface SHACLEntailment.Engine