@Override public boolean containsAnonymousIndividuals() { for (OWLIndividual ind : getIndividuals()) { if (ind.isAnonymous()) { return true; } } return false; }
/** * Determines whether this axiom contains anonymous individuals. Anonymous individuals are not allowed in * different individuals axioms. * @return <code>true</code> if this axioms contains anonymous individual axioms */ public boolean containsAnonymousIndividuals() { for(OWLIndividual ind : getIndividuals()) { if(ind.isAnonymous()) { return true; } } return false; }
@Override public boolean containsAnonymousIndividuals() { for (OWLIndividual ind : getIndividuals()) { if (ind.isAnonymous()) { return true; } } return false; }
@Override public Set<OWLSubClassOfAxiom> asOWLSubClassOfAxioms() { List<OWLClassExpression> nominalsList = new ArrayList<OWLClassExpression>(); for (OWLIndividual individual : getIndividuals()) { nominalsList.add(new OWLObjectOneOfImpl(Collections.singleton(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(new OWLSubClassOfAxiomImpl(ceI, ceJ, NO_ANNOTATIONS)); } } return result; }
@Override public OWLDifferentIndividualsAxiom getAxiomWithoutAnnotations() { if (!isAnnotated()) { return this; } return new OWLDifferentIndividualsAxiomImpl(getIndividuals(), 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); }
public static void serialize(SerializationStreamWriter streamWriter, OWLDifferentIndividualsAxiomImpl instance) throws SerializationException { CustomFieldSerializerUtil.serializeAnnotations(instance, streamWriter); CustomFieldSerializerUtil.serializeSet(instance.getIndividuals(), streamWriter); }
@Override public OWLDifferentIndividualsAxiom getAnnotatedAxiom(Set<OWLAnnotation> annotations) { return new OWLDifferentIndividualsAxiomImpl(getIndividuals(), mergeAnnos(annotations)); }
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 Set<OWLSubClassOfAxiom> asOWLSubClassOfAxioms() { List<OWLClassExpression> nominalsList = new ArrayList<>(); for (OWLIndividual individual : getIndividuals()) { assert individual != null; nominalsList.add(new OWLObjectOneOfImpl(CollectionFactory .createSet(individual))); } Set<OWLSubClassOfAxiom> result = new HashSet<>(); 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(); assert ceI != null; assert ceJ != null; result.add(new OWLSubClassOfAxiomImpl(ceI, ceJ, NO_ANNOTATIONS)); } } return result; }
public OWLDifferentIndividualsAxiom getAxiomWithoutAnnotations() { if(!isAnnotated()) { return this; } return getOWLDataFactory().getOWLDifferentIndividualsAxiom(getIndividuals()); }
public OWLDifferentIndividualsAxiom getAnnotatedAxiom(Set<OWLAnnotation> annotations) { return getOWLDataFactory().getOWLDifferentIndividualsAxiom(getIndividuals(), mergeAnnos(annotations)); }