@FunctionalInterface public interface HasRemoveAxioms
Modifier and Type | Method and Description |
---|---|
default ChangeApplied |
removeAxioms(OWLOntology ont,
Collection<? extends OWLAxiom> axioms)
A convenience method that removes a set of axioms from an ontology.
|
ChangeApplied |
removeAxioms(OWLOntology ont,
Stream<? extends OWLAxiom> axioms)
A convenience method that removes a set of axioms from an ontology.
|
default ChangeApplied removeAxioms(OWLOntology ont, Collection<? extends OWLAxiom> axioms)
ont
- The ontology from which the axioms should be removed.axioms
- The axioms to be removed.OWLOntologyChangeException
- if there was a problem removing the axiomsChangeApplied removeAxioms(OWLOntology ont, Stream<? extends OWLAxiom> axioms)
ont
- The ontology from which the axioms should be removed.axioms
- The axioms to be removed.OWLOntologyChangeException
- if there was a problem removing the axiomsCopyright © 2020 The University of Manchester. All rights reserved.