public abstract class OWLAxiomChange extends OWLOntologyChange
| Constructor and Description |
|---|
OWLAxiomChange(OWLOntology ont,
OWLAxiom axiom) |
| Modifier and Type | Method and Description |
|---|---|
OWLAxiom |
getAxiom()
If the change is an axiom change (i.e.
|
Set<OWLEntity> |
getSignature()
Gets the signature of this ontology change.
|
boolean |
isAxiomChange()
Determines if the change will cause the addition or removal of an axiom
from an ontology.
|
boolean |
isImportChange()
Determines if this change is an import change and hence causes a change
to the imports closure of an ontology.
|
accept, accept, getChangeData, getChangeRecord, getOntology, isAddAxiom, isRemoveAxiom, reverseChangepublic OWLAxiomChange(@Nonnull OWLOntology ont, @Nonnull OWLAxiom axiom)
ont - the ontology to which the change is to be appliedaxiom - the axiom to be changedpublic Set<OWLEntity> getSignature()
OWLOntologyChangegetSignature in interface HasSignaturegetSignature in class OWLOntologyChangepublic boolean isAxiomChange()
OWLOntologyChangeisAxiomChange in class OWLOntologyChangetrue if the change is an OWLAddAxiomChange or
OWLRemoveAxiomChange otherwise false.public boolean isImportChange()
OWLOntologyChangeisImportChange in class OWLOntologyChangetrue if this change is an import change, otherwise
false.@Nonnull public OWLAxiom getAxiom()
OWLOntologyChangegetAxiom in class OWLOntologyChangeCopyright © 2016 The University of Manchester. All Rights Reserved.