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

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

public Boolean visit(OWLDatatypeDefinitionAxiom axiom) {
    reasoner.throwInconsistentOntologyExceptionIfNecessary();
    if (!reasoner.isConsistent())
        return true;
    if (reasoner.m_dlOntology.hasDatatypes()) {
        OWLDataFactory factory=reasoner.getDataFactory();
        OWLIndividual freshIndividual=factory.getOWLAnonymousIndividual("fresh-individual");
        OWLDataProperty freshDataProperty=factory.getOWLDataProperty(IRI.create("fresh-data-property"));
        OWLDataRange dataRange=axiom.getDataRange();
        OWLDatatype dt=axiom.getDatatype();
        OWLDataIntersectionOf dr1=factory.getOWLDataIntersectionOf(factory.getOWLDataComplementOf(dataRange),dt);
        OWLDataIntersectionOf dr2=factory.getOWLDataIntersectionOf(factory.getOWLDataComplementOf(dt),dataRange);
        OWLDataUnionOf union=factory.getOWLDataUnionOf(dr1,dr2);
        OWLClassExpression c=factory.getOWLDataSomeValuesFrom(freshDataProperty,union);
        OWLClassAssertionAxiom ax=factory.getOWLClassAssertionAxiom(c,freshIndividual);
        Tableau tableau=reasoner.getTableau(ax);
        return !tableau.isSatisfiable(true,true,null,null,null,null,null,ReasoningTaskDescription.isAxiomEntailed(axiom));
    }
    else
        return false;
}

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

public Boolean visit(OWLDatatypeDefinitionAxiom axiom) {
    reasoner.throwInconsistentOntologyExceptionIfNecessary();
    if (!reasoner.isConsistent())
        return true;
    if (reasoner.m_dlOntology.hasDatatypes()) {
        OWLDataFactory factory=reasoner.getDataFactory();
        OWLIndividual freshIndividual=factory.getOWLAnonymousIndividual("fresh-individual");
        OWLDataProperty freshDataProperty=factory.getOWLDataProperty(IRI.create("fresh-data-property"));
        OWLDataRange dataRange=axiom.getDataRange();
        OWLDatatype dt=axiom.getDatatype();
        OWLDataIntersectionOf dr1=factory.getOWLDataIntersectionOf(factory.getOWLDataComplementOf(dataRange),dt);
        OWLDataIntersectionOf dr2=factory.getOWLDataIntersectionOf(factory.getOWLDataComplementOf(dt),dataRange);
        OWLDataUnionOf union=factory.getOWLDataUnionOf(dr1,dr2);
        OWLClassExpression c=factory.getOWLDataSomeValuesFrom(freshDataProperty,union);
        OWLClassAssertionAxiom ax=factory.getOWLClassAssertionAxiom(c,freshIndividual);
        Tableau tableau=reasoner.getTableau(ax);
        return !tableau.isSatisfiable(true,true,null,null,null,null,null,ReasoningTaskDescription.isAxiomEntailed(axiom));
    }
    else
        return false;
}

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

@Override
public boolean equals(Object obj) {
    if (this == obj) {
        return true;
    }
    if (!super.equals(obj)) {
        return false;
    }
    // superclass is responsible for null, identity, owlaxiom type and
    // annotations
    if (!(obj instanceof OWLDatatypeDefinitionAxiom)) {
        return false;
    }
    OWLDatatypeDefinitionAxiom other = (OWLDatatypeDefinitionAxiom) obj;
    return datatype.equals(other.getDatatype())
            && dataRange.equals(other.getDataRange());
}

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

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

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

@Override
protected int compareObjectOfSameType(OWLObject object) {
    OWLDatatypeDefinitionAxiom other = (OWLDatatypeDefinitionAxiom) object;
    int diff = getDatatype().compareTo(other.getDatatype());
    if (diff != 0) {
        return diff;
    }
    return getDataRange().compareTo(other.getDataRange());
}

项目：jopa 文件：IntegrityConstraintParser.java

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

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

public void visit(OWLDatatypeDefinitionAxiom axiom) {
    m_axioms.m_definedDatatypesIRIs.add(axiom.getDatatype().getIRI().toString());
    m_dataRangeInclusionsAsDisjunctions.add(new OWLDataRange[] { negative(axiom.getDatatype()),positive(axiom.getDataRange()) });
    m_dataRangeInclusionsAsDisjunctions.add(new OWLDataRange[] { negative(axiom.getDataRange()),positive(axiom.getDatatype()) });
}

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

public void visit(OWLDatatypeDefinitionAxiom axiom) {
}

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

@Override
public OWLDatatypeDefinitionAxiom visit(ElkDatatypeDefinitionAxiom axiom) {
    return owlFactory_.getOWLDatatypeDefinitionAxiom(
            convert(axiom.getDatatype()), convert(axiom.getDataRange()));
}

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

@SuppressWarnings("static-method")
public ElkDatatypeDefinitionAxiom convert(
        OWLDatatypeDefinitionAxiom owlDatatypeDefinition) {
    return new ElkDatatypeDefinitionAxiomWrap<OWLDatatypeDefinitionAxiom>(
            owlDatatypeDefinition);
}

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

@Override
public ElkAxiom visit(OWLDatatypeDefinitionAxiom axiom) {
    return CONVERTER.convert(axiom);
}

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

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

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

public void visit(OWLDatatypeDefinitionAxiom axiom) {
    m_axioms.m_definedDatatypesIRIs.add(axiom.getDatatype().getIRI().toString());
    m_dataRangeInclusionsAsDisjunctions.add(new OWLDataRange[] { negative(axiom.getDatatype()),positive(axiom.getDataRange()) });
    m_dataRangeInclusionsAsDisjunctions.add(new OWLDataRange[] { negative(axiom.getDataRange()),positive(axiom.getDatatype()) });
}

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

public void visit(OWLDatatypeDefinitionAxiom axiom) {
}

项目：owltools 文件：AxiomAnnotationTools.java

@Override
public OWLAxiom visit(OWLDatatypeDefinitionAxiom axiom) {
    return factory.getOWLDatatypeDefinitionAxiom(axiom.getDatatype(), axiom.getDataRange(), annotations);
}

项目：owltools 文件：CardinalityContraintsTools.java

@Override
public void visit(OWLDatatypeDefinitionAxiom axiom) {
}

项目：Wolpertinger 文件：OWLNormalization.java

public void visit(OWLDatatypeDefinitionAxiom axiom) {
    m_axioms.m_definedDatatypesIRIs.add(axiom.getDatatype().getIRI().toString());
    m_dataRangeInclusionsAsDisjunctions.add(new OWLDataRange[] { negative(axiom.getDatatype()),positive(axiom.getDataRange()) });
    m_dataRangeInclusionsAsDisjunctions.add(new OWLDataRange[] { negative(axiom.getDataRange()),positive(axiom.getDatatype()) });
}

项目：born 文件：CycleDetector.java

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

项目：born 文件：ElAxiomFilter.java

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

项目：born 文件：AnnotationProcessor.java

@Override
public Boolean visit(OWLDatatypeDefinitionAxiom axiom) {
    Objects.requireNonNull(axiom);
    return add(this.df.getOWLDatatypeDefinitionAxiom(axiom.getDatatype(), axiom.getDataRange(),
            reg(axiom.getAnnotations())));
}

项目：born 文件：AnnotationCreator.java

@Override
public Boolean visit(OWLDatatypeDefinitionAxiom axiom) {
    Objects.requireNonNull(axiom);
    return add(this.df.getOWLDatatypeDefinitionAxiom(axiom.getDatatype(), axiom.getDataRange(), empty()));
}

项目：jcel 文件：AxiomTranslator.java

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

项目：semantika 文件：TMappingProcessor.java

@Override
public void visit(OWLDatatypeDefinitionAxiom axiom)
{
   ignoreOwlAxiom("DatatypeDefinition", axiom);
}

项目：OWL2SPARQL 文件：OWLAxiomToSPARQLConverter.java

@Override
public void visit(OWLDatatypeDefinitionAxiom axiom) {
    aBoxAxiomsNotSupportedWarning(axiom);
}

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

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

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

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

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

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

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

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

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

@Override
public void visit(OWLDatatypeDefinitionAxiom axiom) {
    hashCode = primes[82];
    hashCode = hashCode * MULT + axiom.getDatatype().hashCode();
    hashCode = hashCode * MULT + axiom.getDataRange().hashCode();
}

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

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

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

@Override
public void visit(@Nonnull OWLDatatypeDefinitionAxiom axiom) {
    axiom.getDatatype().accept(this);
    axiom.getDataRange().accept(this);
    processAxiomAnnotations(axiom);
}

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

@Override
public OWLDatatypeDefinitionAxiom getAnnotatedAxiom(
        Set<OWLAnnotation> annotations) {
    return new OWLDatatypeDefinitionAxiomImpl(getDatatype(),
            getDataRange(), mergeAnnos(annotations));
}

项目：SVoNt 文件：CEXOWL2ELProfile.java

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

项目：binaryowl 文件：OWLDatatypeDefinitionAxiomSerializer.java

@Override
protected void writeAxiom(OWLDatatypeDefinitionAxiom axiom, BinaryOWLOutputStream outputStream) throws IOException {
    outputStream.writeOWLObject(axiom.getDatatype());
    outputStream.writeOWLObject(axiom.getDataRange());
}

项目：binaryowl 文件：OWLDatatypeDefinitionAxiomSerializer.java

@Override
protected OWLDatatypeDefinitionAxiom readAxiom(BinaryOWLInputStream inputStream, Set<OWLAnnotation> annotations) throws IOException, BinaryOWLParseException {
    OWLDatatype datatype = inputStream.readOWLObject();
    OWLDataRange dataRange = inputStream.readOWLObject();
    return inputStream.getDataFactory().getOWLDatatypeDefinitionAxiom(datatype, dataRange, annotations);
}

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

public void visit(OWLDatatypeDefinitionAxiom arg0) {

}

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

public void visit(OWLDatatypeDefinitionAxiom arg0) {

}

项目：Wolpertinger 文件：NiceAxiomPrinter.java

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

}

项目：Wolpertinger 文件：DebugTranslation.java

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

}

项目：Wolpertinger 文件：DirectTranslation.java

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

}