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

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;
}

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;
}

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

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

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

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

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

public void visit(OWLDatatypeDefinitionAxiom axiom) {
}

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

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

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

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

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

public void visit(OWLDatatypeDefinitionAxiom axiom) {
}

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

@Override
public void visit(OWLDatatypeDefinitionAxiom axiom) {
}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

public void visit(OWLDatatypeDefinitionAxiom arg0) {

}

public void visit(OWLDatatypeDefinitionAxiom arg0) {

}

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

}

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

}

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

}