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, getAddedAxiom, getAddedOrRemovedAxiom, getChangeData, getChangeRecord, getOntology, getRemovedAxiom, isAddAxiom, isAxiomChange, isRemoveAxiom, reverseChange
public 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()
OWLOntologyChange
getSignature
in interface HasSignature
getSignature
in class OWLOntologyChange
public boolean isAxiomChange()
OWLOntologyChange
isAxiomChange
in class OWLOntologyChange
true
if the change is an OWLAddAxiomChange
or
OWLRemoveAxiomChange
otherwise false
.public boolean isImportChange()
OWLOntologyChange
isImportChange
in class OWLOntologyChange
true
if this change is an import change, otherwise false
.@Nonnull public OWLAxiom getAxiom()
OWLOntologyChange
getAxiom
in class OWLOntologyChange
Copyright © 2020 The University of Manchester. All rights reserved.