Java OWLDisjointObjectPropertiesAxiom类代码示例

import org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom; //导入依赖的package包/类
@Override
public Set<OWLDisjointObjectPropertiesAxiom> splitToAnnotatedPairs() {
    List<OWLObjectPropertyExpression> ops = new ArrayList<>(getProperties());
    if (ops.size() == 2) {
        return Collections
                .<OWLDisjointObjectPropertiesAxiom> singleton(this);
    }
    Set<OWLDisjointObjectPropertiesAxiom> result = new HashSet<>();
    for (int i = 0; i < ops.size() - 1; i++) {
        OWLObjectPropertyExpression indI = ops.get(i);
        OWLObjectPropertyExpression indJ = ops.get(i + 1);
        result.add(new OWLDisjointObjectPropertiesAxiomImpl(new HashSet<>(
                Arrays.asList(indI, indJ)), getAnnotations()));
    }
    return result;
}
 

import org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom; //导入依赖的package包/类
public void visit(OWLDisjointObjectPropertiesAxiom axiom) {
    OWLObjectPropertyExpression[] objectPropertyExpressions=new OWLObjectPropertyExpression[axiom.getProperties().size()];
    axiom.getProperties().toArray(objectPropertyExpressions);
    for (int i=0;i<objectPropertyExpressions.length;i++) {
        objectPropertyExpressions[i]=objectPropertyExpressions[i].getSimplified();
        m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(objectPropertyExpressions[i].getNamedProperty());
    }
    m_axioms.m_disjointObjectProperties.add(objectPropertyExpressions);
}
 

import org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom; //导入依赖的package包/类
public Boolean visit(OWLDisjointObjectPropertiesAxiom axiom) {
    int n=axiom.getProperties().size();
    OWLObjectPropertyExpression[] props=axiom.getProperties().toArray(new OWLObjectPropertyExpression[n]);
    for (int i=0;i<n-1;i++)
        for (int j=i+1;j<n;j++)
            if (!reasoner.isDisjointObjectProperty(props[i],props[j])) return Boolean.FALSE;
    return Boolean.TRUE;
}
 

import org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom; //导入依赖的package包/类
@Override
public OWLDisjointObjectPropertiesAxiom visit(
		ElkDisjointObjectPropertiesAxiom axiom) {
	return owlFactory_.getOWLDisjointObjectPropertiesAxiom(
			toObjectPropertyExpressionSet(
					axiom.getObjectPropertyExpressions()));
}
 

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

import org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom; //导入依赖的package包/类
/**
 * Disjoint Properties are translated into constraints:</br>
 * <code>:- r(X,Y), s(X,Y), ...</code>
 * @see org.semanticweb.owlapi.model.OWLAxiomVisitor#visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom)
 */

public void visit(OWLDisjointObjectPropertiesAxiom disProperties) {
	writer.write("icons " + ASP2CoreSymbols.IMPLICATION);
	writer.write(String.format(" activated(%d), ", nConstraints++));
	String cVar = var.currentVar();
	String nVar = var.nextVariable();

	boolean isFirst=true;
	for (OWLObjectPropertyExpression property : disProperties.getProperties()) {
		String propertyName = mapper.getPredicateName(property.getNamedProperty());

		if (!isFirst) {
			writer.write(ASP2CoreSymbols.CONJUNCTION);

		}
		isFirst = false;
		writer.write(propertyName);
		writer.write(ASP2CoreSymbols.BRACKET_OPEN);
		writer.write(cVar);
		writer.write(ASP2CoreSymbols.ARG_SEPERATOR);
		writer.write(nVar);
		writer.write(ASP2CoreSymbols.BRACKET_CLOSE);
	}

	writer.write(ASP2CoreSymbols.EOR);
}
 

import org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom; //导入依赖的package包/类
/**
 * Disjoint Properties are translated into constraints:</br>
 * <code>:- r(X,Y), s(X,Y), ...</code>
 * @see org.semanticweb.owlapi.model.OWLAxiomVisitor#visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom)
 */

public void visit(OWLDisjointObjectPropertiesAxiom disProperties) {
	writer.write(ASP2CoreSymbols.IMPLICATION);

	String cVar = var.currentVar();
	String nVar = var.nextVariable();

	boolean isFirst=true;
	for (OWLObjectPropertyExpression property : disProperties.getProperties()) {
		String propertyName = mapper.getPredicateName(property.getNamedProperty());

		if (!isFirst) {
			writer.write(ASP2CoreSymbols.CONJUNCTION);
		}

		isFirst = false;
		writer.write(propertyName);
		writer.write(ASP2CoreSymbols.BRACKET_OPEN);
		writer.write(cVar);
		writer.write(ASP2CoreSymbols.ARG_SEPERATOR);
		writer.write(nVar);
		writer.write(ASP2CoreSymbols.BRACKET_CLOSE);
	}

	writer.write(ASP2CoreSymbols.EOR);
}
 

import org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom; //导入依赖的package包/类
@Override
public void visit(OWLDisjointObjectPropertiesAxiom axiom) {
	List<OWLObjectPropertyExpression> propertyExpressions = new LinkedList<>(axiom.getProperties());
	
	for(int i = 0; i < propertyExpressions.size(); i++){
		sparql += "{";
		OWLObjectPropertyExpression pe = propertyExpressions.remove(i);
		if(pe.isAnonymous()){
			sparql += objectVar + "<" + pe.getInverseProperty().asOWLObjectProperty().toStringID() + "> " + subjectVar + " .";
		} else {
			sparql += subjectVar + "<" + pe.asOWLObjectProperty().toStringID() + "> " + objectVar + " .";
		}
		for (OWLObjectPropertyExpression pe2 : propertyExpressions) {
			String pattern;
			if(pe2.isAnonymous()){
				pattern = objectVar + "<" + pe2.getInverseProperty().asOWLObjectProperty().toStringID() + "> " + subjectVar + " .";
			} else {
				pattern = subjectVar + "<" + pe2.asOWLObjectProperty().toStringID() + "> " + objectVar + " .";
			}
			sparql += notExists(pattern);
		}
		propertyExpressions.add(i, pe);
		sparql += "}";
		if(i < propertyExpressions.size()-1){
			sparql += " UNION ";
		}
	}
}
 

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

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

import org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom; //导入依赖的package包/类
@Nonnull
@Override
public OWLDisjointObjectPropertiesAxiom getAnnotatedAxiom(
        @Nonnull Set<OWLAnnotation> annotations) {
    return new OWLDisjointObjectPropertiesAxiomImpl(getProperties(),
            mergeAnnos(annotations));
}
 

import org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom; //导入依赖的package包/类
@Nonnull
@Override
public Set<OWLDisjointObjectPropertiesAxiom> asPairwiseAxioms() {
    Set<OWLDisjointObjectPropertiesAxiom> result = new HashSet<>();
    List<OWLObjectPropertyExpression> list = new ArrayList<>(
            getProperties());
    for (int i = 0; i < list.size() - 1; i++) {
        for (int j = i + 1; j < list.size(); j++) {
            result.add(new OWLDisjointObjectPropertiesAxiomImpl(
                    new HashSet<>(Arrays.asList(list.get(i), list.get(j))),
                    NO_ANNOTATIONS));
        }
    }
    return result;
}
 

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

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

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