@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; }
public Set<OWLAxiom> visit(OWLDisjointUnionAxiom axiom) { Set<OWLAxiom> axioms = new HashSet<OWLAxiom>(); axioms.addAll(df.getOWLEquivalentClassesAxiom(axiom.getOWLClass(), df.getOWLObjectUnionOf(axiom.getClassExpressions())).accept(this)); axioms.addAll(df.getOWLDisjointClassesAxiom(axiom.getClassExpressions()).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; }
@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; }