@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.