org.semanticweb.owlapi.model

Interface HasDirectRemoveAxioms

All Known Subinterfaces:

OWLMutableOntology, OWLOntology

All Known Implementing Classes:

ConcurrentOWLOntologyImpl, OWLImmutableOntologyImpl, OWLOntologyImpl

public interface HasDirectRemoveAxioms

Since:

3.5

Author:

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

Method Summary

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(java.util.stream.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(java.util.stream.Stream<? extends OWLAxiom> axioms) A convenience method that removes a set of axioms from this object.

Method Detail

removeAxioms

ChangeApplied removeAxioms(Collection<? extends OWLAxiom> axioms)

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

Parameters:

axioms - The axioms to be removed.

Returns:

A list of ontology changes that represent the changes which took place in order to remove the axioms.

Throws:

OWLOntologyChangeException - if there was a problem removing the axioms

removeAxioms

ChangeApplied removeAxioms(java.util.stream.Stream<? extends OWLAxiom> axioms)

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

Parameters:

axioms - The axioms to be removed.

Returns:

A list of ontology changes that represent the changes which took place in order to remove the axioms.

Throws:

OWLOntologyChangeException - if there was a problem removing the axioms

removeAxioms

ChangeApplied removeAxioms(OWLAxiom... axioms)

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

Parameters:

axioms - The axioms to be removed.

Returns:

A list of ontology changes that represent the changes which took place in order to remove the axioms.

Throws:

OWLOntologyChangeException - if there was a problem removing the axioms

remove

default ChangeApplied remove(Collection<? extends OWLAxiom> axioms)

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

Parameters:

axioms - The axioms to be removed.

Returns:

A list of ontology changes that represent the changes which took place in order to remove the axioms.

Throws:

OWLOntologyChangeException - if there was a problem removing the axioms

remove

default ChangeApplied remove(java.util.stream.Stream<? extends OWLAxiom> axioms)

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

Parameters:

axioms - The axioms to be removed.

Returns:

A list of ontology changes that represent the changes which took place in order to remove the axioms.

Throws:

OWLOntologyChangeException - if there was a problem removing the axioms

remove

default ChangeApplied remove(OWLAxiom... axioms)

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

Parameters:

axioms - The axioms to be removed.

Returns:

A list of ontology changes that represent the changes which took place in order to remove the axioms.

Throws:

OWLOntologyChangeException - if there was a problem removing the axioms