Package org.semanticweb.owlapi.model

Interface HasDirectRemoveAxiom

All Known Subinterfaces:
OWLMutableOntology, OWLOntology
All Known Implementing Classes:
ConcurrentOWLOntologyImpl, OWLImmutableOntologyImpl, OWLOntologyImpl
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 HasDirectRemoveAxiom
Since:
3.5
Author:
Matthew Horridge, Stanford University, Bio-Medical Informatics Research Group

  • Method Summary

    Modifier and Type
    Method
    Description
    default ChangeApplied
    remove(OWLAxiom axiom)
    A convenience method that removes a single axiom from this object.
    ChangeApplied
    removeAxiom(OWLAxiom axiom)
    A convenience method that removes a single axiom from this object.

  • Method Details

    • removeAxiom

      ChangeApplied removeAxiom(OWLAxiom axiom)
      A convenience method that removes a single axiom from this object. The appropriate RemoveAxiom change object is automatically generated.
      Parameters:
      axiom - The axiom to be removed
      Returns:
      A list of ontology changes that represent the changes that actually took place.
      Throws:
      OWLOntologyChangeException - if there was a problem removing the axiom

    • remove

      default ChangeApplied remove(OWLAxiom axiom)
      A convenience method that removes a single axiom from this object. The appropriate RemoveAxiom change object is automatically generated.
      Parameters:
      axiom - The axiom to be removed
      Returns:
      A list of ontology changes that represent the changes that actually took place.
      Throws:
      OWLOntologyChangeException - if there was a problem removing the axiom