code: @Nonnull
      public static Set<OWLAxiom> getAxiomsWithoutTypes(@Nonnull Set<OWLAxiom> sourceAxioms,
          @Nonnull AxiomType<?>... axiomTypes) {
          Set<OWLAxiom> result = new HashSet<>();
          Set<AxiomType<?>> disallowed = Sets.newHashSet(axiomTypes);
          for (OWLAxiom ax : sourceAxioms) {
              if (!disallowed.contains(ax.getAxiomType())) {
                  result.add(ax);
              }
          }
          return result;
      }
docs: Gets the set of axioms from a source set of axioms that are not of the
  specified type
  
  @param sourceAxioms
  The source set of axioms
  @param axiomTypes
  The types that will be filtered out of the source set
  @return A set of axioms that represents the sourceAxioms without the
  specified types. Note that sourceAxioms will not be modified. The
  returned set is a copy.