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

项目：ontology-core 文件：OWLImporter.java

private void checkInconsistentProperty(OWLDataProperty dp, OWLDatatype type) {
    for (OWLDataPropertyRangeAxiom a : dprAxioms) {
        OWLDataPropertyExpression pe = a.getProperty();
        OWLDataRange r = a.getRange();
        // TODO: check DataOneOf
        // TODO: check OWLDataIntersectionOf
        OWLDatatype otype = r.asOWLDatatype();

        if (!pe.isAnonymous()) {
            if (!otype.equals(type)) {
                problems.add("The literal value restriction " + dp + " is inconsistent with the data property " +
                        "range axiom " + a);
            }
        } else {
            problems.add("Found anonymous data property expression in data property range axiom: " + pe);
        }
    }
}

项目：jopa 文件：IntegrityConstraintParser.java

public void visit(OWLDataPropertyRangeAxiom axiom) {
    try {
        OWLDataProperty op = Utils.ensureDataProperty(axiom.getProperty());
        OWLDatatype clz = Utils.ensureDatatype(axiom.getRange());

        dpRanges.put(op, clz);
    } catch (UnsupportedICException e) {
        notSupported(axiom);
    }
}

项目：elk-reasoner 文件：AbstractOwlAxiomConverterVisitor.java

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

项目：OWL2SPARQL 文件：OWLAxiomToSPARQLConverter.java

@Override
public void visit(OWLDataPropertyRangeAxiom axiom) {
    OWLDataRange range = axiom.getRange();
    if (range.getDataRangeType() == DataRangeType.DATATYPE) {
        OWLDataProperty property = axiom.getProperty().asOWLDataProperty();
        sparql += subjectVar + " <" + property.toStringID() + "> ?o." + "FILTER (DATATYPE(?o) = <"
                + range.asOWLDatatype().toStringID() + ">)";
        String tmp = subjectVar;
        subjectVar = objectVar;
        objectVar = tmp;
    } else {
        throw new IllegalArgumentException("Datarange " + range + " not supported yet.");
    }
}

项目：owlapi-gwt 文件：HashCode.java

@Override
public void visit(OWLDataPropertyRangeAxiom axiom) {
    hashCode = primes[4];
    hashCode = hashCode * MULT + axiom.getProperty().hashCode();
    hashCode = hashCode * MULT + axiom.getRange().hashCode();
    hashCode = hashCode * MULT + axiom.getAnnotations().hashCode();
}

项目：owlapi-gwt 文件：OWLDataPropertyRangeAxiomImpl.java

@Nonnull
@Override
public OWLDataPropertyRangeAxiom getAxiomWithoutAnnotations() {
    if (!isAnnotated()) {
        return this;
    }
    return new OWLDataPropertyRangeAxiomImpl(getProperty(), getRange(),
            NO_ANNOTATIONS);
}

项目：owlapi-gwt 文件：OWLDataPropertyRangeAxiomImpl.java

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

项目：HermiT-android 文件：OWLNormalization.java

public void visit(OWLDataPropertyRangeAxiom axiom) {
    OWLDataPropertyExpression dataProperty=axiom.getProperty();
    checkTopDataPropertyUse(dataProperty,axiom);
    OWLDataAllValuesFrom allPropertyRange=m_factory.getOWLDataAllValuesFrom(dataProperty,positive(axiom.getRange()));
    m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { allPropertyRange });
}

项目：HermiT-android 文件：EntailmentChecker.java

public Boolean visit(OWLDataPropertyRangeAxiom axiom) {
    return reasoner.isSubClassOf(factory.getOWLThing(),factory.getOWLDataAllValuesFrom(axiom.getProperty(),axiom.getRange()));
}

项目：HermiT-android 文件：EntailmentChecker.java

public void visit(OWLDataPropertyRangeAxiom axiom) {
}

项目：elk-reasoner 文件：AbstractElkObjectConverter.java

@Override
public OWLDataPropertyRangeAxiom visit(ElkDataPropertyRangeAxiom axiom) {
    return owlFactory_.getOWLDataPropertyRangeAxiom(
            convert(axiom.getProperty()), convert(axiom.getRange()));
}

项目：elk-reasoner 文件：OwlDataPropertyAxiomConverterVisitor.java

@Override
public ElkDataPropertyAxiom visit(
        OWLDataPropertyRangeAxiom owlDataPropertyRangeAxiom) {
    return CONVERTER.convert(owlDataPropertyRangeAxiom);
}

项目：elk-reasoner 文件：OwlConverter.java

@SuppressWarnings("static-method")
public ElkDataPropertyRangeAxiom convert(
        OWLDataPropertyRangeAxiom owlDataPropertyRangeAxiom) {
    return new ElkDataPropertyRangeAxiomWrap<OWLDataPropertyRangeAxiom>(
            owlDataPropertyRangeAxiom);
}

项目：elk-reasoner 文件：OwlAxiomConverterVisitor.java

@Override
public ElkAxiom visit(OWLDataPropertyRangeAxiom owlDataPropertyRangeAxiom) {
    return CONVERTER.convert(owlDataPropertyRangeAxiom);
}

项目：elk-reasoner 文件：FailingOwlAxiomVisitor.java

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

项目：Hermit_1.3.8_android 文件：OWLNormalization.java

public void visit(OWLDataPropertyRangeAxiom axiom) {
    OWLDataPropertyExpression dataProperty=axiom.getProperty();
    checkTopDataPropertyUse(dataProperty,axiom);
    OWLDataAllValuesFrom allPropertyRange=m_factory.getOWLDataAllValuesFrom(dataProperty,positive(axiom.getRange()));
    m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { allPropertyRange });
}

项目：Hermit_1.3.8_android 文件：EntailmentChecker.java

public Boolean visit(OWLDataPropertyRangeAxiom axiom) {
    return reasoner.isSubClassOf(factory.getOWLThing(),factory.getOWLDataAllValuesFrom(axiom.getProperty(),axiom.getRange()));
}

项目：Hermit_1.3.8_android 文件：EntailmentChecker.java

public void visit(OWLDataPropertyRangeAxiom axiom) {
}

项目：owltools 文件：AxiomAnnotationTools.java

@Override
public OWLAxiom visit(OWLDataPropertyRangeAxiom axiom) {
    return factory.getOWLDataPropertyRangeAxiom(axiom.getProperty(), axiom.getRange(), annotations);
}

项目：owltools 文件：CardinalityContraintsTools.java

@Override
public void visit(OWLDataPropertyRangeAxiom axiom) {
}

项目：Wolpertinger 文件：OWLNormalization.java

public void visit(OWLDataPropertyRangeAxiom axiom) {
    OWLDataPropertyExpression dataProperty=axiom.getProperty();
    checkTopDataPropertyUse(dataProperty,axiom);
    OWLDataAllValuesFrom allPropertyRange=m_factory.getOWLDataAllValuesFrom(dataProperty,positive(axiom.getRange()));
    m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { allPropertyRange });
}

项目：born 文件：CycleDetector.java

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

项目：born 文件：ElAxiomFilter.java

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

项目：born 文件：AnnotationProcessor.java

@Override
public Boolean visit(OWLDataPropertyRangeAxiom axiom) {
    Objects.requireNonNull(axiom);
    return add(this.df.getOWLDataPropertyRangeAxiom(axiom.getProperty(), axiom.getRange(),
            reg(axiom.getAnnotations())));
}

项目：born 文件：AnnotationCreator.java

@Override
public Boolean visit(OWLDataPropertyRangeAxiom axiom) {
    Objects.requireNonNull(axiom);
    return add(this.df.getOWLDataPropertyRangeAxiom(axiom.getProperty(), axiom.getRange(), empty()));
}

项目：jcel 文件：AxiomTranslator.java

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

项目：semantika 文件：TMappingProcessor.java

@Override
public void visit(OWLDataPropertyRangeAxiom axiom)
{
   ignoreOwlAxiom("DataPropertyRange", axiom);
}

项目：owlapi-gwt 文件：OWLObjectVisitorExAdapter.java

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

项目：owlapi-gwt 文件：OWLObjectTypeIndexProvider.java

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

项目：owlapi-gwt 文件：NNF.java

@Override
public OWLAxiom visit(OWLDataPropertyRangeAxiom axiom) {
    return dataFactory.getOWLDataPropertyRangeAxiom(axiom.getProperty(),
            axiom.getRange().accept(this));
}

项目：owlapi-gwt 文件：OWLAxiomVisitorAdapter.java

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

项目：owlapi-gwt 文件：AbstractEntityRegistrationManager.java

@Override
public void visit(@Nonnull OWLDataPropertyRangeAxiom axiom) {
    axiom.getProperty().accept(this);
    axiom.getRange().accept(this);
    processAxiomAnnotations(axiom);
}

项目：SVoNt 文件：CEXOWL2ELProfile.java

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

项目：binaryowl 文件：OWLDataPropertyRangeAxiomSerializer.java

@Override
protected void writeAxiom(OWLDataPropertyRangeAxiom axiom, BinaryOWLOutputStream outputStream) throws IOException {
    outputStream.writeOWLObject(axiom.getProperty());
    outputStream.writeOWLObject(axiom.getRange());
}

项目：binaryowl 文件：OWLDataPropertyRangeAxiomSerializer.java

@Override
protected OWLDataPropertyRangeAxiom readAxiom(BinaryOWLInputStream inputStream, Set<OWLAnnotation> annotations) throws IOException, BinaryOWLParseException {
    OWLDataPropertyExpression propertyExpression = inputStream.readOWLObject();
    OWLDataRange dataRange = inputStream.readOWLObject();
    return inputStream.getDataFactory().getOWLDataPropertyRangeAxiom(propertyExpression, dataRange, annotations);
}

项目：Widoco 文件：OntologyDifferencesRenderer.java

private static String axiomSetToHTML(Set<Object> set, boolean isAddition, Properties lang){
    String v = "";
    String message;
    if(isAddition){
        message=lang.getProperty(Constants.LANG_ADDED)+": ";
    }else{
        message=lang.getProperty(Constants.LANG_DELETED)+": ";
    }
    for(Object f:set){
        try{
            v+="<li>";
            if(f instanceof OWLSubClassOfAxiom){
                v+=message+lang.getProperty(Constants.LANG_SUBCLASS_OF) +" "+ ((OWLSubClassOfAxiom)f).getSuperClass().asOWLClass().getIRI();
            }else if(f instanceof OWLSubPropertyAxiom){
                OWLPropertyExpression prop = ((OWLSubPropertyAxiom)f).getSuperProperty();
                if(prop instanceof OWLObjectPropertyImpl){
                    v+=message+lang.getProperty(Constants.LANG_SUBPROP_OF) +" "+ ((OWLObjectPropertyImpl)prop).getIRI();
                }else if(prop instanceof OWLDataPropertyImpl){
                    v+=message+lang.getProperty(Constants.LANG_SUBPROP_OF) +" "+ ((OWLDataPropertyImpl)prop).getIRI();
                }
            }else if(f instanceof OWLObjectPropertyDomainAxiom){
                v+=message+Constants.LANG_DOMAIN+" "+expressionToHTML(((OWLObjectPropertyDomainAxiom)f).getDomain(), lang);
            }else if(f instanceof OWLDataPropertyDomainAxiom){
                v+=message+lang.getProperty(Constants.LANG_DOMAIN)+" "+expressionToHTML(((OWLDataPropertyDomainAxiom)f).getDomain(), lang);
            }else if(f instanceof OWLObjectPropertyRangeAxiom){
                v+=message+lang.getProperty(Constants.LANG_RANGE)+" "+expressionToHTML(((OWLObjectPropertyRangeAxiom)f).getRange(), lang);
            }else if(f instanceof OWLDataPropertyRangeAxiom){
                v+=message+lang.getProperty(Constants.LANG_RANGE)+" "+((OWLDataPropertyRangeAxiom)f).getRange().asOWLDatatype().getIRI();
            }else if(f instanceof OWLAnnotationAssertionAxiom){
                v+= message+((OWLAnnotationAssertionAxiom)f).getProperty().toString() +" "+ ((OWLAnnotationAssertionAxiom)f).getValue().toString();
            }else{
                //other less typical axioms
                v+=message+((OWLAxiom)f).getAxiomType().getName()+" "+f.toString().replace("<", "&lt;").replace(">", "&gt;");
            }
            /**
             * To add if we want to refine
             * OWLDisjointClassesAxiom, OWLDisjointDataPropertiesAxiom, OWLDisjointObjectPropertiesAxiom,
             * OWLEquivalentClassesAxiom, OWLEquivalentDataPropertiesAxiom, OWLEquivalentObjectPropertiesAxiom, 
             * OWLFunctionalDataPropertyAxiom, OWLFunctionalObjectPropertyAxiom,
             */
            v+="</li>\n";
        }catch (Exception e){
            System.out.println("Error while transforming "+f.toString() +" "+e.getMessage());
        }

    }

    return v;
}

项目：logmap-matcher 文件：OWLMappingAxiomVisitor.java

public void visit(OWLDataPropertyRangeAxiom arg0) {

}

项目：logmap-matcher 文件：ELAxiomVisitor.java

public void visit(OWLDataPropertyRangeAxiom arg0) {

}

项目：Wolpertinger 文件：NiceAxiomPrinter.java

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

}

项目：Wolpertinger 文件：DebugTranslation.java

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

}