@Override public Set<OWLDifferentIndividualsAxiom> asPairwiseAxioms() { List<OWLIndividual> individuals = getIndividualsAsList(); Set<OWLDifferentIndividualsAxiom> result = new HashSet<>(); for (int i = 0; i < individuals.size() - 1; i++) { for (int j = i + 1; j < individuals.size(); j++) { OWLIndividual indI = individuals.get(i); OWLIndividual indJ = individuals.get(j); result.add(new OWLDifferentIndividualsAxiomImpl(new HashSet<>( Arrays.asList(indI, indJ)), NO_ANNOTATIONS)); } } return result; }
public Set<OWLDifferentIndividualsAxiom> asPairwiseAxioms() { List<OWLIndividual> individuals = getIndividualsAsList(); Set<OWLDifferentIndividualsAxiom> result = new HashSet<OWLDifferentIndividualsAxiom>(); for(int i = 0; i < individuals.size() - 1; i++) { for(int j = i + 1; j < individuals.size(); j++) { OWLIndividual indI = individuals.get(i); OWLIndividual indJ = individuals.get(j); result.add(getOWLDataFactory().getOWLDifferentIndividualsAxiom(indI, indJ)); } } return result; }
@Override public Set<OWLDifferentIndividualsAxiom> asPairwiseAxioms() { List<OWLIndividual> individuals = getIndividualsAsList(); Set<OWLDifferentIndividualsAxiom> result = new HashSet<OWLDifferentIndividualsAxiom>(); for (int i = 0; i < individuals.size() - 1; i++) { for (int j = i + 1; j < individuals.size(); j++) { OWLIndividual indI = individuals.get(i); OWLIndividual indJ = individuals.get(j); result.add(new OWLDifferentIndividualsAxiomImpl( new HashSet<OWLIndividual>(Arrays.asList(indI, indJ)), NO_ANNOTATIONS)); } } return result; }
@Override public Set<OWLDifferentIndividualsAxiom> splitToAnnotatedPairs() { List<OWLIndividual> individuals = getIndividualsAsList(); if (individuals.size() == 2) { return Collections.<OWLDifferentIndividualsAxiom> singleton(this); } Set<OWLDifferentIndividualsAxiom> result = new HashSet<>(); for (int i = 0; i < individuals.size() - 1; i++) { OWLIndividual indI = individuals.get(i); OWLIndividual indJ = individuals.get(i + 1); result.add(new OWLDifferentIndividualsAxiomImpl(new HashSet<>( Arrays.asList(indI, indJ)), getAnnotations())); } return result; }