@Override @SuppressWarnings("unchecked") public <T extends OWLAxiom> T getAnnotatedAxiom(Stream<OWLAnnotation> anns) { return (T) new OWLDifferentIndividualsAxiomImpl(individuals, mergeAnnos(anns)); }
@Override @SuppressWarnings("unchecked") public OWLDifferentIndividualsAxiom getAxiomWithoutAnnotations() { if (!isAnnotated()) { return this; } return new OWLDifferentIndividualsAxiomImpl(individuals, NO_ANNOTATIONS); }
@Override public OWLDifferentIndividualsAxiom getAnnotatedAxiom( Set<OWLAnnotation> annotations) { return new OWLDifferentIndividualsAxiomImpl(getIndividuals(), mergeAnnos(annotations)); }
@Override public OWLDifferentIndividualsAxiom getAxiomWithoutAnnotations() { if (!isAnnotated()) { return this; } return new OWLDifferentIndividualsAxiomImpl(getIndividuals(), NO_ANNOTATIONS); }
@Override public Collection<OWLDifferentIndividualsAxiom> splitToAnnotatedPairs() { if (individuals.size() == 2) { return CollectionFactory.createSet(this); } return walkPairwise((a, b) -> new OWLDifferentIndividualsAxiomImpl( sorted(OWLIndividual.class, a, b), annotations)); }
public OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom(Set<? extends OWLIndividual> individuals, Set<? extends OWLAnnotation> annotations) { return new OWLDifferentIndividualsAxiomImpl(this, individuals, annotations); }
public OWLDifferentIndividualsAxiom getAxiomWithoutAnnotations() { if(!isAnnotated()) { return this; } return getOWLDataFactory().getOWLDifferentIndividualsAxiom(getIndividuals()); }
public OWLDifferentIndividualsAxiom getAnnotatedAxiom(Set<OWLAnnotation> annotations) { return getOWLDataFactory().getOWLDifferentIndividualsAxiom(getIndividuals(), mergeAnnos(annotations)); }
@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; }
@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; }
@Override public boolean containsAnonymousIndividuals() { for (OWLIndividual ind : getIndividuals()) { if (ind.isAnonymous()) { return true; } } return false; }
public Set<OWLSubClassOfAxiom> asOWLSubClassOfAxioms() { List<OWLClassExpression> nominalsList = new ArrayList<OWLClassExpression>(); for(OWLIndividual individual : getIndividuals()) { nominalsList.add(getOWLDataFactory().getOWLObjectOneOf(individual)); } Set<OWLSubClassOfAxiom> result = new HashSet<OWLSubClassOfAxiom>(); for(int i = 0; i < nominalsList.size() - 1; i++) { for(int j = i + 1; j < nominalsList.size(); j++) { OWLClassExpression ceI = nominalsList.get(i); OWLClassExpression ceJ = nominalsList.get(j).getObjectComplementOf(); result.add(getOWLDataFactory().getOWLSubClassOfAxiom(ceI, ceJ)); } } return result; }
@Override public Collection<OWLSubClassOfAxiom> asOWLSubClassOfAxioms() { return walkAllPairwise((a, b) -> new OWLSubClassOfAxiomImpl(new OWLObjectOneOfImpl(a), new OWLObjectOneOfImpl(b).getObjectComplementOf(), NO_ANNOTATIONS)); } }
@Override public boolean containsAnonymousIndividuals() { return individuals().anyMatch(OWLIndividual::isAnonymous); }
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 Collection<OWLDifferentIndividualsAxiom> asPairwiseAxioms() { if (individuals.size() == 2) { return CollectionFactory.createSet(this); } return walkPairwise((a, b) -> new OWLDifferentIndividualsAxiomImpl( sorted(OWLIndividual.class, a, b), NO_ANNOTATIONS)); }
@Override public OWLDifferentIndividualsAxiom getAxiomWithoutAnnotations() { if (!isAnnotated()) { return this; } return new OWLDifferentIndividualsAxiomImpl(getIndividuals(), NO_ANNOTATIONS); }
@Nonnull @Override public OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom( @Nonnull Set<? extends OWLIndividual> individuals, @Nonnull Set<? extends OWLAnnotation> annotations) { checkNull(individuals, "individuals", true); checkAnnotations(annotations); return new OWLDifferentIndividualsAxiomImpl(individuals, annotations); }
@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 boolean containsAnonymousIndividuals() { for (OWLIndividual ind : getIndividuals()) { if (ind.isAnonymous()) { return true; } } return false; }