本文整理汇总了Java中org.semanticweb.owlapi.model.OWLObjectMinCardinality.getFiller方法的典型用法代码示例。如果您正苦于以下问题：Java OWLObjectMinCardinality.getFiller方法的具体用法？Java OWLObjectMinCardinality.getFiller怎么用？Java OWLObjectMinCardinality.getFiller使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类org.semanticweb.owlapi.model.OWLObjectMinCardinality的用法示例。
在下文中一共展示了OWLObjectMinCardinality.getFiller方法的4个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: visit
import org.semanticweb.owlapi.model.OWLObjectMinCardinality; //导入方法依赖的package包/类
@Override
public HandlerResult visit(OWLObjectMinCardinality ce) {
final OWLClassExpression filler = ce.getFiller();
final HandlerResult recursive = filler.accept(this);
OWLObjectSomeValuesFrom newCE;
if (recursive == null) {
newCE = factory.getOWLObjectSomeValuesFrom(ce.getProperty(), filler);
}
else if (recursive.remove) {
return HandlerResult.remove();
}
else {
newCE = factory.getOWLObjectSomeValuesFrom(ce.getProperty(), recursive.modified);
}
return HandlerResult.modified(newCE);
}
示例2: visit
import org.semanticweb.owlapi.model.OWLObjectMinCardinality; //导入方法依赖的package包/类
@Override
public OWLClassExpression visit(OWLObjectMinCardinality ce) {
// >= 0 r.C \equiv \top
int cardinality = ce.getCardinality();
if (cardinality == 0) {
return df.getOWLThing();
}
OWLClassExpression filler = ce.getFiller();
OWLClassExpression shortenedFiller = filler.accept(this);
if(shortenedFiller.isOWLNothing()){// >= n r.\bot \equiv \bot if n != 0
return df.getOWLNothing();
} else if(!filler.equals(shortenedFiller)){
return df.getOWLObjectMinCardinality(ce.getCardinality(), ce.getProperty(), shortenedFiller);
}
return ce;
}
示例3: visit
import org.semanticweb.owlapi.model.OWLObjectMinCardinality; //导入方法依赖的package包/类
public OWLClassExpression visit(OWLObjectMinCardinality object) {
m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(object.getProperty().getNamedProperty());
OWLClassExpression filler=object.getFiller();
if (isSimple(filler))
return object;
else {
OWLClassExpression definition=getDefinitionFor(filler,m_alreadyExists);
if (!m_alreadyExists[0])
m_newInclusions.add(new OWLClassExpression[] { negative(definition),filler });
return m_factory.getOWLObjectMinCardinality(object.getCardinality(),object.getProperty(),definition);
}
}
示例4: visit
import org.semanticweb.owlapi.model.OWLObjectMinCardinality; //导入方法依赖的package包/类
@Override
public OWLObjectMinCardinality visit(OWLObjectMinCardinality ce) {
if (LOG.isDebugEnabled()) {
LOG.debug("Unfolding min_cardinality: "+ce);
}
OWLClassExpression filler = ce.getFiller();
if (filler != null) {
OWLClassExpression unfold = filler.accept(this);
if (unfold != null) {
return factory.getOWLObjectMinCardinality(ce.getCardinality(), ce.getProperty(), unfold);
}
}
return null;
}