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