public interface CardinalityQRestriction extends QualifiedRestriction
Interface representing the ontology abstraction for a qualified 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.
asAnnotationProperty, asDatatypeProperty, asObjectProperty, asProperty, isAnnotationProperty, isDatatypeProperty, isObjectProperty, isProperty
Modifier and Type | Method and Description |
---|---|
int |
getCardinalityQ()
Answer the cardinality of the restricted property.
|
boolean |
hasCardinalityQ(int cardinality)
Answer true if this property restriction has the given cardinality.
|
void |
removeCardinalityQ(int cardinality)
Remove the statement that this restriction has the given cardinality
for the restricted property.
|
void |
setCardinalityQ(int cardinality)
Assert that this restriction restricts the property to have the given
cardinality.
|
getHasClassQ, hasHasClassQ, hasHasClassQ, removeHasClassQ, removeHasClassQ, setHasClassQ
asAllValuesFromRestriction, asCardinalityRestriction, asHasValueRestriction, asMaxCardinalityRestriction, asMinCardinalityRestriction, asSomeValuesFromRestriction, convertToAllValuesFromRestriction, convertToCardinalityRestriction, convertToHasValueRestriction, convertToMaxCardinalityRestriction, convertToMinCardinalityRestriction, convertToSomeValuesFromRestriction, getOnProperty, isAllValuesFromRestriction, isCardinalityRestriction, isHasValueRestriction, isMaxCardinalityRestriction, isMinCardinalityRestriction, isSomeValuesFromRestriction, onProperty, removeOnProperty, setOnProperty
addDisjointWith, 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, setSuperClass
addComment, 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, setVersionInfo
abort, addLiteral, addLiteral, addLiteral, addLiteral, addLiteral, addLiteral, addLiteral, addProperty, addProperty, addProperty, addProperty, begin, commit, equals, getId, getLocalName, getNameSpace, getProperty, getPropertyResourceValue, getRequiredProperty, getURI, hasLiteral, hasLiteral, hasLiteral, hasLiteral, hasLiteral, hasLiteral, hasProperty, hasProperty, hasProperty, hasProperty, hasURI, inModel, listProperties, listProperties, removeAll, removeProperties, toString
as, asLiteral, asResource, canAs, getModel, isAnon, isLiteral, isResource, isURIResource, visitWith
asNode
void setCardinalityQ(int cardinality)
Assert that this restriction restricts the property to have the given
cardinality. Any existing statements for cardinalityQ
will be removed.
cardinality
- The cardinality of the restricted propertyOntProfileException
- If the Profile.CARDINALITY_Q()
property is not supported in the current language profile.int getCardinalityQ()
Answer the cardinality of the restricted property.
OntProfileException
- If the Profile.CARDINALITY_Q()
property is not supported in the current language profile.boolean hasCardinalityQ(int cardinality)
Answer true if this property restriction has the given cardinality.
cardinality
- The cardinality to test againstOntProfileException
- If the Profile.CARDINALITY_Q()
property is not supported in the current language profile.void removeCardinalityQ(int cardinality)
Remove the statement that this restriction has the given cardinality for the restricted property. If this statement is not true of the current model, nothing happens.
cardinality
- A cardinality value to be removed from this restrictionOntProfileException
- If the Profile.CARDINALITY_Q()
property is not supported in the current language profile.Licenced under the Apache License, Version 2.0