本文整理汇总了Java中org.semanticweb.owlapi.model.OWLDataExactCardinality类的典型用法代码示例。如果您正苦于以下问题：Java OWLDataExactCardinality类的具体用法？Java OWLDataExactCardinality怎么用？Java OWLDataExactCardinality使用的例子？那么恭喜您, 这里精选的类代码示例或许可以为您提供帮助。
OWLDataExactCardinality类属于org.semanticweb.owlapi.model包，在下文中一共展示了OWLDataExactCardinality类的15个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: addToOntology
import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
@Override
public void addToOntology() {
OWLDataProperty property = factory.getOWLDataProperty(":dataExactQualifiedCardinality", pm);
OWLDatatype datatype = OWL2Datatype.XSD_STRING.getDatatype(factory);
addToGenericDomainAndNewRange(property, datatype);
OWLDatatype affectedDatatype = OWL2Datatype.XSD_DATE_TIME.getDatatype(factory);
OWLDataExactCardinality cardinality = factory.getOWLDataExactCardinality(12, property, affectedDatatype);
addAxiomToOntology(factory.getOWLSubClassOfAxiom(featurePool.getExclusiveClass(":DataExactQualifiedCardinalityRange"), cardinality));
}
示例2: addToOntology
import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
@Override
public void addToOntology() {
OWLDataProperty property = factory.getOWLDataProperty(":dataExactCardinality", pm);
OWLDatatype datatype = OWL2Datatype.XSD_STRING.getDatatype(factory);
addToGenericDomainAndNewRange(property, datatype);
OWLClass range = featurePool.getExclusiveClass(":DataExactCardinalityRange");
OWLDataExactCardinality cardinality = factory.getOWLDataExactCardinality(11, property);
addAxiomToOntology(factory.getOWLSubClassOfAxiom(range, cardinality));
}
示例3: visit
import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
public void visit(OWLDataExactCardinality arg0) {
try {
final OWLDatatype dt = Utils.ensureDatatype(arg0.getFiller());
final OWLDataProperty dp = Utils.ensureDataProperty(arg0
.getProperty());
integrityConstraints.add(integrityConstraintFactory.DataParticipationConstraint(
subjClass, dp, dt, arg0.getCardinality(),
arg0.getCardinality()));
} catch (UnsupportedICException e) {
notSupported(arg0);
}
}
示例4: visit
import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
public OWLClassExpression visit(OWLDataExactCardinality d) {
OWLDataRange filler=getNNF(d.getFiller());
if (d.getCardinality()==0)
return m_factory.getOWLDataMinCardinality(1,d.getProperty(),filler);
else {
Set<OWLClassExpression> disjuncts=new HashSet<OWLClassExpression>();
disjuncts.add(m_factory.getOWLDataMaxCardinality(d.getCardinality()-1,d.getProperty(),filler));
disjuncts.add(m_factory.getOWLDataMinCardinality(d.getCardinality()+1,d.getProperty(),filler));
return m_factory.getOWLObjectUnionOf(disjuncts);
}
}
示例5: visit
import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
@Override
public OWLDataExactCardinality visit(
ElkDataExactCardinalityQualified expression) {
return owlFactory_.getOWLDataExactCardinality(
expression.getCardinality(), convert(expression.getProperty()),
convert(expression.getFiller()));
}
示例6: convert
import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
@SuppressWarnings("static-method")
public ElkDataExactCardinality convert(
OWLDataExactCardinality owlDataExactCardinality) {
if (owlDataExactCardinality.isQualified())
return new ElkDataExactCardinalityQualifiedWrap<OWLDataExactCardinality>(
owlDataExactCardinality);
// else
return new ElkDataExactCardinalityUnqualifiedWrap<OWLDataExactCardinality>(
owlDataExactCardinality);
}
示例7: visit
import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
@Override
public void visit(OWLDataExactCardinality ce) {
hashCode = primes[35];
hashCode = hashCode * MULT + ce.getProperty().hashCode();
hashCode = hashCode * MULT + ce.getCardinality();
hashCode = hashCode * MULT + ce.getFiller().hashCode();
}
示例8: equals
import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
@Override
public boolean equals(Object obj) {
if (this == obj) {
return true;
}
if (!super.equals(obj)) {
return false;
}
return obj instanceof OWLDataExactCardinality;
}
示例9: visit
import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
public void visit(OWLDataExactCardinality object) {
visitProperty(object.getProperty());
}
示例10: visit
import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
public OWLClassExpression visit(OWLDataExactCardinality object) {
throw new IllegalStateException("Internal error: exact data cardinality restrictions should have been simplified.");
}
示例11: visit
import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
public void visit(OWLDataExactCardinality object) {
m_hasDatatypes=true;
}
示例12: visit
import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
public void visit(OWLDataExactCardinality object) {
throw new IllegalStateException("Internal error: invalid normal form.");
}
示例13: visit
import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
@Override
public ElkDataExactCardinality visit(
OWLDataExactCardinality owlDataExactCardinality) {
return CONVERTER.convert(owlDataExactCardinality);
}
示例14: visit
import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
@Override
public OWLDataExactCardinality visit(OWLDataExactCardinality ce) {
return null;
}
示例15: visit
import org.semanticweb.owlapi.model.OWLDataExactCardinality; //导入依赖的package包/类
@Override
public HandlerResult visit(OWLDataExactCardinality ce) {
return null;
}