com.hp.hpl.jena.ontology
Interface MaxCardinalityRestriction

All Superinterfaces:

OntClass, OntResource, RDFNode, Resource, Restriction

public interface MaxCardinalityRestriction

extends Restriction

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

Version:

CVS $Id: MaxCardinalityRestriction.java,v 1.3 2003/06/08 18:53:30 ian_dickinson Exp $

Author:

Ian Dickinson, HP Labs (email)

Method Summary

int	getMaxCardinality() Answer the maximum cardinality of the restricted property.
boolean	hasMaxCardinality(int cardinality) Answer true if this property restriction has the given maximum cardinality.
void	removeMaxCardinality(int cardinality) Remove the statement that this restriction has the given maximum cardinality for the restricted property.
void	setMaxCardinality(int cardinality) Assert that this restriction restricts the property to have the given maximum 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, getDisjointWith, getEquivalentClass, getSubClass, getSuperClass, hasEquivalentClass, hasSubClass, hasSubClass, hasSuperClass, hasSuperClass, isComplementClass, isDisjointWith, isEnumeratedClass, isIntersectionClass, isRestriction, isUnionClass, listDeclaredProperties, listDeclaredProperties, listDisjointWith, listEquivalentClasses, listInstances, listSubClasses, listSubClasses, listSuperClasses, listSuperClasses, removeDisjointWith, removeEquivalentClass, removeSubClass, removeSuperClass, setDisjointWith, setEquivalentClass, setSubClass, setSuperClass

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

accessor, accessor, addComment, addComment, addDifferentFrom, addIsDefinedBy, addLabel, addLabel, addRDFType, addSameAs, addSeeAlso, addVersionInfo, asAllDifferent, asAnnotationProperty, asClass, asIndividual, asOntology, asProperty, getCardinality, getComment, getDifferentFrom, getIsDefinedBy, getLabel, getProfile, getPropertyValue, getRDFType, getRDFType, getSameAs, getSeeAlso, getVersionInfo, hasComment, hasComment, hasLabel, hasLabel, hasRDFType, hasRDFType, hasRDFType, hasSeeAlso, hasVersionInfo, isDefinedBy, isDifferentFrom, 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, addProperty, addProperty, addProperty, addProperty, addProperty, addProperty, addProperty, addProperty, addProperty, begin, commit, equals, getId, getLocalName, getModel, getNameSpace, getNode, getProperty, getURI, hasProperty, hasProperty, hasProperty, hasProperty, hasProperty, hasProperty, hasProperty, hasProperty, hasProperty, hasProperty, isAnon, listProperties, listProperties, removeAll, removeProperties, toString

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

as, asNode, canAs, inModel, visitWith

Method Detail

setMaxCardinality

public void setMaxCardinality(int cardinality)

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

Parameters:

cardinality - The maximum cardinality of the restricted property

Throws:

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

getMaxCardinality

public int getMaxCardinality()

Answer the maximum cardinality of the restricted property.

Returns:

The maximum cardinality of the restricted property

Throws:

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

hasMaxCardinality

public boolean hasMaxCardinality(int cardinality)

Answer true if this property restriction has the given maximum cardinality.

Parameters:

cardinality - The cardinality to test against

Returns:

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

Throws:

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

removeMaxCardinality

public void removeMaxCardinality(int cardinality)

Remove the statement that this restriction has the given maximum cardinality for the restricted property. If this statement is not true of the current model, nothing happens.

Parameters:

cardinality - A max cardinality value to be removed from this restriction