001: /*****************************************************************************
002: * Source code information
003: * -----------------------
004: * Original author Ian Dickinson, HP Labs Bristol
005: * Author email Ian.Dickinson@hp.com
006: * Package Jena 2
007: * Web http://sourceforge.net/projects/jena/
008: * Created 08-May-2003
009: * Filename $RCSfile: MaxCardinalityRestriction.java,v $
010: * Revision $Revision: 1.9 $
011: * Release status $State: Exp $
012: *
013: * Last modified on $Date: 2008/01/02 12:06:41 $
014: * by $Author: andy_seaborne $
015: *
016: * (c) Copyright 2002, 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP
017: * (see footer for full conditions)
018: *****************************************************************************/package com.hp.hpl.jena.ontology;
019:
020: // Imports
021: ///////////////
022:
023: /**
024: * <p>
025: * A property restriction that requires the named property to have have at most
026: * the given number of values for a given instance to be a member of the class defined
027: * by the restriction.
028: * </p>
029: *
030: * @author Ian Dickinson, HP Labs
031: * (<a href="mailto:Ian.Dickinson@hp.com" >email</a>)
032: * @version CVS $Id: MaxCardinalityRestriction.java,v 1.9 2008/01/02 12:06:41 andy_seaborne Exp $
033: */
034: public interface MaxCardinalityRestriction extends Restriction {
035: // Constants
036: //////////////////////////////////
037:
038: // External signature methods
039: //////////////////////////////////
040:
041: // maxCardinality
042:
043: /**
044: * <p>Assert that this restriction restricts the property to have the given
045: * maximum cardinality. Any existing statements for <code>maxCardinality</code>
046: * will be removed.</p>
047: * @param cardinality The maximum cardinality of the restricted property
048: * @exception OntProfileException If the {@link Profile#MAX_CARDINALITY()} property is not supported in the current language profile.
049: */
050: public void setMaxCardinality(int cardinality);
051:
052: /**
053: * <p>Answer the maximum cardinality of the restricted property.</p>
054: * @return The maximum cardinality of the restricted property
055: * @exception OntProfileException If the {@link Profile#MAX_CARDINALITY()} property is not supported in the current language profile.
056: */
057: public int getMaxCardinality();
058:
059: /**
060: * <p>Answer true if this property restriction has the given maximum cardinality.</p>
061: * @param cardinality The cardinality to test against
062: * @return True if the given cardinality is the max cardinality of the restricted property in this restriction
063: * @exception OntProfileException If the {@link Profile#MAX_CARDINALITY()} property is not supported in the current language profile.
064: */
065: public boolean hasMaxCardinality(int cardinality);
066:
067: /**
068: * <p>Remove the statement that this restriction has the given maximum cardinality
069: * for the restricted property. If this statement
070: * is not true of the current model, nothing happens.</p>
071: * @param cardinality A max cardinality value to be removed from this restriction
072: */
073: public void removeMaxCardinality(int cardinality);
074:
075: }
076:
077: /*
078: (c) Copyright 2002, 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP
079: All rights reserved.
080:
081: Redistribution and use in source and binary forms, with or without
082: modification, are permitted provided that the following conditions
083: are met:
084:
085: 1. Redistributions of source code must retain the above copyright
086: notice, this list of conditions and the following disclaimer.
087:
088: 2. Redistributions in binary form must reproduce the above copyright
089: notice, this list of conditions and the following disclaimer in the
090: documentation and/or other materials provided with the distribution.
091:
092: 3. The name of the author may not be used to endorse or promote products
093: derived from this software without specific prior written permission.
094:
095: THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
096: IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
097: OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
098: IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
099: INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
100: NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
101: DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
102: THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
103: (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
104: THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
105: */
|