public void rebuild(OWLEquivalentClassesAxiom axiom) { for (OWLDescription desc : axiom.getDescriptions()) { desc.accept(this); } Set<OWLDescription> equivClasses = this.getRelevantDescriptionsAsSet(0); this.rebuiltAxioms.add(this.factory.getOWLEquivalentClassesAxiom(equivClasses)); }
public void rebuild(OWLDisjointUnionAxiom axiom) { axiom.getOWLClass().accept(this); OWLClass equivClass = (OWLClass) this.getRelevantDescription(); for (OWLDescription desc : axiom.getDescriptions()) { desc.accept(this); } Set<OWLDescription> disjointUnionClasses = this.getRelevantDescriptionsAsSet(0); this.rebuiltAxioms.add(this.factory.getOWLDisjointUnionAxiom(equivClass, disjointUnionClasses)); }
// DONE @Override public void visit(OWLObjectUnionOf desc) { int reduceTo = this.rebuiltObjects.size(); for (OWLDescription operand : desc.getOperands()) { operand.accept(this); } HashSet<OWLDescription> ds = this.getRelevantDescriptionsAsSet(reduceTo); this.rebuiltObjects.add(this.factory.getOWLObjectUnionOf(ds)); }