public void actionPerformed(ActionEvent actionEvent) {
List<OWLOntologyChange> changes = new ArrayList<OWLOntologyChange>();
int axiomsRemoved = 0;
int axiomsAdded = 0;
int numberOfDisjoints = 0;
for (OWLOntology ont : getOWLModelManager().getActiveOntologies()) {
// act on each ontology in turn
CliqueFinder<OWLClassExpression> merger = new CliqueFinder<OWLClassExpression>();
Set<OWLDisjointClassesAxiom> oldAxioms = ont.getAxioms(AxiomType.DISJOINT_CLASSES);
numberOfDisjoints += oldAxioms.size();
for (OWLDisjointClassesAxiom ax : oldAxioms) {
merger.add(ax.getClassExpressions());
}
for (Set<OWLClassExpression> newAxioms : merger.getResults()) {
OWLDisjointClassesAxiom newAxiom =
getOWLModelManager().getOWLDataFactory().getOWLDisjointClassesAxiom(newAxioms);
if (oldAxioms.contains(newAxiom)) {
oldAxioms.remove(newAxiom);
} else {
changes.add(new AddAxiom(ont, newAxiom));
axiomsAdded++;
}
}
for (OWLDisjointClassesAxiom oldAxiom : oldAxioms) {
changes.add(new RemoveAxiom(ont, oldAxiom));
axiomsRemoved++;
}
}
getOWLModelManager().applyChanges(changes);
logger.info(
axiomsRemoved
+ " (of "
+ numberOfDisjoints
+ " total) disjoint class axioms replaced with "
+ axiomsAdded);
}
