org.semanticweb.owlapi.model

Interface HasRemoveAxioms

All Known Subinterfaces:

OWLOntologyManager

All Known Implementing Classes:

OWLOntologyManagerImpl

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 HasRemoveAxioms

Since:

3.5

Author:

Matthew Horridge, Stanford University, Bio-Medical Informatics Research Group

Method Summary

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.

Method Detail

removeAxioms

default ChangeApplied removeAxioms(OWLOntology ont,
                                   Collection<? extends OWLAxiom> axioms)

A convenience method that removes a set of axioms from an ontology. The appropriate RemoveAxiom change objects are automatically generated.

Parameters:

ont - The ontology from which the axioms should be removed.

axioms - The axioms to be removed.

Returns:

ChangeApplied.SUCCESSFULLY if the axiom is added, ChangeApplied.UNSUCCESSFULLY otherwise.

Throws:

OWLOntologyChangeException - if there was a problem removing the axioms

removeAxioms

ChangeApplied removeAxioms(OWLOntology ont,
                           Stream<? extends OWLAxiom> axioms)

A convenience method that removes a set of axioms from an ontology. The appropriate RemoveAxiom change objects are automatically generated.

Parameters:

ont - The ontology from which the axioms should be removed.

axioms - The axioms to be removed.

Returns:

ChangeApplied.SUCCESSFULLY if the axiom is added, ChangeApplied.UNSUCCESSFULLY otherwise.

Throws:

OWLOntologyChangeException - if there was a problem removing the axioms