added.add(ax); } else if (change.isRemoveAxiom()) { if (reasonerAxioms.contains(ax) || reasonerAxioms.contains(ax.getAxiomWithoutAnnotations())) {
else if (change.isRemoveAxiom()) { if (!axiomsToAdd.get(change.getOntology()).remove(change.getAxiom())) { axiomsToRemove.get(change.getOntology()).add(change.getAxiom()); else if (change.isRemoveAxiom()) { if (axiomsToRemove.get(change.getOntology()).contains(change.getAxiom())) { minimisedChanges.add(change);
else if (change.isRemoveAxiom()) { if (!axiomsToAdd.get(change.getOntology()).remove(change.getAxiom())) { axiomsToRemove.get(change.getOntology()).add(change.getAxiom()); else if (change.isRemoveAxiom()) { if (axiomsToRemove.get(change.getOntology()).contains(change.getAxiom())) { minimisedChanges.add(change);
else if (change.isRemoveAxiom()) { OntologyAxiomPair pair = OntologyAxiomPair.get(change.getOntology(), change.getAxiom()); if (!additions.remove(pair)) { else if (change.isRemoveAxiom()) { OntologyAxiomPair pair = OntologyAxiomPair.get(change.getOntology(), change.getAxiom()); if (removals.contains(pair)) {
@Override public void ontologiesChanged(List<? extends OWLOntologyChange> changes) { for (OWLOntologyChange change : changes) { if (!change.isAxiomChange() || !contains(ontology.importsClosure(), change.getOntology())) { continue; } OWLAxiom axiom = change.getAxiom(); if (change.isAddAxiom()) { addAxiom(axiom); } else if (change.isRemoveAxiom()) { removeAxiom(axiom); } else { throw new UnsupportedOperationException("Unrecognized axiom change: " + change); } } } }
@Override public void ontologiesChanged(List<? extends OWLOntologyChange> changes) { for (OWLOntologyChange change : changes) { if (!change.isAxiomChange() || !contains(ontology.importsClosure(), change.getOntology())) { continue; } OWLAxiom axiom = change.getAxiom(); if (change.isAddAxiom()) { addAxiom(axiom); } else if (change.isRemoveAxiom()) { removeAxiom(axiom); } else { throw new UnsupportedOperationException("Unrecognized axiom change: " + change); } } } }
@Override public void ontologiesChanged(List<? extends OWLOntologyChange> changes) { for (OWLOntologyChange change : changes) { if (!change.isAxiomChange() || !contains(ontology.importsClosure(), change.getOntology())) { continue; } OWLAxiom axiom = change.getAxiom(); if (change.isAddAxiom()) { addAxiom(axiom); } else if (change.isRemoveAxiom()) { removeAxiom(axiom); } else { throw new UnsupportedOperationException("Unrecognized axiom change: " + change); } } } }
@Override public void ontologiesChanged(List<? extends OWLOntologyChange> changes) { for (OWLOntologyChange change : changes) { if (!change.isAxiomChange() || !contains(ontology.importsClosure(), change.getOntology())) { continue; } OWLAxiom axiom = change.getAxiom(); if (change.isAddAxiom()) { addAxiom(axiom); } else if (change.isRemoveAxiom()) { removeAxiom(axiom); } else { throw new UnsupportedOperationException("Unrecognized axiom change: " + change); } } } }