本文整理汇总了Java中org.semanticweb.owlapi.model.OWLObjectExactCardinality类的典型用法代码示例。如果您正苦于以下问题：Java OWLObjectExactCardinality类的具体用法？Java OWLObjectExactCardinality怎么用？Java OWLObjectExactCardinality使用的例子？那么, 这里精选的类代码示例或许可以为您提供帮助。
OWLObjectExactCardinality类属于org.semanticweb.owlapi.model包，在下文中一共展示了OWLObjectExactCardinality类的15个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: visit
import org.semanticweb.owlapi.model.OWLObjectExactCardinality; //导入依赖的package包/类
@Override
public HandlerResult visit(OWLObjectExactCardinality ce) {
if (ce.getCardinality() == 0) {
// remove the ce if the max cardinality is zero
return HandlerResult.remove();
}
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: addToOntology
import org.semanticweb.owlapi.model.OWLObjectExactCardinality; //导入依赖的package包/类
@Override
public void addToOntology() {
OWLObjectProperty property = featurePool.getExclusiveProperty(":objectExactCardinalityProperty_Lite");
OWLClass range = featurePool.getExclusiveClass(":ObjectExactCardinalityRange_Lite");
addToGenericDomainAndNewRange(property, range);
OWLObjectExactCardinality exactCardinality = factory.getOWLObjectExactCardinality(1, property);
addAxiomToOntology(factory.getOWLSubClassOfAxiom(range, exactCardinality));
}
示例3: addToOntology
import org.semanticweb.owlapi.model.OWLObjectExactCardinality; //导入依赖的package包/类
@Override
public void addToOntology() {
OWLObjectProperty property = featurePool.getExclusiveProperty(":objectExactCardinalityProperty");
OWLClass range = featurePool.getExclusiveClass(":ObjectExactCardinalityRange");
addToGenericDomainAndNewRange(property, range);
OWLObjectExactCardinality exactCardinality = factory.getOWLObjectExactCardinality(4, property);
addAxiomToOntology(factory.getOWLSubClassOfAxiom(range, exactCardinality));
}
示例4: addToOntology
import org.semanticweb.owlapi.model.OWLObjectExactCardinality; //导入依赖的package包/类
@Override
public void addToOntology() {
OWLObjectProperty property = featurePool.getExclusiveProperty(":objectExactQualifiedCardinalityProperty");
OWLClass range = featurePool.getExclusiveClass(":ObjectExactQualifiedCardinalityRange");
addToGenericDomainAndNewRange(property, range);
OWLClass qualifier = featurePool.getExclusiveClass(":ObjectExactQualifiedCardinality_Qualifier");
OWLObjectExactCardinality exactCardinality = factory.getOWLObjectExactCardinality(1, property, qualifier);
addAxiomToOntology(factory.getOWLSubClassOfAxiom(range, exactCardinality));
}
示例5: visit
import org.semanticweb.owlapi.model.OWLObjectExactCardinality; //导入依赖的package包/类
public void visit(OWLObjectExactCardinality arg0) {
try {
OWLClass c = Utils.ensureClass(arg0.getFiller());
OWLObjectProperty p = Utils.ensureObjectProperty(arg0.getProperty());
integrityConstraints.add(integrityConstraintFactory
.ObjectParticipationConstraint(subjClass, p, c,
arg0.getCardinality(), arg0.getCardinality()));
} catch (UnsupportedICException e) {
notSupported(arg0);
}
}
示例6: visit
import org.semanticweb.owlapi.model.OWLObjectExactCardinality; //导入依赖的package包/类
public OWLClassExpression visit(OWLObjectExactCardinality d) {
OWLClassExpression filler=getNNF(d.getFiller());
if (d.getCardinality()==0)
return m_factory.getOWLObjectMinCardinality(1,d.getProperty().getSimplified(),filler);
else {
Set<OWLClassExpression> disjuncts=new HashSet<OWLClassExpression>();
disjuncts.add(m_factory.getOWLObjectMaxCardinality(d.getCardinality()-1,d.getProperty().getSimplified(),filler));
disjuncts.add(m_factory.getOWLObjectMinCardinality(d.getCardinality()+1,d.getProperty().getSimplified(),filler));
return m_factory.getOWLObjectUnionOf(disjuncts);
}
}
示例7: convert
import org.semanticweb.owlapi.model.OWLObjectExactCardinality; //导入依赖的package包/类
@SuppressWarnings("static-method")
public ElkObjectExactCardinality convert(
OWLObjectExactCardinality owlObjectExactCardinality) {
if (owlObjectExactCardinality.isQualified())
return new ElkObjectExactCardinalityQualifiedWrap<OWLObjectExactCardinality>(
owlObjectExactCardinality);
// else
return new ElkObjectExactCardinalityUnqualifiedWrap<OWLObjectExactCardinality>(
owlObjectExactCardinality);
}
示例8: visit
import org.semanticweb.owlapi.model.OWLObjectExactCardinality; //导入依赖的package包/类
@Override
public OWLObjectExactCardinality visit(OWLObjectExactCardinality ce) {
if (LOG.isDebugEnabled()) {
LOG.debug("Unfolding exact_cardinality: "+ce);
}
OWLClassExpression filler = ce.getFiller();
if (filler != null) {
OWLClassExpression unfold = filler.accept(this);
if (unfold != null) {
return factory.getOWLObjectExactCardinality(ce.getCardinality(), ce.getProperty(), unfold);
}
}
return null;
}
示例9: visit
import org.semanticweb.owlapi.model.OWLObjectExactCardinality; //导入依赖的package包/类
@Override
public OWLClassExpression visit(OWLObjectExactCardinality ce) {
OWLClassExpression filler = ce.getFiller();
OWLClassExpression shortenedFiller = filler.accept(this);
if(!filler.equals(shortenedFiller)){
return df.getOWLObjectExactCardinality(ce.getCardinality(), ce.getProperty(), shortenedFiller);
}
return ce;
}
示例10: visit
import org.semanticweb.owlapi.model.OWLObjectExactCardinality; //导入依赖的package包/类
@Override
public void visit(OWLObjectExactCardinality ce) {
hashCode = primes[42];
hashCode = hashCode * MULT + ce.getProperty().hashCode();
hashCode = hashCode * MULT + ce.getCardinality();
hashCode = hashCode * MULT + ce.getFiller().hashCode();
}
示例11: visit
import org.semanticweb.owlapi.model.OWLObjectExactCardinality; //导入依赖的package包/类
@Override
public Set<OWLClassExpression> visit(OWLObjectExactCardinality ce) {
Set<OWLClassExpression> result = new HashSet<>();
result.add(ce);
result.addAll(ce.getFiller().accept(this));
return result;
}
示例12: equals
import org.semanticweb.owlapi.model.OWLObjectExactCardinality; //导入依赖的package包/类
@Override
public boolean equals(Object obj) {
if (this == obj) {
return true;
}
if (!super.equals(obj)) {
return false;
}
return obj instanceof OWLObjectExactCardinality;
}
示例13: visit
import org.semanticweb.owlapi.model.OWLObjectExactCardinality; //导入依赖的package包/类
public void visit(OWLObjectExactCardinality object) {
visitProperty(object.getProperty());
object.getFiller().accept(this);
}
示例14: visit
import org.semanticweb.owlapi.model.OWLObjectExactCardinality; //导入依赖的package包/类
public OWLClassExpression visit(OWLObjectExactCardinality object) {
throw new IllegalStateException("Internal error: exact object cardinality restrictions should have been simplified.");
}
示例15: visit
import org.semanticweb.owlapi.model.OWLObjectExactCardinality; //导入依赖的package包/类
public void visit(OWLObjectExactCardinality object) {
m_hasAtMostRestrictions=true;
visitProperty(object.getProperty());
object.getFiller().accept(this);
}