1. 包列表
  2. 类列表
  3. org.semanticweb.owlapi.model.OWLDataMinCardinality

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

项目：owlapi-gwt    文件：NNF.java    
@Override
public OWLClassExpression visit(OWLDataMinCardinality ce) {
    boolean neg = negated;
    int card = ce.getCardinality();
    if (negated) {
        card = ce.getCardinality() - 1;
        if (card < 0) {
            card = 0;
        }
    }
    negated = false;
    OWLDataRange filler = ce.getFiller().accept(this);
    OWLClassExpression nnf = null;
    if (neg) {
        nnf = dataFactory.getOWLDataMaxCardinality(card, ce.getProperty(),
                filler);
    } else {
        nnf = dataFactory.getOWLDataMinCardinality(card, ce.getProperty(),
                filler);
    }
    negated = neg;
    return nnf;
}
项目：OntoBench    文件：OwlDataMinCardinalityFeature.java    
@Override
public void addToOntology() {
  OWLDataProperty property = factory.getOWLDataProperty(":dataMinCardinality", pm);
  OWLDatatype datatype = OWL2Datatype.XSD_BOOLEAN.getDatatype(factory);
  addToGenericDomainAndNewRange(property, datatype);

  OWLClass range = featurePool.getExclusiveClass(":DataMinCardinalityRange");
  OWLDataMinCardinality cardinality = factory.getOWLDataMinCardinality(3, property);

  addAxiomToOntology(factory.getOWLSubClassOfAxiom(range, cardinality));
}
项目：OntoBench    文件：OwlDataMinQualifiedCardinalityFeature.java    
@Override
public void addToOntology() {
  OWLDataProperty property = factory.getOWLDataProperty(":dataMinQualifiedCardinality", pm);
  OWLDatatype datatype = OWL2Datatype.XSD_FLOAT.getDatatype(factory);
  addToGenericDomainAndNewRange(property, datatype);

  OWLDatatype affectedDatatype = OWL2Datatype.XSD_DATE_TIME.getDatatype(factory);
  OWLDataMinCardinality cardinality = factory.getOWLDataMinCardinality(9, property, affectedDatatype);

  addAxiomToOntology(factory.getOWLSubClassOfAxiom(featurePool.getExclusiveClass(":DataMinQualifiedCardinalityRange"), cardinality));
}
项目：jopa    文件：IntegrityConstraintClassParser.java    
public void visit(OWLDataMinCardinality arg0) {
    try {
        final OWLDatatype dt = Utils.ensureDatatype(arg0.getFiller());
        final OWLDataProperty dp = Utils.ensureDataProperty(arg0
            .getProperty());

        integrityConstraints.add(integrityConstraintFactory
            .MinDataParticipationConstraint(subjClass, dp, dt,
                arg0.getCardinality()));
    } catch (UnsupportedICException e) {
        notSupported(arg0);
    }
}
项目：HermiT-android    文件：OWLNormalization.java    
public OWLClassExpression visit(OWLDataMinCardinality object) {
    OWLDataRange filler=object.getFiller();
    OWLDataPropertyExpression prop=object.getProperty();
    if (prop.isOWLTopDataProperty())
        throwInvalidTopDPUseError(object);
    if (isLiteral(filler))
        return m_factory.getOWLDataMinCardinality(object.getCardinality(),prop,filler);
    else {
        OWLDatatype definition=getDefinitionFor(filler,m_alreadyExists);
        if (!m_alreadyExists[0])
            m_newDataRangeInclusions.add(new OWLDataRange[] { negative(definition),filler });
        return m_factory.getOWLDataMinCardinality(object.getCardinality(),prop,definition);
    }
}
项目：HermiT-android    文件：ExpressionManager.java    
public OWLClassExpression visit(OWLDataMinCardinality d) {
    if (d.getCardinality()==0)
        return m_factory.getOWLNothing();
    else {
        OWLDataRange filler=getNNF(d.getFiller());
        return m_factory.getOWLDataMaxCardinality(d.getCardinality()-1,d.getProperty(),filler);
    }
}
项目：HermiT-android    文件：ExpressionManager.java    
public OWLClassExpression visit(OWLDataMinCardinality d) {
    OWLDataRange filler=getSimplified(d.getFiller());
    if (d.getCardinality()<=0)
        return m_factory.getOWLThing();
    else if (isBottomDataRange(filler))
        return m_factory.getOWLNothing();
    else if (d.getCardinality()==1)
        return m_factory.getOWLDataSomeValuesFrom(d.getProperty(),filler);
    else
        return m_factory.getOWLDataMinCardinality(d.getCardinality(),d.getProperty(),filler);
}
项目：HermiT-android    文件：ExpressionManager.java    
public OWLClassExpression visit(OWLDataExactCardinality d) {
    OWLDataRange filler=getSimplified(d.getFiller());
    if (d.getCardinality()<0)
        return m_factory.getOWLNothing();
    else if (d.getCardinality()==0)
        return m_factory.getOWLDataAllValuesFrom(d.getProperty(),m_factory.getOWLDataComplementOf(filler));
    else if (isBottomDataRange(filler))
        return m_factory.getOWLNothing();
    else {
        OWLDataMinCardinality minCardinality=m_factory.getOWLDataMinCardinality(d.getCardinality(),d.getProperty(),filler);
        OWLDataMaxCardinality maxCardinality=m_factory.getOWLDataMaxCardinality(d.getCardinality(),d.getProperty(),filler);
        return m_factory.getOWLObjectIntersectionOf(minCardinality,maxCardinality);
    }
}
项目：HermiT-android    文件：OWLClausification.java    
public void visit(OWLDataMinCardinality object) {
    if (!object.getProperty().isOWLBottomDataProperty() || object.getCardinality()==0) {
        AtomicRole atomicRole=getAtomicRole(object.getProperty());
        LiteralDataRange literalRange=m_dataRangeConverter.convertDataRange(object.getFiller());
        AtLeastDataRange atLeast=AtLeastDataRange.create(object.getCardinality(),atomicRole,literalRange);
        if (!atLeast.isAlwaysFalse())
            m_headAtoms.add(Atom.create(atLeast,X));
    }
}
项目：elk-reasoner    文件：AbstractElkObjectConverter.java    
@Override
public OWLDataMinCardinality visit(
        ElkDataMinCardinalityQualified expression) {
    return owlFactory_.getOWLDataMinCardinality(expression.getCardinality(),
            convert(expression.getProperty()),
            convert(expression.getFiller()));
}
项目：elk-reasoner    文件：OwlConverter.java    
@SuppressWarnings("static-method")
public ElkDataMinCardinality convert(
        OWLDataMinCardinality owlDataMinCardinality) {
    if (owlDataMinCardinality.isQualified())
        return new ElkDataMinCardinalityQualifiedWrap<OWLDataMinCardinality>(
                owlDataMinCardinality);
    // else
    return new ElkDataMinCardinalityUnqualifiedWrap<OWLDataMinCardinality>(
            owlDataMinCardinality);
}
项目：Hermit_1.3.8_android    文件：OWLNormalization.java    
public OWLClassExpression visit(OWLDataMinCardinality object) {
    OWLDataRange filler=object.getFiller();
    OWLDataPropertyExpression prop=object.getProperty();
    if (prop.isOWLTopDataProperty())
        throwInvalidTopDPUseError(object);
    if (isLiteral(filler))
        return m_factory.getOWLDataMinCardinality(object.getCardinality(),prop,filler);
    else {
        OWLDatatype definition=getDefinitionFor(filler,m_alreadyExists);
        if (!m_alreadyExists[0])
            m_newDataRangeInclusions.add(new OWLDataRange[] { negative(definition),filler });
        return m_factory.getOWLDataMinCardinality(object.getCardinality(),prop,definition);
    }
}
项目：Hermit_1.3.8_android    文件：ExpressionManager.java    
public OWLClassExpression visit(OWLDataMinCardinality d) {
    if (d.getCardinality()==0)
        return m_factory.getOWLNothing();
    else {
        OWLDataRange filler=getNNF(d.getFiller());
        return m_factory.getOWLDataMaxCardinality(d.getCardinality()-1,d.getProperty(),filler);
    }
}
项目：Hermit_1.3.8_android    文件：ExpressionManager.java    
public OWLClassExpression visit(OWLDataMinCardinality d) {
    OWLDataRange filler=getSimplified(d.getFiller());
    if (d.getCardinality()<=0)
        return m_factory.getOWLThing();
    else if (isBottomDataRange(filler))
        return m_factory.getOWLNothing();
    else if (d.getCardinality()==1)
        return m_factory.getOWLDataSomeValuesFrom(d.getProperty(),filler);
    else
        return m_factory.getOWLDataMinCardinality(d.getCardinality(),d.getProperty(),filler);
}
项目：Hermit_1.3.8_android    文件：ExpressionManager.java    
public OWLClassExpression visit(OWLDataExactCardinality d) {
    OWLDataRange filler=getSimplified(d.getFiller());
    if (d.getCardinality()<0)
        return m_factory.getOWLNothing();
    else if (d.getCardinality()==0)
        return m_factory.getOWLDataAllValuesFrom(d.getProperty(),m_factory.getOWLDataComplementOf(filler));
    else if (isBottomDataRange(filler))
        return m_factory.getOWLNothing();
    else {
        OWLDataMinCardinality minCardinality=m_factory.getOWLDataMinCardinality(d.getCardinality(),d.getProperty(),filler);
        OWLDataMaxCardinality maxCardinality=m_factory.getOWLDataMaxCardinality(d.getCardinality(),d.getProperty(),filler);
        return m_factory.getOWLObjectIntersectionOf(minCardinality,maxCardinality);
    }
}
项目：Hermit_1.3.8_android    文件：OWLClausification.java    
public void visit(OWLDataMinCardinality object) {
    if (!object.getProperty().isOWLBottomDataProperty() || object.getCardinality()==0) {
        AtomicRole atomicRole=getAtomicRole(object.getProperty());
        LiteralDataRange literalRange=m_dataRangeConverter.convertDataRange(object.getFiller());
        AtLeastDataRange atLeast=AtLeastDataRange.create(object.getCardinality(),atomicRole,literalRange);
        if (!atLeast.isAlwaysFalse())
            m_headAtoms.add(Atom.create(atLeast,X));
    }
}
项目：Wolpertinger    文件：OWLNormalization.java    
public OWLClassExpression visit(OWLDataMinCardinality object) {
    OWLDataRange filler=object.getFiller();
    OWLDataPropertyExpression prop=object.getProperty();
    if (prop.isOWLTopDataProperty())
        throwInvalidTopDPUseError(object);
    if (isLiteral(filler))
        return m_factory.getOWLDataMinCardinality(object.getCardinality(),prop,filler);
    else {
        OWLDatatype definition=getDefinitionFor(filler,m_alreadyExists);
        if (!m_alreadyExists[0])
            m_newDataRangeInclusions.add(new OWLDataRange[] { negative(definition),filler });
        return m_factory.getOWLDataMinCardinality(object.getCardinality(),prop,definition);
    }
}
项目：Wolpertinger    文件：ExpressionManager.java    
public OWLClassExpression visit(OWLDataMinCardinality d) {
    if (d.getCardinality()==0)
        return m_factory.getOWLNothing();
    else {
        OWLDataRange filler=getNNF(d.getFiller());
        return m_factory.getOWLDataMaxCardinality(d.getCardinality()-1,d.getProperty(),filler);
    }
}
项目：Wolpertinger    文件：ExpressionManager.java    
public OWLClassExpression visit(OWLDataMinCardinality d) {
    OWLDataRange filler=getSimplified(d.getFiller());
    if (d.getCardinality()<=0)
        return m_factory.getOWLThing();
    else if (isBottomDataRange(filler))
        return m_factory.getOWLNothing();
    else if (d.getCardinality()==1)
        return m_factory.getOWLDataSomeValuesFrom(d.getProperty(),filler);
    else
        return m_factory.getOWLDataMinCardinality(d.getCardinality(),d.getProperty(),filler);
}
项目：Wolpertinger    文件：ExpressionManager.java    
public OWLClassExpression visit(OWLDataExactCardinality d) {
    OWLDataRange filler=getSimplified(d.getFiller());
    if (d.getCardinality()<0)
        return m_factory.getOWLNothing();
    else if (d.getCardinality()==0)
        return m_factory.getOWLDataAllValuesFrom(d.getProperty(),m_factory.getOWLDataComplementOf(filler));
    else if (isBottomDataRange(filler))
        return m_factory.getOWLNothing();
    else {
        OWLDataMinCardinality minCardinality=m_factory.getOWLDataMinCardinality(d.getCardinality(),d.getProperty(),filler);
        OWLDataMaxCardinality maxCardinality=m_factory.getOWLDataMaxCardinality(d.getCardinality(),d.getProperty(),filler);
        return m_factory.getOWLObjectIntersectionOf(minCardinality,maxCardinality);
    }
}
项目：owlapi-gwt    文件：HashCode.java    
@Override
public void visit(OWLDataMinCardinality ce) {
    hashCode = primes[37];
    hashCode = hashCode * MULT + ce.getProperty().hashCode();
    hashCode = hashCode * MULT + ce.getCardinality();
    hashCode = hashCode * MULT + ce.getFiller().hashCode();
}
项目：owlapi-gwt    文件：OWLDataMinCardinalityImpl.java    
@Override
public boolean equals(Object obj) {
    if (this == obj) {
        return true;
    }
    if (!super.equals(obj)) {
        return false;
    }
    return obj instanceof OWLDataMinCardinality;
}
项目：HermiT-android    文件：BuiltInPropertyManager.java    
public void visit(OWLDataMinCardinality object) {
    visitProperty(object.getProperty());
}
项目：HermiT-android    文件：OWLNormalization.java    
public Boolean visit(OWLDataMinCardinality desc) {
    return Boolean.TRUE;
}
项目：HermiT-android    文件：OWLAxiomsExpressivity.java    
public void visit(OWLDataMinCardinality object) {
    m_hasDatatypes=true;
}
项目：HermiT-android    文件：ExpressionManager.java    
public OWLClassExpression visit(OWLDataMinCardinality d) {
    OWLDataRange filler=getNNF(d.getFiller());
    return m_factory.getOWLDataMinCardinality(d.getCardinality(),d.getProperty(),filler);
}
项目：elk-reasoner    文件：AbstractElkObjectConverter.java    
@Override
public OWLDataMinCardinality visit(
        ElkDataMinCardinalityUnqualified expression) {
    return owlFactory_.getOWLDataMinCardinality(expression.getCardinality(),
            convert(expression.getProperty()));
}
项目：elk-reasoner    文件：OwlClassExpressionConverterVisitor.java    
@Override
public ElkDataMinCardinality visit(
        OWLDataMinCardinality owlDataMinCardinality) {
    return CONVERTER.convert(owlDataMinCardinality);
}
项目：Hermit_1.3.8_android    文件：BuiltInPropertyManager.java    
public void visit(OWLDataMinCardinality object) {
    visitProperty(object.getProperty());
}
项目：Hermit_1.3.8_android    文件：OWLNormalization.java    
public Boolean visit(OWLDataMinCardinality desc) {
    return Boolean.TRUE;
}
项目：Hermit_1.3.8_android    文件：OWLAxiomsExpressivity.java    
public void visit(OWLDataMinCardinality object) {
    m_hasDatatypes=true;
}
项目：Hermit_1.3.8_android    文件：ExpressionManager.java    
public OWLClassExpression visit(OWLDataMinCardinality d) {
    OWLDataRange filler=getNNF(d.getFiller());
    return m_factory.getOWLDataMinCardinality(d.getCardinality(),d.getProperty(),filler);
}
项目：owltools    文件：TBoxUnFoldingTool.java    
@Override
public OWLDataMinCardinality visit(OWLDataMinCardinality ce) {
    return null;
}
项目：owltools    文件：CardinalityContraintsTools.java    
@Override
public HandlerResult visit(OWLDataMinCardinality ce) {
    return null;
}
项目：Wolpertinger    文件：OWLNormalization.java    
public Boolean visit(OWLDataMinCardinality desc) {
    return Boolean.TRUE;
}
项目：Wolpertinger    文件：ExpressionManager.java    
public OWLClassExpression visit(OWLDataMinCardinality d) {
    OWLDataRange filler=getNNF(d.getFiller());
    return m_factory.getOWLDataMinCardinality(d.getCardinality(),d.getProperty(),filler);
}
项目：owl2diagram    文件：DataPropertyRestriction.java    
public DataPropertyRestriction(OWLDataMinCardinality ex, OWLDiagramRenderer helper) { 
    IRI roleIRI = ex.getProperty().asOWLDataProperty().getIRI();
    this.role = helper.shorten(roleIRI);
    this.fillerType = ex.getFiller().asOWLDatatype().getBuiltInDatatype();
    this.multiplicity = Multiplicity.create(ex.getCardinality(), null);
}
项目：born    文件：ElClassExpressionFilter.java    
@Override
public Boolean visit(OWLDataMinCardinality classExpression) {
    return false;
}
项目：jcel    文件：ClassExpressionTranslator.java    
@Override
public IntegerClassExpression visit(OWLDataMinCardinality ce) {
    Objects.requireNonNull(ce);
    throw TranslationException.newUnsupportedTranslationException(ce);
}
项目：OWL2SPARQL    文件：OWLClassExpressionMinimizer.java    
@Override
public OWLClassExpression visit(OWLDataMinCardinality ce) {
    return ce;
}