Java OWLSubDataPropertyOfAxiom类代码示例

import org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom; //导入依赖的package包/类
public void visit(OWLSubDataPropertyOfAxiom ax){
	type = Utilities.DATAPROPERTIES;
	
	for (OWLAnnotation ann : ax.getAnnotations()){	
		treatAnnotation(ann);
	}
}
 

import org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom; //导入依赖的package包/类
public void visit(OWLSubDataPropertyOfAxiom axiom) {
    OWLDataPropertyExpression subDataProperty=axiom.getSubProperty();
    checkTopDataPropertyUse(subDataProperty,axiom);
    OWLDataPropertyExpression superDataProperty=axiom.getSuperProperty();
    if (!subDataProperty.isOWLBottomDataProperty() && !superDataProperty.isOWLTopDataProperty())
        addInclusion(subDataProperty,superDataProperty);
}
 

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

import org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom; //导入依赖的package包/类
/**
 * A utility method to process OWL <code>SubDataPropertyOf(DPE1 DPE2)</code> axiom and produce
 * inferred mapping assertions.
 */
@Override
public void visit(OWLSubDataPropertyOfAxiom axiom)
{
   /*
    * Trace all the ancestors of the data property expression in the given OWL SubDataPropertyOf axiom.
    */
   Set<OWLSubPropertyAxiom<?>> ancestors = mOntology.traceAncestors(axiom.getSubProperty(), true);
   for (OWLSubPropertyAxiom<?> ax : ancestors) {
      /*
       * Get all (copy) known mappings for the visited sub data property expression.
       */
      OWLDataPropertyExpression subProperty = (OWLDataPropertyExpression) ax.getSubProperty();
      subProperty.accept(this); // this call will produce (sub property) mSignature
      Set<IMapping> subPropertyMappings = getMappingsForPropertyExpression();
      if (subPropertyMappings.isEmpty()) {
         continue;
      }
      /*
       * Produce the "extra" mappings for the visited super data property expression as many as
       * the known mappings in the sub data property expression.
       */
      OWLDataPropertyExpression superProperty = (OWLDataPropertyExpression) ax.getSuperProperty();
      superProperty.accept(this); // this call will produce (super property) mSignature and mIsInverse
      URI superPropertySignature = mSignature;
      for (IMapping subPropertyMapping : subPropertyMappings) {
         IPropertyMapping pm = createPropertyMapping(superPropertySignature, subPropertyMapping, mIsInverse);
         addInferredMapping(pm);
      }
   }
}
 

import org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom; //导入依赖的package包/类
@Override
public void visit(OWLSubDataPropertyOfAxiom axiom) {
	OWLDataPropertyExpression subPropertyExpression = axiom.getSubProperty();
	sparql += subjectVar + "<" + subPropertyExpression.asOWLDataProperty().toStringID() + "> " + objectVar + " .";
	
	OWLDataPropertyExpression superPropertyExpression = axiom.getSuperProperty();
	sparql += subjectVar + "<" + superPropertyExpression.asOWLDataProperty().toStringID() + "> " + objectVar + " .";
}
 

import org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom; //导入依赖的package包/类
@Override
public void visit(OWLSubDataPropertyOfAxiom axiom) {
    hashCode = primes[5];
    hashCode = hashCode * MULT + axiom.getSubProperty().hashCode();
    hashCode = hashCode * MULT + axiom.getSuperProperty().hashCode();
    hashCode = hashCode * MULT + axiom.getAnnotations().hashCode();
}
 

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

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

import org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom; //导入依赖的package包/类
private void addAxiom(List<Rule> list, OWLSubDataPropertyOfAxiom a) {
	String op1 = getString(a.getSubProperty());
	String op2 = getString(a.getSuperProperty());
	list.add(new SubPropertyOf(op1, op2));
}
 

import org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom; //导入依赖的package包/类
private void addDataAxioms(List<Rule> list,
		Set<OWLSubDataPropertyOfAxiom> axs) {
	for (OWLSubDataPropertyOfAxiom a : axs) {
		addAxiom(list, a);
	}
}
 

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

import org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom; //导入依赖的package包/类
public Boolean visit(OWLSubDataPropertyOfAxiom axiom) {
    return reasoner.isSubDataPropertyOf(axiom.getSubProperty().asOWLDataProperty(),axiom.getSuperProperty().asOWLDataProperty());
}
 

import org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom; //导入依赖的package包/类
@Override
public OWLSubDataPropertyOfAxiom visit(ElkSubDataPropertyOfAxiom axiom) {
	return owlFactory_.getOWLSubDataPropertyOfAxiom(
			convert(axiom.getSubDataPropertyExpression()),
			convert(axiom.getSuperDataPropertyExpression()));
}
 

import org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom; //导入依赖的package包/类
@Override
public ElkDataPropertyAxiom visit(
		OWLSubDataPropertyOfAxiom owlSubDataPropertyOfAxiom) {
	return CONVERTER.convert(owlSubDataPropertyOfAxiom);
}
 

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