Refine search
@Override public void visit(OWLDisjointUnionAxiom axiom) { add(rhs, axiom.classExpressions()); rhs.add(axiom.getOWLClass()); lhs.add(axiom.getOWLClass()); add(lhs, axiom.classExpressions()); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { add(rhs, axiom.classExpressions()); rhs.add(axiom.getOWLClass()); lhs.add(axiom.getOWLClass()); add(lhs, axiom.classExpressions()); }
@Override public Boolean visit(OWLDisjointUnionAxiom axiom) { if (neitherPositiveNorNegative(axiom.getOWLClass()).booleanValue()) { return Boolean.FALSE; } return Boolean .valueOf(!axiom.classExpressions().anyMatch(this::neitherPositiveNorNegative)); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { add(rhs, axiom.classExpressions()); rhs.add(axiom.getOWLClass()); lhs.add(axiom.getOWLClass()); add(lhs, axiom.classExpressions()); }
@Override public Boolean visit(OWLDisjointUnionAxiom axiom) { if (neitherPositiveNorNegative(axiom.getOWLClass()).booleanValue()) { return Boolean.FALSE; } return Boolean .valueOf(!axiom.classExpressions().anyMatch(this::neitherPositiveNorNegative)); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { v(axiom.getOWLClass()); v(axiom.classExpressions()); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { addSingleTripleAxiom(axiom, axiom.getOWLClass(), OWL_DISJOINT_UNION_OF.getIRI(), axiom.classExpressions()); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { addSingleTripleAxiom(axiom, axiom.getOWLClass(), OWL_DISJOINT_UNION_OF.getIRI(), axiom.classExpressions()); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { v(axiom.getOWLClass()); v(axiom.classExpressions()); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { addSingleTripleAxiom(axiom, axiom.getOWLClass(), OWL_DISJOINT_UNION_OF.getIRI(), axiom.classExpressions()); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { v(axiom.getOWLClass()); v(axiom.classExpressions()); }
@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 OWLAxiom visit(OWLDisjointUnionAxiom axiom) { return df.getOWLDisjointUnionAxiom(axiom.getOWLClass(), asList(axiom.classExpressions().map(p -> p.accept(classVisitor)))); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { process(axiom); axiom.getOWLClass().accept(this); axiom.classExpressions().forEach(a -> a.accept(this)); }
@Override public OWLAxiom visit(OWLDisjointUnionAxiom axiom) { return df.getOWLDisjointUnionAxiom(axiom.getOWLClass(), asList(axiom.classExpressions().map(p -> p.accept(classVisitor)))); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { sb.append("DisjointUnion("); writeAnnotations(axiom); axiom.getOWLClass().accept(this); insertSpace(); render(axiom.classExpressions()); sb.append(" )"); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { sb.append("DisjointUnion("); writeAnnotations(axiom); axiom.getOWLClass().accept(this); insertSpace(); render(axiom.classExpressions()); sb.append(" )"); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { sb.append("DisjointUnion("); writeAnnotations(axiom); axiom.getOWLClass().accept(this); insertSpace(); render(axiom.classExpressions()); sb.append(" )"); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { writeAxiomStart(DISJOINT_UNION, axiom); acceptAndSpace(axiom.getOWLClass()); write(axiom.classExpressions()); writeAxiomEnd(); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { axiom.getOWLClass().accept(this); write(EQUAL); write(asList(axiom.classExpressions()), OR, false); }