Java 类org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom 实例源码

public Boolean visit(OWLDifferentIndividualsAxiom axiom) {
    // see OWL 2 Syntax, Sec 11.2
    // No axiom in Ax of the following form contains anonymous individuals:
    // SameIndividual, DifferentIndividuals, NegativeObjectPropertyAssertion, and NegativeDataPropertyAssertion.
    ArrayList<OWLIndividual> list=new ArrayList<OWLIndividual>(axiom.getIndividuals());
    for (OWLIndividual i : list) {
        if (i.isAnonymous()) {
            throw new IllegalArgumentException("OWLDifferentIndividualsAxiom axioms are not allowed to be used "+"with anonymous individuals (see OWL 2 Syntax Sec 11.2) but the axiom "+axiom+" cotains an anonymous individual. ");
        }
    }
    for (int i=0;i<list.size()-1;i++) {
        OWLNamedIndividual head=list.get(i).asOWLNamedIndividual();
        for (int j=i+1;j<list.size();j++) {
            OWLNamedIndividual next=list.get(j).asOWLNamedIndividual();
            if (!reasoner.hasType(head,factory.getOWLObjectComplementOf(factory.getOWLObjectOneOf(next)),false))
                return Boolean.FALSE;
        }
    }
    return Boolean.TRUE;
}

public Boolean visit(OWLDifferentIndividualsAxiom axiom) {
    // see OWL 2 Syntax, Sec 11.2
    // No axiom in Ax of the following form contains anonymous individuals:
    // SameIndividual, DifferentIndividuals, NegativeObjectPropertyAssertion, and NegativeDataPropertyAssertion.
    ArrayList<OWLIndividual> list=new ArrayList<OWLIndividual>(axiom.getIndividuals());
    for (OWLIndividual i : list) {
        if (i.isAnonymous()) {
            throw new IllegalArgumentException("OWLDifferentIndividualsAxiom axioms are not allowed to be used "+"with anonymous individuals (see OWL 2 Syntax Sec 11.2) but the axiom "+axiom+" cotains an anonymous individual. ");
        }
    }
    for (int i=0;i<list.size()-1;i++) {
        OWLNamedIndividual head=list.get(i).asOWLNamedIndividual();
        for (int j=i+1;j<list.size();j++) {
            OWLNamedIndividual next=list.get(j).asOWLNamedIndividual();
            if (!reasoner.hasType(head,factory.getOWLObjectComplementOf(factory.getOWLObjectOneOf(next)),false))
                return Boolean.FALSE;
        }
    }
    return Boolean.TRUE;
}

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(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])));
}

@Override
public T visit(OWLDifferentIndividualsAxiom axiom) {
    throw new IllegalArgumentException(
            OWLDifferentIndividualsAxiom.class.getSimpleName()
                    + " cannot be converted to "
                    + getTargetClass().getSimpleName());
}

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(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])));
}

@Override
public Set<ComplexIntegerAxiom> visit(OWLDifferentIndividualsAxiom axiom) {
    Objects.requireNonNull(axiom);
    Set<OWLIndividual> individualSet = axiom.getIndividuals();
    Set<Integer> individualIdSet = new HashSet<>();
    individualSet.forEach(individual -> {
        getTranslationRepository().addNamedIndividual(individual.asOWLNamedIndividual());
        individualIdSet.add(translateIndividual(individual));
    });
    ComplexIntegerAxiom ret = getAxiomFactory().createDifferentIndividualsAxiom(individualIdSet,
            translateAnnotations(axiom.getAnnotations()));
    return Collections.singleton(ret);
}

@Override
public Void visit(OWLDifferentIndividualsAxiom axiom) {
  List<Long> nodes = transform(axiom.getIndividualsAsList(), new Function<OWLIndividual, Long>() {
    @Override
    public Long apply(OWLIndividual individual) {
      return getOrCreateNode(getIri(individual));
    }
  });
  getOrCreateRelationshipPairwise(nodes, OwlRelationships.OWL_DIFFERENT_FROM);
  return null;
}

@Override
public void visit(@Nonnull OWLDifferentIndividualsAxiom axiom) {
    for (OWLIndividual ind : axiom.getIndividuals()) {
        ind.accept(this);
    }
    processAxiomAnnotations(axiom);
}

@Override
public OWLDifferentIndividualsAxiom getAxiomWithoutAnnotations() {
    if (!isAnnotated()) {
        return this;
    }
    return new OWLDifferentIndividualsAxiomImpl(getIndividuals(),
            NO_ANNOTATIONS);
}

@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 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 boolean equals(Object obj) {
    if (this == obj) {
        return true;
    }
    if (!super.equals(obj)) {
        return false;
    }
    return obj instanceof OWLDifferentIndividualsAxiom;
}

public void visit(OWLDifferentIndividualsAxiom axiom) {
    notSupported(axiom);
}

public void visit(OWLDifferentIndividualsAxiom object) {
}

public void visit(OWLDifferentIndividualsAxiom axiom) {
    if (axiom.containsAnonymousIndividuals())
        throw new IllegalArgumentException("The axiom "+axiom+" contains anonymous individuals, which is not allowed in OWL 2. ");
    addFact(axiom);
}

public void visit(OWLDifferentIndividualsAxiom axiom) {
}

@Override
public OWLDifferentIndividualsAxiom visit(
        ElkDifferentIndividualsAxiom axiom) {
    return owlFactory_.getOWLDifferentIndividualsAxiom(
            toIndividualSet(axiom.getIndividuals()));
}

@SuppressWarnings("static-method")
public ElkDifferentIndividualsAxiom convert(
        OWLDifferentIndividualsAxiom owlDifferentIndividualsAxiom) {
    return new ElkDifferentIndividualsAxiomWrap<OWLDifferentIndividualsAxiom>(
            owlDifferentIndividualsAxiom);
}

@Override
public ElkAxiom visit(OWLDifferentIndividualsAxiom axiom) {
    return CONVERTER.convert(axiom);
}

@Override
public ElkAssertionAxiom visit(OWLDifferentIndividualsAxiom axiom) {
    return CONVERTER.convert(axiom);
}

@Override
public void visit(OWLDifferentIndividualsAxiom axiom) {
    defaultVisit(axiom);
}

public void visit(OWLDifferentIndividualsAxiom object) {
}

public void visit(OWLDifferentIndividualsAxiom axiom) {
    if (axiom.containsAnonymousIndividuals())
        throw new IllegalArgumentException("The axiom "+axiom+" contains anonymous individuals, which is not allowed in OWL 2. ");
    addFact(axiom);
}

public void visit(OWLDifferentIndividualsAxiom axiom) {
}

@Override
public OWLAxiom visit(OWLDifferentIndividualsAxiom axiom) {
    return factory.getOWLDifferentIndividualsAxiom(axiom.getIndividuals(), annotations);
}

@Override
public void visit(OWLDifferentIndividualsAxiom axiom) {
}

public void visit(OWLDifferentIndividualsAxiom axiom) {
    if (axiom.containsAnonymousIndividuals())
        throw new IllegalArgumentException("The axiom "+axiom+" contains anonymous individuals, which is not allowed in OWL 2. ");
    addFact(axiom);
}

@Override
public Boolean visit(OWLDifferentIndividualsAxiom axiom) {
    return true;
}

@Override
public Boolean visit(OWLDifferentIndividualsAxiom axiom) {
    return false;
}

@Override
public Boolean visit(OWLDifferentIndividualsAxiom axiom) {
    Objects.requireNonNull(axiom);
    return add(this.df.getOWLDifferentIndividualsAxiom(axiom.getIndividuals(), reg(axiom.getAnnotations())));
}

@Override
public Boolean visit(OWLDifferentIndividualsAxiom axiom) {
    Objects.requireNonNull(axiom);
    return add(this.df.getOWLDifferentIndividualsAxiom(axiom.getIndividuals(), empty()));
}

@Override
public void visit(OWLDifferentIndividualsAxiom axiom)
{
   ignoreOwlAxiom("DifferentIndividualsAxiom", axiom);
}

@Override
public void visit(OWLDifferentIndividualsAxiom axiom) {
    aBoxAxiomsNotSupportedWarning(axiom);
}

@Override
public O visit(OWLDifferentIndividualsAxiom axiom) {
    return doDefault(axiom);
}

@Override
public void visit(OWLDifferentIndividualsAxiom axiom) {
    type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex();
}

@Override
public OWLAxiom visit(OWLDifferentIndividualsAxiom axiom) {
    return axiom;
}

@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) {
    handleDefault(axiom);
}