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 07-May-2003
009: * Filename $RCSfile: AllValuesFromRestrictionImpl.java,v $
010: * Revision $Revision: 1.12 $
011: * Release status $State: Exp $
012: *
013: * Last modified on $Date: 2008/01/02 12:08:02 $
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.impl;
019:
020: // Imports
021: ///////////////
022: import com.hp.hpl.jena.enhanced.*;
023: import com.hp.hpl.jena.graph.*;
024: import com.hp.hpl.jena.ontology.*;
025: import com.hp.hpl.jena.rdf.model.Resource;
026:
027: /**
028: * <p>
029: * Implementation of the allValuesFrom restriction abstraction.
030: * </p>
031: *
032: * @author Ian Dickinson, HP Labs
033: * (<a href="mailto:Ian.Dickinson@hp.com" >email</a>)
034: * @version CVS $Id: AllValuesFromRestrictionImpl.java,v 1.12 2008/01/02 12:08:02 andy_seaborne Exp $
035: */
036: public class AllValuesFromRestrictionImpl extends RestrictionImpl
037: implements AllValuesFromRestriction {
038: // Constants
039: //////////////////////////////////
040:
041: // Static variables
042: //////////////////////////////////
043:
044: /**
045: * A factory for generating AllValuesFromRestriction facets from nodes in enhanced graphs.
046: * Note: should not be invoked directly by user code: use
047: * {@link com.hp.hpl.jena.rdf.model.RDFNode#as as()} instead.
048: */
049: public static Implementation factory = new Implementation() {
050: public EnhNode wrap(Node n, EnhGraph eg) {
051: if (canWrap(n, eg)) {
052: return new AllValuesFromRestrictionImpl(n, eg);
053: } else {
054: throw new ConversionException("Cannot convert node "
055: + n + " to AllValuesFromRestriction");
056: }
057: }
058:
059: public boolean canWrap(Node node, EnhGraph eg) {
060: // node will support being a AllValuesFromRestriction facet if it has rdf:type owl:Restriction or equivalent
061: // and the combination of owl:onProperty and owl:allValuesFrom (or equivalents)
062: Profile profile = (eg instanceof OntModel) ? ((OntModel) eg)
063: .getProfile()
064: : null;
065: return (profile != null)
066: && profile.isSupported(node, eg,
067: AllValuesFromRestriction.class);
068: }
069: };
070:
071: // Instance variables
072: //////////////////////////////////
073:
074: // Constructors
075: //////////////////////////////////
076:
077: /**
078: * <p>
079: * Construct a hasValue restriction node represented by the given node in the given graph.
080: * </p>
081: *
082: * @param n The node that represents the resource
083: * @param g The enh graph that contains n
084: */
085: public AllValuesFromRestrictionImpl(Node n, EnhGraph g) {
086: super (n, g);
087: }
088:
089: // External signature methods
090: //////////////////////////////////
091:
092: // allValuesFrom
093:
094: /**
095: * <p>Assert that this restriction restricts the property to have all values
096: * be members of the given class. Any existing statements for <code>allValuesFrom</code>
097: * will be removed.</p>
098: * @param cls The class that all values of the property must belong to
099: * @exception OntProfileException If the {@link Profile#ALL_VALUES_FROM()} property is not supported in the current language profile.
100: */
101: public void setAllValuesFrom(Resource cls) {
102: setPropertyValue(getProfile().ALL_VALUES_FROM(),
103: "ALL_VALUES_FROM", cls);
104: }
105:
106: /**
107: * <p>Answer the resource characterising the constraint on all values of the restricted property. This may be
108: * a class, the URI of a concrete datatype, a DataRange object or the URI rdfs:Literal.</p>
109: * @return A resource, which will have been pre-converted to the appropriate Java value type
110: * ({@link OntClass} or {@link DataRange}) if appropriate.
111: * @exception OntProfileException If the {@link Profile#ALL_VALUES_FROM()} property is not supported in the current language profile.
112: */
113: public Resource getAllValuesFrom() {
114: checkProfile(getProfile().ALL_VALUES_FROM(), "ALL_VALUES_FROM");
115: Resource r = (Resource) getRequiredProperty(
116: getProfile().ALL_VALUES_FROM()).getObject();
117:
118: boolean currentStrict = ((OntModel) getModel()).strictMode();
119: ((OntModel) getModel()).setStrictMode(true);
120:
121: try {
122: if (r.canAs(OntClass.class)) {
123: // all values from a class
124: return (Resource) r.as(OntClass.class);
125: } else if (r.canAs(DataRange.class)) {
126: // all values from a given data range
127: return (Resource) r.as(DataRange.class);
128: } else {
129: // must be a datatype ID or rdfs:Literal
130: return r;
131: }
132: } finally {
133: ((OntModel) getModel()).setStrictMode(currentStrict);
134: }
135: }
136:
137: /**
138: * <p>Answer true if this property restriction has the given class as the class to which all
139: * values of the restricted property must belong.</p>
140: * @param cls A class to test
141: * @return True if the given class is the class to which all values must belong
142: * @exception OntProfileException If the {@link Profile#ALL_VALUES_FROM()} property is not supported in the current language profile.
143: */
144: public boolean hasAllValuesFrom(Resource cls) {
145: return hasPropertyValue(getProfile().ALL_VALUES_FROM(),
146: "ALL_VALUES_FROM", cls);
147: }
148:
149: /**
150: * <p>Remove the statement that this restriction has all values from the given class among
151: * the values for the restricted property. If this statement
152: * is not true of the current model, nothing happens.</p>
153: * @param cls A Resource the denotes the class to be removed from this restriction
154: */
155: public void removeAllValuesFrom(Resource cls) {
156: removePropertyValue(getProfile().ALL_VALUES_FROM(),
157: "ALL_VALUES_FROM", cls);
158: }
159:
160: // Internal implementation methods
161: //////////////////////////////////
162:
163: //==============================================================================
164: // Inner class definitions
165: //==============================================================================
166:
167: }
168:
169: /*
170: (c) Copyright 2002, 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP
171: All rights reserved.
172:
173: Redistribution and use in source and binary forms, with or without
174: modification, are permitted provided that the following conditions
175: are met:
176:
177: 1. Redistributions of source code must retain the above copyright
178: notice, this list of conditions and the following disclaimer.
179:
180: 2. Redistributions in binary form must reproduce the above copyright
181: notice, this list of conditions and the following disclaimer in the
182: documentation and/or other materials provided with the distribution.
183:
184: 3. The name of the author may not be used to endorse or promote products
185: derived from this software without specific prior written permission.
186:
187: THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
188: IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
189: OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
190: IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
191: INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
192: NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
193: DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
194: THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
195: (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
196: THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
197: */
|