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

public void visit(OWLSubDataPropertyOfAxiom ax){
    type = Utilities.DATAPROPERTIES;

    for (OWLAnnotation ann : ax.getAnnotations()){  
        treatAnnotation(ann);
    }
}

public void visit(OWLSubDataPropertyOfAxiom axiom) {
    OWLDataPropertyExpression subDataProperty=axiom.getSubProperty();
    checkTopDataPropertyUse(subDataProperty,axiom);
    OWLDataPropertyExpression superDataProperty=axiom.getSuperProperty();
    if (!subDataProperty.isOWLBottomDataProperty() && !superDataProperty.isOWLTopDataProperty())
        addInclusion(subDataProperty,superDataProperty);
}

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

public void visit(OWLSubDataPropertyOfAxiom axiom) {
    OWLDataPropertyExpression subDataProperty=axiom.getSubProperty();
    checkTopDataPropertyUse(subDataProperty,axiom);
    OWLDataPropertyExpression superDataProperty=axiom.getSuperProperty();
    if (!subDataProperty.isOWLBottomDataProperty() && !superDataProperty.isOWLTopDataProperty())
        addInclusion(subDataProperty,superDataProperty);
}

public void visit(OWLSubDataPropertyOfAxiom axiom) {
    OWLDataPropertyExpression subDataProperty=axiom.getSubProperty();
    checkTopDataPropertyUse(subDataProperty,axiom);
    OWLDataPropertyExpression superDataProperty=axiom.getSuperProperty();
    if (!subDataProperty.isOWLBottomDataProperty() && !superDataProperty.isOWLTopDataProperty())
        addInclusion(subDataProperty,superDataProperty);
}

/**
 * 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);
      }
   }
}

@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 + " .";
}

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

@Override
public OWLSubDataPropertyOfAxiom getAxiomWithoutAnnotations() {
    if (!isAnnotated()) {
        return this;
    }
    return new OWLSubDataPropertyOfAxiomImpl(getSubProperty(),
            getSuperProperty(), NO_ANNOTATIONS);
}

@Override
public boolean equals(Object obj) {
    if (this == obj) {
        return true;
    }
    if (!super.equals(obj)) {
        return false;
    }
    return obj instanceof OWLSubDataPropertyOfAxiom;
}

private void addAxiom(List<Rule> list, OWLSubDataPropertyOfAxiom a) {
    String op1 = getString(a.getSubProperty());
    String op2 = getString(a.getSuperProperty());
    list.add(new SubPropertyOf(op1, op2));
}

private void addDataAxioms(List<Rule> list,
        Set<OWLSubDataPropertyOfAxiom> axs) {
    for (OWLSubDataPropertyOfAxiom a : axs) {
        addAxiom(list, a);
    }
}

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

public Boolean visit(OWLSubDataPropertyOfAxiom axiom) {
    return reasoner.isSubDataPropertyOf(axiom.getSubProperty().asOWLDataProperty(),axiom.getSuperProperty().asOWLDataProperty());
}

public void visit(OWLSubDataPropertyOfAxiom axiom) {
}

@Override
public OWLSubDataPropertyOfAxiom visit(ElkSubDataPropertyOfAxiom axiom) {
    return owlFactory_.getOWLSubDataPropertyOfAxiom(
            convert(axiom.getSubDataPropertyExpression()),
            convert(axiom.getSuperDataPropertyExpression()));
}

@Override
public ElkDataPropertyAxiom visit(
        OWLSubDataPropertyOfAxiom owlSubDataPropertyOfAxiom) {
    return CONVERTER.convert(owlSubDataPropertyOfAxiom);
}

@SuppressWarnings("static-method")
public ElkSubDataPropertyOfAxiom convert(
        OWLSubDataPropertyOfAxiom owlSubDataPropertyOfAxiom) {
    return new ElkSubDataPropertyOfAxiomWrap<OWLSubDataPropertyOfAxiom>(
            owlSubDataPropertyOfAxiom);
}

@Override
public ElkAxiom visit(OWLSubDataPropertyOfAxiom owlSubDataPropertyOfAxiom) {
    return CONVERTER.convert(owlSubDataPropertyOfAxiom);
}

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

public Boolean visit(OWLSubDataPropertyOfAxiom axiom) {
    return reasoner.isSubDataPropertyOf(axiom.getSubProperty().asOWLDataProperty(),axiom.getSuperProperty().asOWLDataProperty());
}

public void visit(OWLSubDataPropertyOfAxiom axiom) {
}

@Override
public OWLAxiom visit(OWLSubDataPropertyOfAxiom axiom) {
    return factory.getOWLSubDataPropertyOfAxiom(axiom.getSubProperty(), axiom.getSuperProperty(), annotations);
}

@Override
public void visit(OWLSubDataPropertyOfAxiom axiom) {
}

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

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

@Override
public Boolean visit(OWLSubDataPropertyOfAxiom axiom) {
    Objects.requireNonNull(axiom);
    return add(this.df.getOWLSubDataPropertyOfAxiom(axiom.getSubProperty(), axiom.getSuperProperty(),
            reg(axiom.getAnnotations())));
}

@Override
public Boolean visit(OWLSubDataPropertyOfAxiom axiom) {
    Objects.requireNonNull(axiom);
    return add(this.df.getOWLSubDataPropertyOfAxiom(axiom.getSubProperty(), axiom.getSuperProperty(), empty()));
}

@Override
public Set<ComplexIntegerAxiom> visit(OWLSubDataPropertyOfAxiom axiom) {
    Objects.requireNonNull(axiom);
    throw TranslationException.newUnsupportedAxiomException(axiom);
}

private void addAxiom(List<Rule> list, OWLSubDataPropertyOfAxiom a) {
    String op1 = getString(a.getSubProperty());
    String op2 = getString(a.getSuperProperty());
    list.add(new SubPropertyOf(op1, op2));
}

private void addDataAxioms(List<Rule> list,
        Set<OWLSubDataPropertyOfAxiom> axs) {
    for (OWLSubDataPropertyOfAxiom a : axs) {
        addAxiom(list, a);
    }
}

@Override
public void visit(OWLSubDataPropertyOfAxiom axiom)
{
   addSubPropertyAxiom(axiom);
}

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

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

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

@Override
public void visit(OWLSubDataPropertyOfAxiom axiom) {
    handleDefault(axiom);
}

@Override
public OWLSubDataPropertyOfAxiom getAnnotatedAxiom(
        Set<OWLAnnotation> annotations) {
    return new OWLSubDataPropertyOfAxiomImpl(getSubProperty(),
            getSuperProperty(), mergeAnnos(annotations));
}

@Override
public void visit(@Nonnull OWLSubDataPropertyOfAxiom axiom) {
    axiom.getSubProperty().accept(this);
    axiom.getSuperProperty().accept(this);
    processAxiomAnnotations(axiom);
}

public Object visit(OWLSubDataPropertyOfAxiom desc) {
  profileViolations.add(new UseOfIllegalAxiom(getCurrentOntology(), getCurrentAxiom()));
  return null;
}

public void visit(OWLSubDataPropertyOfAxiom arg0) {
    unusedAxiom(arg0);
}