Java OWLDifferentIndividualsAxiom类代码示例

import org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom; //导入依赖的package包/类
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;
}
 

import org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom; //导入依赖的package包/类
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])));
}
 

import org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom; //导入依赖的package包/类
@Override
public T visit(OWLDifferentIndividualsAxiom axiom) {
	throw new IllegalArgumentException(
			OWLDifferentIndividualsAxiom.class.getSimpleName()
					+ " cannot be converted to "
					+ getTargetClass().getSimpleName());
}
 

import org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom; //导入依赖的package包/类
@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);
}
 

import org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom; //导入依赖的package包/类
@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;
}
 

import org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom; //导入依赖的package包/类
@Override
public void visit(@Nonnull OWLDifferentIndividualsAxiom axiom) {
    for (OWLIndividual ind : axiom.getIndividuals()) {
        ind.accept(this);
    }
    processAxiomAnnotations(axiom);
}
 

import org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom; //导入依赖的package包/类
@Override
public OWLDifferentIndividualsAxiom getAxiomWithoutAnnotations() {
    if (!isAnnotated()) {
        return this;
    }
    return new OWLDifferentIndividualsAxiomImpl(getIndividuals(),
            NO_ANNOTATIONS);
}
 

import org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom; //导入依赖的package包/类
@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;
}
 

import org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom; //导入依赖的package包/类
@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;
}
 

import org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom; //导入依赖的package包/类
@Override
public boolean equals(Object obj) {
    if (this == obj) {
        return true;
    }
    if (!super.equals(obj)) {
        return false;
    }
    return obj instanceof OWLDifferentIndividualsAxiom;
}
 

import org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom; //导入依赖的package包/类
public void visit(OWLDifferentIndividualsAxiom axiom) {
    notSupported(axiom);
}
 

import org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom; //导入依赖的package包/类
public void visit(OWLDifferentIndividualsAxiom object) {
}
 

import org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom; //导入依赖的package包/类
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);
}
 

import org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom; //导入依赖的package包/类
@Override
public OWLDifferentIndividualsAxiom visit(
		ElkDifferentIndividualsAxiom axiom) {
	return owlFactory_.getOWLDifferentIndividualsAxiom(
			toIndividualSet(axiom.getIndividuals()));
}
 

import org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom; //导入依赖的package包/类
@SuppressWarnings("static-method")
public ElkDifferentIndividualsAxiom convert(
		OWLDifferentIndividualsAxiom owlDifferentIndividualsAxiom) {
	return new ElkDifferentIndividualsAxiomWrap<OWLDifferentIndividualsAxiom>(
			owlDifferentIndividualsAxiom);
}