Possible optimization for OWLOntology#containsAxiomIgnoreAnnotations(OWLAxiom)

[sszuev]

The default impl is following:

    if (containsAxiom(axiom)) {
        return true;
    }
    return axioms(axiom.getAxiomType()).anyMatch(ax -> ax.equalsIgnoreAnnotations(axiom));

No need to iterate over all axioms if we know exactly that there is no annotations for the given type