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

public Boolean visit(OWLEquivalentDataPropertiesAxiom axiom) {
    Set<OWLDataPropertyExpression> props=axiom.getProperties();
    Iterator<OWLDataPropertyExpression> it=props.iterator();
    if (it.hasNext()) {
        OWLDataProperty prop1=it.next().asOWLDataProperty();
        while (it.hasNext()) {
            OWLDataProperty dataProperty1=prop1.asOWLDataProperty();
            OWLDataProperty dataProperty2=it.next().asOWLDataProperty();
            if (!reasoner.isSubDataPropertyOf(dataProperty1,dataProperty2) || !reasoner.isSubDataPropertyOf(dataProperty2,dataProperty1))
                return Boolean.FALSE;
        }
    }
    return Boolean.TRUE;
}

@Override
public OWLEquivalentDataPropertiesAxiom visit(
        ElkEquivalentDataPropertiesAxiom axiom) {
    return owlFactory_.getOWLEquivalentDataPropertiesAxiom(
            toDataPropertyExpressionSet(
                    axiom.getDataPropertyExpressions()));
}

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

public Boolean visit(OWLEquivalentDataPropertiesAxiom axiom) {
    Set<OWLDataPropertyExpression> props=axiom.getProperties();
    Iterator<OWLDataPropertyExpression> it=props.iterator();
    if (it.hasNext()) {
        OWLDataProperty prop1=it.next().asOWLDataProperty();
        while (it.hasNext()) {
            OWLDataProperty dataProperty1=prop1.asOWLDataProperty();
            OWLDataProperty dataProperty2=it.next().asOWLDataProperty();
            if (!reasoner.isSubDataPropertyOf(dataProperty1,dataProperty2) || !reasoner.isSubDataPropertyOf(dataProperty2,dataProperty1))
                return Boolean.FALSE;
        }
    }
    return Boolean.TRUE;
}

/**
 * A utility method to process OWL <code>EquivalentObjectProperties(OPE1 OPE2)</code> axiom and produce
 * inferred mapping assertions.
 */
@Override
public void visit(OWLEquivalentDataPropertiesAxiom axiom)
{
   List<OWLDataPropertyExpression> properties = new ArrayList<OWLDataPropertyExpression>(axiom.getProperties());
   OWLDataPropertyExpression dpe1 = properties.get(0);
   OWLDataPropertyExpression dpe2 = properties.get(1);

   /*
    * Get all (copy) known mappings for the first equivalent data property expression
    * and produce the extra mappings.
    */
   dpe1.accept(this);
   Set<IMapping> mappings1 = getMappingsForPropertyExpression();
   if (!mappings1.isEmpty()) {
      dpe2.accept(this);
      produceEquivalentPropertyMappings(mappings1);
   }

   /*
    * Get all (copy) known mappings for the second equivalent data property expression
    * and produce the extra mappings.
    */
   dpe2.accept(this);
   Set<IMapping> mappings2 = getMappingsForPropertyExpression();
   if (!mappings2.isEmpty()) {
      dpe1.accept(this);
      produceEquivalentPropertyMappings(mappings2);
   }
}

@Override
public void visit(@Nonnull OWLEquivalentDataPropertiesAxiom axiom) {
    for (OWLDataPropertyExpression prop : axiom.getProperties()) {
        prop.accept(this);
    }
    processAxiomAnnotations(axiom);
}

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

public void visit(OWLEquivalentDataPropertiesAxiom axiom) {
}

@Override
public ElkDataPropertyAxiom visit(
        OWLEquivalentDataPropertiesAxiom owlEquivalentDataProperties) {
    return CONVERTER.convert(owlEquivalentDataProperties);
}

@SuppressWarnings("static-method")
public ElkEquivalentDataPropertiesAxiom convert(
        OWLEquivalentDataPropertiesAxiom owlEquivalentDataPropertiesAxiom) {
    return new ElkEquivalentDataPropertiesAxiomWrap<OWLEquivalentDataPropertiesAxiom>(
            owlEquivalentDataPropertiesAxiom);
}

@Override
public ElkAxiom visit(
        OWLEquivalentDataPropertiesAxiom owlEquivalentDataProperties) {
    return CONVERTER.convert(owlEquivalentDataProperties);
}

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

public void visit(OWLEquivalentDataPropertiesAxiom axiom) {
}

@Override
public OWLAxiom visit(OWLEquivalentDataPropertiesAxiom axiom) {
    return factory.getOWLEquivalentDataPropertiesAxiom(axiom.getProperties(), annotations);
}

@Override
public void visit(OWLEquivalentDataPropertiesAxiom axiom) {
}

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

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

@Override
public Boolean visit(OWLEquivalentDataPropertiesAxiom axiom) {
    Objects.requireNonNull(axiom);
    return add(this.df.getOWLEquivalentDataPropertiesAxiom(axiom.getProperties(), reg(axiom.getAnnotations())));
}

@Override
public Boolean visit(OWLEquivalentDataPropertiesAxiom axiom) {
    Objects.requireNonNull(axiom);
    return add(this.df.getOWLEquivalentDataPropertiesAxiom(axiom.getProperties(), empty()));
}

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

@Override
public void visit(OWLEquivalentDataPropertiesAxiom axiom) {
    for (OWLDataPropertyExpression propertyExpression : axiom.getProperties()) {
        sparql += subjectVar + "<" + propertyExpression.asOWLDataProperty().toStringID() + "> " + objectVar + " .";
    }
}

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

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

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

@Override
public void visit(OWLEquivalentDataPropertiesAxiom axiom) {
    hashCode = primes[14];
    hashCode = hashCode * MULT + axiom.getProperties().hashCode();
    hashCode = hashCode * MULT + axiom.getAnnotations().hashCode();
}

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

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

@Override
protected void writeAxiom(OWLEquivalentDataPropertiesAxiom axiom, BinaryOWLOutputStream outputStream) throws IOException {
    outputStream.writeOWLObjects(axiom.getProperties());
}

@Override
protected OWLEquivalentDataPropertiesAxiom readAxiom(BinaryOWLInputStream inputStream, Set<OWLAnnotation> annotations) throws IOException, BinaryOWLParseException {
    Set<OWLDataPropertyExpression> propertyExpressions = inputStream.readOWLObjects();
    return inputStream.getDataFactory().getOWLEquivalentDataPropertiesAxiom(propertyExpressions, annotations);
}

public void visit(OWLEquivalentDataPropertiesAxiom ax){

    relation = Utilities.EQ;
    type = Utilities.DATAPROPERTIES;

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

}

public void visit(OWLEquivalentDataPropertiesAxiom arg0) {

}

public void visit(OWLEquivalentDataPropertiesAxiom arg0) {
    // TODO Auto-generated method stub

}

public void visit(OWLEquivalentDataPropertiesAxiom arg0) {
    // TODO Auto-generated method stub

}

public void visit(OWLEquivalentDataPropertiesAxiom arg0) {
    // TODO Auto-generated method stub

}

public void visit(OWLEquivalentDataPropertiesAxiom arg0) {
    // TODO Auto-generated method stub

}

public abstract void visit(OWLEquivalentDataPropertiesAxiom arg0);