R
- range of the propertyP
- property expressionF
- valuepublic interface OWLCardinalityRestriction<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,F extends OWLPropertyRange> extends OWLQuantifiedRestriction<R,P,F>
Modifier and Type | Method and Description |
---|---|
int |
getCardinality()
Gets the cardinality of this restriction
|
boolean |
isQualified()
Determines if this restriction is qualified.
|
getFiller
getProperty, isDataRestriction, isObjectRestriction
accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isClassExpressionLiteral, isOWLNothing, isOWLThing
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
int getCardinality()
boolean isQualified()
true
if this restriction is qualified, or false
if
this restriction is unqualified.