@Override public Boolean visit(OWLEquivalentClassesAxiom axiom) { return Boolean .valueOf(!axiom.classExpressions().anyMatch(this::neitherPositiveNorNegative)); }
@Override public void visit(OWLEquivalentClassesAxiom axiom) { add(rhs, axiom.classExpressions()); add(lhs, axiom.classExpressions()); }
@Override public Stream<K> visit(OWLEquivalentClassesAxiom axiom) { Stream<OWLClassExpression> stream = axiom.classExpressions(); if (named) { stream = stream.filter(c -> !c.isAnonymous()); } return (Stream<K>) stream; }
@Override public void visit(OWLEquivalentClassesAxiom axiom) { if (axiom.classExpressions().count() != 2) { return; } LOGGER.info("Calling the Reasoner"); isLocal = reasoner.isEntailed(axiom); LOGGER.info("DONE Calling the Reasoner. isLocal = {}", Boolean.valueOf(isLocal)); }
@Override public Integer visit(OWLEquivalentClassesAxiom axiom) { return counter(axiom.classExpressions()); } }
@Override public void visit(OWLEquivalentClassesAxiom axiom) { sb.append("EquivalentClasses("); writeAnnotations(axiom); render(axiom.classExpressions()); sb.append(" )"); }
@Override public OWLAxiom visit(OWLEquivalentClassesAxiom axiom) { return df.getOWLEquivalentClassesAxiom( axiom.classExpressions().map(p -> p.accept(classVisitor))); }
@Override public OWLAxiom visit(OWLEquivalentClassesAxiom axiom) { return df.getOWLEquivalentClassesAxiom( axiom.classExpressions().map(p -> p.accept(classVisitor))); }
@Override public void visit(OWLEquivalentClassesAxiom 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::nonEquivalentClass)); }
@Override public void visit(OWLEquivalentClassesAxiom axiom) { Set<OWLClassExpression> eqclasses = replaceBottom(axiom.classExpressions()); newAxiom = df.getOWLEquivalentClassesAxiom(eqclasses); }
@Override public void visit(OWLEquivalentClassesAxiom axiom) { Set<OWLClassExpression> eqclasses = replaceBottom(axiom.classExpressions()); newAxiom = df.getOWLEquivalentClassesAxiom(eqclasses); }
@Override public void visit(OWLEquivalentClassesAxiom axiom) { isLocal = false; if (pairs(axiom.classExpressions()).map(v -> df.getOWLEquivalentClassesAxiom(v.i, v.j)) .anyMatch(ax -> !kernel.isEntailed(ax))) { return; } isLocal = true; }
@Override public void visit(OWLEquivalentClassesAxiom axiom) { axiom.classExpressions().forEach(desc -> { if (!desc.isAnonymous()) { getAxiomsForLHS(desc.asOWLClass()).add(axiom); } indexAxiomsByRHSEntities(desc, axiom); }); }
@Override public void visit(OWLEquivalentClassesAxiom axiom) { axiom.classExpressions().forEach(desc -> { if (!desc.isAnonymous()) { getAxiomsForLHS(desc.asOWLClass()).add(axiom); } indexAxiomsByRHSEntities(desc, axiom); }); }
private void generateChanges() { Set<OWLClassExpression> supers = new HashSet<>(); for (OWLOntology o : ontologies) { o.equivalentClassesAxioms(cls).forEach(ax -> { addChange(new RemoveAxiom(o, ax)); ax.classExpressions().forEach(c -> collectClassExpressions(c, supers)); }); } supers.remove(cls); supers.forEach( sup -> addChange(new AddAxiom(targetOntology, df.getOWLSubClassOfAxiom(cls, sup)))); }
@Override public void visit(OWLEquivalentClassesAxiom axiom) { setAxiomWriting(); writeBinaryOrNaryList(EQUIVALENT_TO, axiom.classExpressions(), EQUIVALENT_CLASSES); restore(); }
/** * Builder initialized from an existing object. * * @param expected the existing object * @param df data factory */ public BuilderEquivalentClasses(OWLEquivalentClassesAxiom expected, OWLDataFactory df) { this(df); withItems(expected.classExpressions()).withAnnotations(expected.annotations()); }
@Override public void visit(OWLEquivalentClassesAxiom axiom) { writer.writeStartElement(EQUIVALENT_CLASSES); writeAnnotations(axiom); render(axiom.classExpressions()); writer.writeEndElement(); }
@Override public Object visit(OWLEquivalentClassesAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLEquivalentClassesAxiom(t(axiom.classExpressions()), t(axiom .annotations()))); }
@Override public void visit(OWLEquivalentClassesAxiom axiom) { pairs(axiom.classExpressions()).forEach(v -> { writeOpenBracket(); write(EQUIVALENT); write(v.i); write(v.j); writeCloseBracket(); writeln(); }); }