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 and 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