Made the getDigest method take an iterable that extends OWLAxiom