本文整理汇总了Java中org.semanticweb.owlapi.model.OWLDataMinCardinality.getCardinality方法的典型用法代码示例。如果您正苦于以下问题：Java OWLDataMinCardinality.getCardinality方法的具体用法？Java OWLDataMinCardinality.getCardinality怎么用？Java OWLDataMinCardinality.getCardinality使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类org.semanticweb.owlapi.model.OWLDataMinCardinality的用法示例。
在下文中一共展示了OWLDataMinCardinality.getCardinality方法的4个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: visit
import org.semanticweb.owlapi.model.OWLDataMinCardinality; //导入方法依赖的package包/类
@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;
}
示例2: visit
import org.semanticweb.owlapi.model.OWLDataMinCardinality; //导入方法依赖的package包/类
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);
}
}
示例3: visit
import org.semanticweb.owlapi.model.OWLDataMinCardinality; //导入方法依赖的package包/类
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));
}
}
示例4: visit
import org.semanticweb.owlapi.model.OWLDataMinCardinality; //导入方法依赖的package包/类
@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();
}