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

public void visit(OWLFunctionalDataPropertyAxiom axiom) {
    // ic.addAll(processParticipationConstraint(f.getOWLThing(), f
    // .getOWLDataMaxCardinality(1, axiom.getProperty())));

    // processParticipationConstraint(f.getOWLThing(), f
    // .getOWLDataMaxCardinality(1, axiom.getProperty()));
    notSupported(axiom);
}

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

@Nonnull
@Override
public OWLFunctionalDataPropertyAxiom getAxiomWithoutAnnotations() {
    if (!isAnnotated()) {
        return this;
    }
    return new OWLFunctionalDataPropertyAxiomImpl(getProperty(),
            NO_ANNOTATIONS);
}

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

public void visit(OWLFunctionalDataPropertyAxiom axiom) {
    OWLDataPropertyExpression dataProperty=axiom.getProperty();
    checkTopDataPropertyUse(dataProperty,axiom);
    m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { m_factory.getOWLDataMaxCardinality(1,dataProperty) });
}

public Boolean visit(OWLFunctionalDataPropertyAxiom axiom) {
    return reasoner.isFunctional(axiom.getProperty().asOWLDataProperty());
}

public void visit(OWLFunctionalDataPropertyAxiom axiom) {
}

@Override
public OWLFunctionalDataPropertyAxiom visit(
        ElkFunctionalDataPropertyAxiom axiom) {
    return owlFactory_.getOWLFunctionalDataPropertyAxiom(
            convert(axiom.getProperty()));
}

@Override
public ElkDataPropertyAxiom visit(
        OWLFunctionalDataPropertyAxiom owlFunctionalDataPropertyAxiom) {
    return CONVERTER.convert(owlFunctionalDataPropertyAxiom);
}

@SuppressWarnings("static-method")
public ElkFunctionalDataPropertyAxiom convert(
        OWLFunctionalDataPropertyAxiom owlFunctionalDataPropertyAxiom) {
    return new ElkFunctionalDataPropertyAxiomWrap<OWLFunctionalDataPropertyAxiom>(
            owlFunctionalDataPropertyAxiom);
}

@Override
public ElkAxiom visit(
        OWLFunctionalDataPropertyAxiom owlFunctionalDataPropertyAxiom) {
    return CONVERTER.convert(owlFunctionalDataPropertyAxiom);
}

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

public void visit(OWLFunctionalDataPropertyAxiom axiom) {
    OWLDataPropertyExpression dataProperty=axiom.getProperty();
    checkTopDataPropertyUse(dataProperty,axiom);
    m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { m_factory.getOWLDataMaxCardinality(1,dataProperty) });
}

public Boolean visit(OWLFunctionalDataPropertyAxiom axiom) {
    return reasoner.isFunctional(axiom.getProperty().asOWLDataProperty());
}

public void visit(OWLFunctionalDataPropertyAxiom axiom) {
}

@Override
public OWLAxiom visit(OWLFunctionalDataPropertyAxiom axiom) {
    return factory.getOWLFunctionalDataPropertyAxiom(axiom.getProperty(), annotations);
}

@Override
public void visit(OWLFunctionalDataPropertyAxiom axiom) {
}

public void visit(OWLFunctionalDataPropertyAxiom axiom) {
    OWLDataPropertyExpression dataProperty=axiom.getProperty();
    checkTopDataPropertyUse(dataProperty,axiom);
    m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { m_factory.getOWLDataMaxCardinality(1,dataProperty) });
}

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

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

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

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

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

@Override
public void visit(OWLFunctionalDataPropertyAxiom axiom)
{
   ignoreOwlAxiom("FunctionalDataProperty", axiom);
}

@Override
public void visit(OWLFunctionalDataPropertyAxiom axiom) {
    axiom.asOWLSubClassOfAxiom().accept(this);
}

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

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

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

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

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

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

@Override
public OWLFunctionalDataPropertyAxiom getAnnotatedAxiom(
        Set<OWLAnnotation> annotations) {
    return new OWLFunctionalDataPropertyAxiomImpl(getProperty(),
            mergeAnnos(annotations));
}

@Override
protected int compareObjectOfSameType(OWLObject object) {
    return getProperty().compareTo(
            ((OWLFunctionalDataPropertyAxiom) object).getProperty());
}

private Axiom transformOWLFunctionalDataPropertyAxiom(OWLFunctionalDataPropertyAxiom a) {
    OWLDataPropertyExpression prop = a.getProperty();
    NamedFeature feature = new NamedFeature(prop.asOWLDataProperty().toStringID());
    return new FunctionalFeature(feature);
}

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

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

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

public void visit(OWLFunctionalDataPropertyAxiom arg0) {

}

public void visit(OWLFunctionalDataPropertyAxiom arg0) {

}

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

}