@Override public Boolean visit(OWLDisjointUnionAxiom axiom) { return Boolean.valueOf(axiom.getOWLEquivalentClassesAxiom().accept(this).booleanValue() && axiom.getOWLDisjointClassesAxiom().accept(this).booleanValue()); }
@Override public Set<OWLAxiom> visit(OWLDisjointUnionAxiom axiom) { Set<OWLAxiom> result = new HashSet<>(); result.addAll(axiom.getOWLDisjointClassesAxiom().accept(this)); result.addAll(axiom.getOWLEquivalentClassesAxiom().accept(this)); return result; }
@Override public void visit(OWLEquivalentClassesAxiom axiom) { if (axiom.classExpressions().count() == 2) { addPairwise(axiom, axiom.classExpressions(), OWL_EQUIVALENT_CLASS.getIRI()); } else { axiom.splitToAnnotatedPairs().stream().sorted().forEach(ax -> ax.accept(this)); } }
@Override public void visit(OWLEquivalentClassesAxiom axiom) { if (axiom.classExpressions().count() == 2) { addPairwise(axiom, axiom.classExpressions(), OWL_EQUIVALENT_CLASS.getIRI()); } else { axiom.splitToAnnotatedPairs().stream().sorted().forEach(ax -> ax.accept(this)); } }
@Override public void visit(OWLEquivalentClassesAxiom axiom) { if (axiom.classExpressions().count() == 2) { addPairwise(axiom, axiom.classExpressions(), OWL_EQUIVALENT_CLASS.getIRI()); } else { axiom.splitToAnnotatedPairs().stream().sorted().forEach(ax -> ax.accept(this)); } }
@Override public void visit(OWLEquivalentClassesAxiom axiom) { if (axiom.classExpressions().count() == 2) { addPairwise(axiom, axiom.classExpressions(), OWL_EQUIVALENT_CLASS.getIRI()); } else { axiom.splitToAnnotatedPairs().stream().sorted().forEach(ax -> ax.accept(this)); } }
public MacroExpansions() { visitor = new GCIVisitor(inputOntology, newAxioms); inputOntology.axioms(AxiomType.SUBCLASS_OF).forEach(axiom -> axiom.accept(visitor)); inputOntology.axioms(AxiomType.EQUIVALENT_CLASSES) .forEach(axiom -> axiom.accept(visitor)); inputOntology.axioms(AxiomType.CLASS_ASSERTION).forEach(axiom -> axiom.accept(visitor)); inputOntology.axioms(AxiomType.ANNOTATION_ASSERTION).forEach(this::expand); }
public MacroExpansions() { visitor = new GCIVisitor(inputOntology, newAxioms); inputOntology.axioms(AxiomType.SUBCLASS_OF).forEach(axiom -> axiom.accept(visitor)); inputOntology.axioms(AxiomType.EQUIVALENT_CLASSES) .forEach(axiom -> axiom.accept(visitor)); inputOntology.axioms(AxiomType.CLASS_ASSERTION).forEach(axiom -> axiom.accept(visitor)); inputOntology.axioms(AxiomType.ANNOTATION_ASSERTION).forEach(this::expand); }
public MacroExpansions() { visitor = new GCIVisitor(inputOntology, newAxioms); inputOntology.axioms(AxiomType.SUBCLASS_OF).forEach(axiom -> axiom.accept(visitor)); inputOntology.axioms(AxiomType.EQUIVALENT_CLASSES) .forEach(axiom -> axiom.accept(visitor)); inputOntology.axioms(AxiomType.CLASS_ASSERTION).forEach(axiom -> axiom.accept(visitor)); inputOntology.axioms(AxiomType.ANNOTATION_ASSERTION).forEach(this::expand); }
public MacroExpansions() { visitor = new GCIVisitor(inputOntology, newAxioms); inputOntology.axioms(AxiomType.SUBCLASS_OF).forEach(axiom -> axiom.accept(visitor)); inputOntology.axioms(AxiomType.EQUIVALENT_CLASSES) .forEach(axiom -> axiom.accept(visitor)); inputOntology.axioms(AxiomType.CLASS_ASSERTION).forEach(axiom -> axiom.accept(visitor)); inputOntology.axioms(AxiomType.ANNOTATION_ASSERTION).forEach(this::expand); }
@Override public Collection<OWLAxiom> visit(OWLDisjointUnionAxiom axiom) { Set<OWLAxiom> axioms = new HashSet<>(); axioms.addAll(df.getOWLEquivalentClassesAxiom(axiom.getOWLClass(), df.getOWLObjectUnionOf(axiom.classExpressions())).accept(this)); axioms.addAll(df.getOWLDisjointClassesAxiom(axiom.classExpressions()).accept(this)); return axioms; }
@Override public Collection<OWLAxiom> visit(OWLDisjointUnionAxiom axiom) { Set<OWLAxiom> axioms = new HashSet<>(); axioms.addAll(df.getOWLEquivalentClassesAxiom(axiom.getOWLClass(), df.getOWLObjectUnionOf(axiom.classExpressions())).accept(this)); axioms.addAll(df.getOWLDisjointClassesAxiom(axiom.classExpressions()).accept(this)); return axioms; }
@Override public Collection<OWLAxiom> visit(OWLDisjointUnionAxiom axiom) { Set<OWLAxiom> axioms = new HashSet<>(); axioms.addAll(df.getOWLEquivalentClassesAxiom(axiom.getOWLClass(), df.getOWLObjectUnionOf(axiom.classExpressions())).accept(this)); axioms.addAll(df.getOWLDisjointClassesAxiom(axiom.classExpressions()).accept(this)); return axioms; }
public MacroExpansions() { inputOntology.axioms(AxiomType.SUBCLASS_OF).forEach(axiom -> { OWLAxiom newAxiom = axiom.accept(visitor); replaceIfDifferent(axiom, newAxiom); }); inputOntology.axioms(AxiomType.EQUIVALENT_CLASSES).forEach(axiom -> { OWLAxiom newAxiom = axiom.accept(visitor); replaceIfDifferent(axiom, newAxiom); }); inputOntology.axioms(AxiomType.CLASS_ASSERTION).forEach(axiom -> { OWLAxiom newAxiom = axiom.accept(visitor); replaceIfDifferent(axiom, newAxiom); }); add(rmAxioms, inputOntology.axioms(AxiomType.ANNOTATION_ASSERTION).filter(this::expand)); }
public MacroExpansions() { inputOntology.axioms(AxiomType.SUBCLASS_OF).forEach(axiom -> { OWLAxiom newAxiom = axiom.accept(visitor); replaceIfDifferent(axiom, newAxiom); }); inputOntology.axioms(AxiomType.EQUIVALENT_CLASSES).forEach(axiom -> { OWLAxiom newAxiom = axiom.accept(visitor); replaceIfDifferent(axiom, newAxiom); }); inputOntology.axioms(AxiomType.CLASS_ASSERTION).forEach(axiom -> { OWLAxiom newAxiom = axiom.accept(visitor); replaceIfDifferent(axiom, newAxiom); }); add(rmAxioms, inputOntology.axioms(AxiomType.ANNOTATION_ASSERTION).filter(this::expand)); }
public MacroExpansions() { inputOntology.axioms(AxiomType.SUBCLASS_OF).forEach(axiom -> { OWLAxiom newAxiom = axiom.accept(visitor); replaceIfDifferent(axiom, newAxiom); }); inputOntology.axioms(AxiomType.EQUIVALENT_CLASSES).forEach(axiom -> { OWLAxiom newAxiom = axiom.accept(visitor); replaceIfDifferent(axiom, newAxiom); }); inputOntology.axioms(AxiomType.CLASS_ASSERTION).forEach(axiom -> { OWLAxiom newAxiom = axiom.accept(visitor); replaceIfDifferent(axiom, newAxiom); }); add(rmAxioms, inputOntology.axioms(AxiomType.ANNOTATION_ASSERTION).filter(this::expand)); }
public MacroExpansions() { inputOntology.axioms(AxiomType.SUBCLASS_OF).forEach(axiom -> { OWLAxiom newAxiom = axiom.accept(visitor); replaceIfDifferent(axiom, newAxiom); }); inputOntology.axioms(AxiomType.EQUIVALENT_CLASSES).forEach(axiom -> { OWLAxiom newAxiom = axiom.accept(visitor); replaceIfDifferent(axiom, newAxiom); }); inputOntology.axioms(AxiomType.CLASS_ASSERTION).forEach(axiom -> { OWLAxiom newAxiom = axiom.accept(visitor); replaceIfDifferent(axiom, newAxiom); }); add(rmAxioms, inputOntology.axioms(AxiomType.ANNOTATION_ASSERTION).filter(this::expand)); }