boolean threewayDisjoint(OWLAxiom ax) { if (ax instanceof OWLDisjointClassesAxiom) { OWLDisjointClassesAxiom disjAx = (OWLDisjointClassesAxiom) ax; if (disjAx.classExpressions().count() > 2) { return false; } } return true; }
@Override public Stream<C> visit(OWLDisjointClassesAxiom axiom) { if (!equiv) { return (Stream<C>) axiom.classExpressions(); } return doDefault(axiom); }
@Override public void visit(OWLDisjointClassesAxiom axiom) { add(rhs, axiom.classExpressions()); add(lhs, axiom.classExpressions()); }
@Override public Stream<K> visit(OWLDisjointClassesAxiom axiom) { Stream<OWLClassExpression> stream = axiom.classExpressions(); if (named) { stream = stream.filter(c -> !c.isAnonymous()); } return (Stream<K>) stream; }
@Override public void visit(OWLDisjointClassesAxiom axiom) { add(rhs, axiom.classExpressions()); add(lhs, axiom.classExpressions()); }
@Override public void visit(OWLDisjointClassesAxiom axiom) { sb.append("DisjointClasses("); writeAnnotations(axiom); render(axiom.classExpressions()); sb.append(')'); }
@Override public void visit(OWLDisjointClassesAxiom axiom) { process(axiom); axiom.classExpressions().forEach(a -> a.accept(this)); }
@Override public void visit(OWLDisjointClassesAxiom axiom) { addConstruct(CONCEPT_COMPLEX_NEGATION); axiom.classExpressions().forEach(o -> o.accept(this)); }
@Override public void visit(OWLDisjointClassesAxiom axiom) { addConstruct(CONCEPT_COMPLEX_NEGATION); axiom.classExpressions().forEach(o -> o.accept(this)); }
@Override public void visit(OWLDisjointClassesAxiom axiom) { process(axiom); axiom.classExpressions().forEach(a -> a.accept(this)); }
@Override public void visit(OWLDisjointClassesAxiom axiom) { dl(() -> insufficientOperands(axiom)); ql(() -> axiom.classExpressions().filter(ce -> !isOWL2QLSubClassExpression(ce)) .forEach(this::nonSubclass)); rl(() -> axiom.classExpressions() .filter(ce -> !ce.accept(equivalentClassExpressionChecker).booleanValue()) .forEach(this::nonSubclass)); }
@Override public void visit(OWLDisjointClassesAxiom axiom) { Set<OWLClassExpression> disjointclasses = replaceBottom(axiom.classExpressions()); newAxiom = df.getOWLDisjointClassesAxiom(disjointclasses); }
@Override public void visit(OWLDisjointClassesAxiom axiom) { isLocal = false; if (pairs(axiom.classExpressions()).map(v -> df.getOWLDisjointClassesAxiom(v.i, v.j)) .anyMatch(ax -> !kernel.isEntailed(ax))) { return; } isLocal = true; }
@Override public void visit(OWLDisjointClassesAxiom axiom) { axiom.classExpressions().forEach(desc -> { if (!desc.isAnonymous()) { getAxiomsForLHS(desc.asOWLClass()).add(axiom); } indexAxiomsByRHSEntities(desc, axiom); }); }
@Override public void visit(OWLDisjointClassesAxiom axiom) { axiom.classExpressions().forEach(desc -> { if (!desc.isAnonymous()) { getAxiomsForLHS(desc.asOWLClass()).add(axiom); } indexAxiomsByRHSEntities(desc, axiom); }); }
@Override public void visit(OWLDisjointClassesAxiom axiom) { if (axiom.classExpressions().count() == 2) { addPairwise(axiom, axiom.classExpressions(), OWL_DISJOINT_WITH.getIRI()); } else { translateAnonymousNode(axiom); addTriple(axiom, RDF_TYPE.getIRI(), OWL_ALL_DISJOINT_CLASSES.getIRI()); addListTriples(axiom, OWL_MEMBERS.getIRI(), axiom.classExpressions()); translateAnnotations(axiom); } }
@Override public void visit(OWLDisjointClassesAxiom axiom) { if (axiom.classExpressions().count() == 2) { addPairwise(axiom, axiom.classExpressions(), OWL_DISJOINT_WITH.getIRI()); } else { translateAnonymousNode(axiom); addTriple(axiom, RDF_TYPE.getIRI(), OWL_ALL_DISJOINT_CLASSES.getIRI()); addListTriples(axiom, OWL_MEMBERS.getIRI(), axiom.classExpressions()); translateAnnotations(axiom); } }
/** * Builder initialized from an existing object. * * @param expected the existing object * @param df data factory */ public BuilderDisjointClasses(OWLDisjointClassesAxiom expected, OWLDataFactory df) { this(df); withItems(expected.classExpressions()).withAnnotations(expected.annotations()); }
@Override public void visit(OWLDisjointClassesAxiom axiom) { pairs(axiom.classExpressions()).forEach(v -> { writeOpenBracket(); write(DISJOINT); write(v.i); write(v.j); writeCloseBracket(); writeln(); }); }
@Override public Object visit(OWLDisjointClassesAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLDisjointClassesAxiom(t(axiom.classExpressions()), t(axiom .annotations()))); }