@Override public void visit(OWLDifferentIndividualsAxiom axiom) { add(rhs, axiom.individuals()); add(lhs, axiom.individuals()); }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { axiom.individuals() .forEach(ind -> differentIndividualsAxiomsByIndividual.put(ind, axiom)); }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { axiom.individuals() .forEach(i -> differentIndividualsAxiomsByIndividual.remove(i, axiom)); }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { add(rhs, axiom.individuals()); add(lhs, axiom.individuals()); }
@Override public OWLClassExpression visit(OWLDifferentIndividualsAxiom axiom) { Set<OWLClassExpression> nominals = new HashSet<>(); axiom.individuals().forEach(ind -> nominals.add(oneOf(ind))); return factory.getOWLObjectIntersectionOf(nominals); }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { process(axiom); axiom.individuals().forEach(a -> a.accept(this)); }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { process(axiom); axiom.individuals().forEach(a -> a.accept(this)); }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { axiom.individuals().forEach(ind -> { if (!ind.isAnonymous()) { getAxiomsForLHS(ind.asOWLNamedIndividual()).add(axiom); indexAxiomsByRHSEntities(ind, axiom); } }); }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { axiom.individuals().forEach(ind -> { if (!ind.isAnonymous()) { getAxiomsForLHS(ind.asOWLNamedIndividual()).add(axiom); indexAxiomsByRHSEntities(ind, axiom); } }); }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { axiom.individuals().forEach(ind -> { if (!ind.isAnonymous()) { getAxiomsForLHS(ind.asOWLNamedIndividual()).add(axiom); indexAxiomsByRHSEntities(ind, axiom); } }); }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { axiom.individuals().forEach(ind -> { if (!ind.isAnonymous()) { getAxiomsForLHS(ind.asOWLNamedIndividual()).add(axiom); indexAxiomsByRHSEntities(ind, axiom); } }); }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { setAxiomWriting(); writeBinaryOrNaryList(DIFFERENT_FROM, axiom.individuals(), DIFFERENT_INDIVIDUALS); restore(); }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { List<OWLIndividual> individuals = asList(axiom.individuals()); if (individuals.size() < 2) { // TODO log return; } writeAxiomStart(DIFFERENT_INDIVIDUALS, axiom); write(individuals); writeAxiomEnd(); }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { List<OWLIndividual> individuals = asList(axiom.individuals()); if (individuals.size() < 2) { // TODO log return; } writeAxiomStart(DIFFERENT_INDIVIDUALS, axiom); write(individuals); writeAxiomEnd(); }
/** * Builder initialized from an existing object. * * @param expected the existing object * @param df data factory */ public BuilderDifferentIndividuals(OWLDifferentIndividualsAxiom expected, OWLDataFactory df) { this(df); withItems(expected.individuals()).withAnnotations(expected.annotations()); }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { translateAnonymousNode(axiom); addTriple(axiom, RDF_TYPE.getIRI(), OWL_ALL_DIFFERENT.getIRI()); addListTriples(axiom, OWL_DISTINCT_MEMBERS.getIRI(), axiom.individuals()); processIfAnonymous(axiom.individuals(), axiom); }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { translateAnonymousNode(axiom); addTriple(axiom, RDF_TYPE.getIRI(), OWL_ALL_DIFFERENT.getIRI()); addListTriples(axiom, OWL_DISTINCT_MEMBERS.getIRI(), axiom.individuals()); processIfAnonymous(axiom.individuals(), axiom); }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { writer.writeStartElement(DIFFERENT_INDIVIDUALS); writeAnnotations(axiom); render(axiom.individuals()); writer.writeEndElement(); }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { pairs(axiom.individuals()).forEach(v -> { writeOpenBracket(); write(DISTINCT); write(v.i); write(v.j); writeCloseBracket(); writeln(); }); }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { pairs(axiom.individuals()).forEach(v -> { writeOpenBracket(); write(DISTINCT); write(v.i); write(v.j); writeCloseBracket(); writeln(); }); }