public interface HasDirectRemoveAxioms
Modifier and Type | Method and Description |
---|---|
default ChangeApplied |
remove(Collection<? extends OWLAxiom> axioms)
A convenience method that removes a set of axioms from this object.
|
default ChangeApplied |
remove(OWLAxiom... axioms)
A convenience method that removes a set of axioms from this object.
|
default ChangeApplied |
remove(Stream<? extends OWLAxiom> axioms)
A convenience method that removes a set of axioms from this object.
|
ChangeApplied |
removeAxioms(Collection<? extends OWLAxiom> axioms)
A convenience method that removes a set of axioms from this object.
|
ChangeApplied |
removeAxioms(OWLAxiom... axioms)
A convenience method that removes a set of axioms from this object.
|
ChangeApplied |
removeAxioms(Stream<? extends OWLAxiom> axioms)
A convenience method that removes a set of axioms from this object.
|
ChangeApplied removeAxioms(Collection<? extends OWLAxiom> axioms)
axioms
- The axioms to be removed.OWLOntologyChangeException
- if there was a problem removing the axiomsChangeApplied removeAxioms(Stream<? extends OWLAxiom> axioms)
axioms
- The axioms to be removed.OWLOntologyChangeException
- if there was a problem removing the axiomsChangeApplied removeAxioms(OWLAxiom... axioms)
axioms
- The axioms to be removed.OWLOntologyChangeException
- if there was a problem removing the axiomsdefault ChangeApplied remove(Collection<? extends OWLAxiom> axioms)
axioms
- The axioms to be removed.OWLOntologyChangeException
- if there was a problem removing the axiomsdefault ChangeApplied remove(Stream<? extends OWLAxiom> axioms)
axioms
- The axioms to be removed.OWLOntologyChangeException
- if there was a problem removing the axiomsdefault ChangeApplied remove(OWLAxiom... axioms)
axioms
- The axioms to be removed.OWLOntologyChangeException
- if there was a problem removing the axiomsCopyright © 2020 The University of Manchester. All rights reserved.