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