Interface HasRemoveAxioms

All Known Subinterfaces:
OWLOntologyManager
Functional Interface:
This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface public interface HasRemoveAxioms
Since:
3.5
Author:
Matthew Horridge, Stanford University, Bio-Medical Informatics Research Group
  • Method Details

    • removeAxioms

      default ChangeApplied removeAxioms(OWLOntology ont, Collection<? extends OWLAxiom> axioms)
      A convenience method that removes a set of axioms from an ontology. The appropriate RemoveAxiom change objects are automatically generated.
      Parameters:
      ont - The ontology from which the axioms should be removed.
      axioms - The axioms to be removed.
      Returns:
      ChangeApplied.SUCCESSFULLY if the axiom is added, ChangeApplied.UNSUCCESSFULLY otherwise.
      Throws:
      OWLOntologyChangeException - if there was a problem removing the axioms
    • removeAxioms

      ChangeApplied removeAxioms(OWLOntology ont, Stream<? extends OWLAxiom> axioms)
      A convenience method that removes a set of axioms from an ontology. The appropriate RemoveAxiom change objects are automatically generated.
      Parameters:
      ont - The ontology from which the axioms should be removed.
      axioms - The axioms to be removed.
      Returns:
      ChangeApplied.SUCCESSFULLY if the axiom is added, ChangeApplied.UNSUCCESSFULLY otherwise.
      Throws:
      OWLOntologyChangeException - if there was a problem removing the axioms