@Override public void visit(OWLDifferentIndividualsAxiom axiom) { hashCode = primes[7]; hashCode = hashCode * MULT + axiom.getIndividuals().hashCode(); hashCode = hashCode * MULT + axiom.getAnnotations().hashCode(); }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { hashCode = 29; hashCode = hashCode * MULT + axiom.getIndividuals().hashCode(); hashCode = hashCode * MULT + axiom.getAnnotations().hashCode(); }
@Override public Optional<IRI> visit(OWLDifferentIndividualsAxiom axiom) { return wrapIterable(axiom.getIndividuals()); }
public void visit(OWLDifferentIndividualsAxiom axiom) { for (OWLIndividual i : axiom.getIndividuals()) { add(i); } }
public void visit(OWLDifferentIndividualsAxiom axiom) { for (OWLIndividual i : axiom.getIndividuals()) { add(i); } }
@Override public void write(OWLOutputStream out, Object o) throws IOException { OWLDifferentIndividualsAxiom axiom = (OWLDifferentIndividualsAxiom) o; IOUtils.writeInt(out.getOutputStream(), axiom.getIndividuals().size()); for (OWLIndividual i : axiom.getIndividuals()) { out.write(i); } }
public Set<OWLAxiom> visit(OWLDifferentIndividualsAxiom axiom) { // Explode into pairwise nominals? Set<OWLAxiom> axioms = new HashSet<OWLAxiom>(); List<OWLIndividual> individuals = new ArrayList<OWLIndividual>(axiom.getIndividuals()); for (int i = 0; i < individuals.size(); i++) { for (int j = i + 1; j < individuals.size(); j++) { axioms.addAll(subClassOf(df.getOWLObjectOneOf(individuals.get(i)), df.getOWLObjectOneOf(individuals.get(j)))); } } return axioms; }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { sb.append("DifferentIndividuals("); writeAnnotations(axiom); render(axiom.getIndividuals()); sb.append(" )"); }
public void visit(OWLDifferentIndividualsAxiom object) { OWLIndividual[] individuals=new OWLIndividual[object.getIndividuals().size()]; object.getIndividuals().toArray(individuals); for (int i=0;i<individuals.length;i++) for (int j=i+1;j<individuals.length;j++) m_positiveFacts.add(Atom.create(Inequality.create(),getIndividual(individuals[i]),getIndividual(individuals[j]))); } public void visit(OWLClassAssertionAxiom object) {
@Override public void visit(@Nonnull OWLDifferentIndividualsAxiom axiom) { for (OWLIndividual ind : axiom.getIndividuals()) { ind.accept(this); } processAxiomAnnotations(axiom); }
public void visit(OWLDifferentIndividualsAxiom axiom) { if (axiom.getIndividuals().contains(getRootObject())) { reset(); } }
public void visit(OWLDifferentIndividualsAxiom axiom) { for (OWLIndividual ind : axiom.getIndividuals()) { ind.accept(this); } processAxiomAnnotations(axiom); }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { for (OWLIndividual ind : axiom.getIndividuals()) { ind.accept(this); } processAxiomAnnotations(axiom); }
@Override public void visit(final OWLDifferentIndividualsAxiom axiom) { List<ATermAppl> differents = new ArrayList<ATermAppl>(); for (OWLIndividual ind : axiom.getIndividuals()) { ATermAppl term = indConv.getTerm( ind ); for (ATermAppl dterm : differents) { query.add( QueryAtomFactory.DifferentFromAtom( term, dterm ) ); } } }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { Set<OWLIndividual> individuals = axiom.getIndividuals(); if (individuals.size() < 2) { // TODO log return; } writeAxiomStart(DIFFERENT_INDIVIDUALS, axiom); write(individuals); writeAxiomEnd(); }
@Override protected boolean isResettingChange(OWLOntologyChange change) { return change.isAxiomChange() && change.getAxiom() instanceof OWLDifferentIndividualsAxiom && ((OWLDifferentIndividualsAxiom) change.getAxiom()).getIndividuals().contains(getRootObject()); }
public void visit(OWLDifferentIndividualsAxiom axiom) { for (OWLIndividual ind : axiom.getIndividuals()) { if (!ind.isAnonymous()){ ind.asOWLNamedIndividual().accept(this); } } }
@Override protected boolean isResettingChange(OWLOntologyChange change) { return change.isAxiomChange() && change.getAxiom() instanceof OWLDifferentIndividualsAxiom && ((OWLDifferentIndividualsAxiom) change.getAxiom()).getIndividuals().contains(getRootObject()); }
public void visit(OWLDifferentIndividualsAxiom axiom) { setAxiomWriting(); writeBinaryOrNaryList(DIFFERENT_FROM, axiom.getIndividuals(), DIFFERENT_INDIVIDUALS); restore(); }
public void visit(OWLDifferentIndividualsAxiom axiom) { translateAnonymousNode(axiom); addTriple(axiom, RDF_TYPE.getIRI(), OWL_ALL_DIFFERENT.getIRI()); addListTriples(axiom, OWL_DISTINCT_MEMBERS.getIRI(), axiom.getIndividuals()); processIfAnonymous(axiom.getIndividuals(), axiom); }