com.hp.hpl.jena.ontology
Interface CardinalityRestriction

All Superinterfaces:

FrontsNode, OntClass, OntResource, RDFNode, Resource, Restriction

public interface CardinalityRestriction
extends Restriction

A property restriction that requires the named property to have have exactly the given number of values for a given instance to be a member of the class defined by the restriction.

Version:

CVS $Id: CardinalityRestriction.java,v 1.2 2009-10-06 13:04:34 ian_dickinson Exp $

Author:

Ian Dickinson, HP Labs (email)

Method Summary

int	getCardinality() Answer the cardinality of the restricted property.
boolean	hasCardinality(int cardinality) Answer true if this property restriction has the given cardinality.
void	removeCardinality(int cardinality) Remove the statement that this restriction has the given cardinality for the restricted property.
void	setCardinality(int cardinality) Assert that this restriction restricts the property to have the given cardinality.

Methods inherited from interface com.hp.hpl.jena.ontology.Restriction

asAllValuesFromRestriction, asCardinalityRestriction, asHasValueRestriction, asMaxCardinalityRestriction, asMinCardinalityRestriction, asSomeValuesFromRestriction, convertToAllValuesFromRestriction, convertToCardinalityRestriction, convertToHasValueRestriction, convertToMaxCardinalityRestriction, convertToMinCardinalityRestriction, convertToSomeValuesFromRestriction, getOnProperty, isAllValuesFromRestriction, isCardinalityRestriction, isHasValueRestriction, isMaxCardinalityRestriction, isMinCardinalityRestriction, isSomeValuesFromRestriction, onProperty, removeOnProperty, setOnProperty

Methods inherited from interface com.hp.hpl.jena.ontology.OntClass

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

Methods inherited from interface com.hp.hpl.jena.ontology.OntResource

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

Methods inherited from interface com.hp.hpl.jena.rdf.model.Resource

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

Methods inherited from interface com.hp.hpl.jena.rdf.model.RDFNode

as, asLiteral, asResource, canAs, getModel, isAnon, isLiteral, isResource, isURIResource, visitWith

Methods inherited from interface com.hp.hpl.jena.graph.FrontsNode

asNode

Method Detail

setCardinality

void setCardinality(int cardinality)

Assert that this restriction restricts the property to have the given cardinality. Any existing statements for cardinality will be removed.

Parameters:

cardinality - The cardinality of the restricted property

Throws:

OntProfileException - If the Profile.CARDINALITY() property is not supported in the current language profile.

getCardinality

int getCardinality()

Answer the cardinality of the restricted property.

Returns:

The cardinality of the restricted property

Throws:

OntProfileException - If the Profile.CARDINALITY() property is not supported in the current language profile.

hasCardinality

boolean hasCardinality(int cardinality)

Answer true if this property restriction has the given cardinality.

Parameters:

cardinality - The cardinality to test against

Returns:

True if the given cardinality is the cardinality of the restricted property in this restriction

Throws:

OntProfileException - If the Profile.CARDINALITY() property is not supported in the current language profile.

removeCardinality

void removeCardinality(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.

Parameters:

cardinality - A cardinality value to be removed from this restriction