public interface MaxCardinalityQRestriction extends QualifiedRestriction
Interface representing the ontology abstraction for a qualified maximum cardinality restriction. A qualified restriction is a DAML+OIL term for a restriction with a cardinality constraint and a constraint that the values of the restricted property must all belong to the given class. At the current time, qualified restrictions are part of DAML+OIL, but not part of OWL.
| Modifier and Type | Method and Description |
|---|---|
int |
getMaxCardinalityQ()
Answer the max qualified cardinality of the restricted property.
|
boolean |
hasMaxCardinalityQ(int maxCardinality)
Answer true if this property restriction has the given maximum qualified cardinality.
|
void |
removeMaxCardinalityQ(int maxCardinality)
Remove the statement that this restriction has the given maximum qualified cardinality
for the restricted property.
|
void |
setMaxCardinalityQ(int maxCardinality)
Assert that this restriction restricts the property to have the given
maximum cardinality.
|
getHasClassQ, hasHasClassQ, hasHasClassQ, removeHasClassQ, removeHasClassQ, setHasClassQasAllValuesFromRestriction, asCardinalityRestriction, asHasValueRestriction, asMaxCardinalityRestriction, asMinCardinalityRestriction, asSomeValuesFromRestriction, convertToAllValuesFromRestriction, convertToCardinalityRestriction, convertToHasValueRestriction, convertToMaxCardinalityRestriction, convertToMinCardinalityRestriction, convertToSomeValuesFromRestriction, getOnProperty, isAllValuesFromRestriction, isCardinalityRestriction, isHasValueRestriction, isMaxCardinalityRestriction, isMinCardinalityRestriction, isSomeValuesFromRestriction, onProperty, removeOnProperty, setOnPropertyaddDisjointWith, addEquivalentClass, addSubClass, addSuperClass, asComplementClass, asEnumeratedClass, asIntersectionClass, asRestriction, asUnionClass, convertToComplementClass, convertToEnumeratedClass, convertToIntersectionClass, convertToRestriction, convertToUnionClass, createIndividual, createIndividual, dropIndividual, getDisjointWith, getEquivalentClass, getSubClass, getSuperClass, hasDeclaredProperty, hasEquivalentClass, hasSubClass, hasSubClass, hasSubClass, hasSuperClass, hasSuperClass, hasSuperClass, isComplementClass, isDisjointWith, isEnumeratedClass, isHierarchyRoot, isIntersectionClass, isRestriction, isUnionClass, listDeclaredProperties, listDeclaredProperties, listDisjointWith, listEquivalentClasses, listInstances, listInstances, listSubClasses, listSubClasses, listSuperClasses, listSuperClasses, removeDisjointWith, removeEquivalentClass, removeSubClass, removeSuperClass, setDisjointWith, setEquivalentClass, setSubClass, setSuperClassaddComment, addComment, addDifferentFrom, addIsDefinedBy, addLabel, addLabel, addRDFType, addSameAs, addSeeAlso, addVersionInfo, asAllDifferent, asAnnotationProperty, asClass, asDataRange, asDatatypeProperty, asIndividual, asObjectProperty, asOntology, asProperty, getCardinality, getComment, getDifferentFrom, getIsDefinedBy, getLabel, getOntModel, getProfile, getPropertyValue, getRDFType, getRDFType, getSameAs, getSeeAlso, getVersionInfo, hasComment, hasComment, hasLabel, hasLabel, hasRDFType, hasRDFType, hasRDFType, hasSeeAlso, hasVersionInfo, isAllDifferent, isAnnotationProperty, isClass, isDataRange, isDatatypeProperty, isDefinedBy, isDifferentFrom, isIndividual, isObjectProperty, isOntLanguageTerm, isOntology, isProperty, isSameAs, listComments, listDifferentFrom, listIsDefinedBy, listLabels, listPropertyValues, listRDFTypes, listSameAs, listSeeAlso, listVersionInfo, remove, removeComment, removeComment, removeDefinedBy, removeDifferentFrom, removeLabel, removeLabel, removeProperty, removeRDFType, removeSameAs, removeSeeAlso, removeVersionInfo, setComment, setDifferentFrom, setIsDefinedBy, setLabel, setPropertyValue, setRDFType, setSameAs, setSeeAlso, setVersionInfoabort, addLiteral, addLiteral, addLiteral, addLiteral, addLiteral, addLiteral, addLiteral, addProperty, addProperty, addProperty, addProperty, begin, commit, equals, getId, getLocalName, getNameSpace, getProperty, getProperty, getPropertyResourceValue, getRequiredProperty, getRequiredProperty, getURI, hasLiteral, hasLiteral, hasLiteral, hasLiteral, hasLiteral, hasLiteral, hasProperty, hasProperty, hasProperty, hasProperty, hasURI, inModel, listProperties, listProperties, listProperties, removeAll, removeProperties, toStringas, asLiteral, asResource, canAs, getModel, isAnon, isLiteral, isResource, isURIResource, visitWithasNodevoid setMaxCardinalityQ(int maxCardinality)
Assert that this restriction restricts the property to have the given
maximum cardinality. Any existing statements for maxCardinalityQ
will be removed.
maxCardinality - The maximum cardinality of the restricted propertyProfileException - If the Profile.MAX_CARDINALITY_Q() property is not supported in the current language profile.int getMaxCardinalityQ()
Answer the max qualified cardinality of the restricted property.
ProfileException - If the Profile.MAX_CARDINALITY_Q() property is not supported in the current language profile.boolean hasMaxCardinalityQ(int maxCardinality)
Answer true if this property restriction has the given maximum qualified cardinality.
maxCardinality - The cardinality to test againstProfileException - If the Profile.MAX_CARDINALITY_Q() property is not supported in the current language profile.void removeMaxCardinalityQ(int maxCardinality)
Remove the statement that this restriction has the given maximum qualified cardinality for the restricted property. If this statement is not true of the current model, nothing happens.
maxCardinality - A cardinality value to be removed from this restrictionProfileException - If the Profile.MAX_CARDINALITY_Q() property is not supported in the current language profile.Licenced under the Apache License, Version 2.0