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: QualifiedRestriction.java,v $
010: * Revision $Revision: 1.8 $
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 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: * Represents a qualified restriction, in which all values of the restricted property
026: * are required to be members of a given class. At present, this capability is only
027: * part of DAML+OIL, not OWL.
028: * </p>
029: *
030: * @author Ian Dickinson, HP Labs
031: * (<a href="mailto:Ian.Dickinson@hp.com" >email</a>)
032: * @version CVS $Id: QualifiedRestriction.java,v 1.8 2008/01/02 12:06:41 andy_seaborne Exp $
033: */
034: public interface QualifiedRestriction extends Restriction {
035: // Constants
036: //////////////////////////////////
037:
038: // External signature methods
039: //////////////////////////////////
040:
041: /**
042: * <p>Assert that this qualified restriction restricts the property to have a given
043: * cardinality and to have values belonging to the class denoted by <code>hasClassQ</code>.
044: * Any existing statements for <code>hasClassQ</code>
045: * will be removed.</p>
046: * @param cls The class to which all of the value of the restricted property must belong
047: * @exception OntProfileException If the {@link Profile#HAS_CLASS_Q()} property is not supported in the current language profile.
048: */
049: public void setHasClassQ(OntClass cls);
050:
051: /**
052: * <p>Answer the class or datarange to which all values of the restricted property belong.</p>
053: * @return The ontology class of the restricted property values
054: * @exception OntProfileException If the {@link Profile#HAS_CLASS_Q()} property is not supported in the current language profile.
055: */
056: public OntResource getHasClassQ();
057:
058: /**
059: * <p>Answer true if this qualified property restriction has the given class as
060: * the class to which all of the property values must belong.</p>
061: * @param cls The class to test against
062: * @return True if the given class is the class to which all members of this restriction must belong
063: * @exception OntProfileException If the {@link Profile#HAS_CLASS_Q()} property is not supported in the current language profile.
064: */
065: public boolean hasHasClassQ(OntClass cls);
066:
067: /**
068: * <p>Answer true if this qualified property restriction has the given datarange as
069: * the class to which all of the property values must belong.</p>
070: * @param dr The datarange to test against
071: * @return True if the given class is the class to which all members of this restriction must belong
072: * @exception OntProfileException If the {@link Profile#HAS_CLASS_Q()} property is not supported in the current language profile.
073: */
074: public boolean hasHasClassQ(DataRange dr);
075:
076: /**
077: * <p>Remove the statement that this restriction has the given class
078: * as the class to which all values must belong. If this statement
079: * is not true of the current model, nothing happens.</p>
080: * @param cls The ont class that is the object of the <code>hasClassQ</code> property.
081: */
082: public void removeHasClassQ(OntClass cls);
083:
084: /**
085: * <p>Remove the statement that this restriction has the given datarange
086: * as the class to which all values must belong. If this statement
087: * is not true of the current model, nothing happens.</p>
088: * @param dr The datarange that is the object of the <code>hasClassQ</code> property.
089: */
090: public void removeHasClassQ(DataRange dr);
091:
092: }
093:
094: /*
095: * (c) Copyright 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP
096: * All rights reserved.
097: *
098: * Redistribution and use in source and binary forms, with or without
099: * modification, are permitted provided that the following conditions
100: * are met:
101: * 1. Redistributions of source code must retain the above copyright
102: * notice, this list of conditions and the following disclaimer.
103: * 2. Redistributions in binary form must reproduce the above copyright
104: * notice, this list of conditions and the following disclaimer in the
105: * documentation and/or other materials provided with the distribution.
106: * 3. The name of the author may not be used to endorse or promote products
107: * derived from this software without specific prior written permission.
108: *
109: * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
110: * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
111: * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
112: * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
113: * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
114: * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
115: * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
116: * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
117: * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
118: * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
119: */
|