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