@FunctionalInterface public interface HasDirectRemoveAxiom
Modifier and Type | Method and 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.
|
ChangeApplied removeAxiom(OWLAxiom axiom)
axiom
- The axiom to be removedOWLOntologyChangeException
- if there was a problem removing the axiomdefault ChangeApplied remove(OWLAxiom axiom)
axiom
- The axiom to be removedOWLOntologyChangeException
- if there was a problem removing the axiomCopyright © 2020 The University of Manchester. All rights reserved.