Package org.semanticweb.owlapi.model

Interface HasRemoveAxiom

All Known Subinterfaces:

OWLOntologyManager

public interface HasRemoveAxiom

Since:

3.5

Author:

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

Method Summary

Modifier and Type	Method	Description
ChangeApplied	removeAxiom(OWLOntology ont, OWLAxiom axiom)	A convenience method that removes a single axiom from an ontology.

Method Detail

removeAxiom

@Nonnull
ChangeApplied removeAxiom(@Nonnull
                          OWLOntology ont,
                          @Nonnull
                          OWLAxiom axiom)

A convenience method that removes a single axiom from an ontology. The appropriate RemoveAxiom change object is automatically generated.

Parameters:

ont - The ontology to remove the axiom from.

axiom - The axiom to be removed

Returns:

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

Throws:

OWLOntologyChangeException - if there was a problem removing the axiom