KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > com > hp > hpl > jena > ontology > daml > DAMLRestriction


1 /*****************************************************************************
2  * Source code information
3  * -----------------------
4  * Original author Ian Dickinson, HP Labs Bristol
5  * Author email Ian.Dickinson@hp.com
6  * Package Jena
7  * Created 4 Jan 2001
8  * Filename $RCSfile: DAMLRestriction.java,v $
9  * Revision $Revision: 1.6 $
10  * Release status Preview-release $State: Exp $
11  *
12  * Last modified on $Date: 2005/02/21 12:05:02 $
13  * by $Author: andy_seaborne $
14  *
15  * (c) Copyright 2001, 2002, 2003, 2004, 2005 Hewlett-Packard Development Company, LP
16  * (see footer for full conditions)
17  *****************************************************************************/

18
19 // Package
20
///////////////
21
package com.hp.hpl.jena.ontology.daml;
22
23
24 // Imports
25
///////////////
26

27
28 /**
29  * <p>Java encapsulation of a DAML Restriction.</p>
30  *
31  * @author Ian Dickinson, HP Labs (<a HREF="mailto:Ian.Dickinson@hp.com">email</a>)
32  * @version CVS info: $Id: DAMLRestriction.java,v 1.6 2005/02/21 12:05:02 andy_seaborne Exp $
33  */

34 public interface DAMLRestriction
35     extends DAMLClass
36 {
37     // Constants
38
//////////////////////////////////
39

40
41     // External signature methods
42
//////////////////////////////////
43

44
45     /**
46      * <p>Property accessor for the <code>onProperty</code> property of a restriction. This
47      * denotes the property to which the restriction applies, and there is normally
48      * exactly one of them.
49      *
50      * @return Property accessor for <code>daml:onProperty</code>.
51      */

52     public PropertyAccessor prop_onProperty();
53
54
55     /**
56      * <p>Property accessor for the <code>toClass</code> property of a restriction. This denotes
57      * the class for which the restricted property always maps to instances that
58      * belong to the class given by this property.</p>
59      *
60      * @return Property accessor for <code>toClass</code>
61      */

62     public PropertyAccessor prop_toClass();
63
64
65     /**
66      * <p>Property accessor for the <code>hasValue</code> property of a restriction. This is
67      * used to construct a class expression in which the restricted property has the
68      * value indicated by this property.</p>
69      *
70      * @return Property accessor for <code>hasValue</code>
71      */

72     public PropertyAccessor prop_hasValue();
73
74
75     /**
76      * <p>Property accessor for the <code>hasClass</code> property of a restriction. This is
77      * used to construct a class expression in which the restricted property has at least
78      * one value belonging to the class indicated by this property.</p>
79      *
80      * @return Property accessor for <code>hasClass</code>
81      */

82     public PropertyAccessor prop_hasClass();
83
84
85     /**
86      * <p>Property accessor for the <code>hasClassQ</code> property of a restriction. This is
87      * used to construct a class expression in which a cardinality constraint is combined
88      * with a has-class restriction.</p>
89      *
90      * @return Property accessor for <code>hasClassQ</code>
91      */

92     public PropertyAccessor prop_hasClassQ();
93
94
95     /**
96      * <p>Property accessor for the <code>cardinality</code> property of a restriction. This denotes
97      * the combination of minCardinality and maxCardinality to the same value.</p>
98      *
99      * @return Property accessor for <code>cardinality</code>
100      */

101     public IntLiteralAccessor prop_cardinality();
102
103
104     /**
105      * <p>Property accessor for the <code>minCardinality</code> property of a restriction. This denotes
106      * the class of instances that have at least this number of distict values for the property.</p>
107      *
108      * @return Property accessor for <code>minCardinality</code>
109      */

110     public IntLiteralAccessor prop_minCardinality();
111
112
113     /**
114      * <p>Property accessor for the <code>maxCardinality</code> property of a restriction. This denotes
115      * the class of instances that have at most this number of distict values for the property.</p>
116      *
117      * @return Property accessor for <code>maxCardinality</code>
118      */

119     public IntLiteralAccessor prop_maxCardinality();
120
121
122     /**
123      * <p>Property accessor for the <code>cardinalityQ</code> property of a restriction. This denotes
124      * the combination of minCardinalityQ and maxCardinalityQ to the same value.</p>
125      *
126      * @return Property accessor for <code>cardinalityQ</code>
127      */

128     public IntLiteralAccessor prop_cardinalityQ();
129
130
131     /**
132      * <p>Property accessor for the <code>minCardinalityQ</code> property of a restriction. This denotes
133      * the class of instances that have at least this many distinct values of the class denoted by
134      * <code>hasClassQ</code> for the property.</p>
135      *
136      * @return Property accessor for <code>minCardinalityQ</code>
137      */

138     public IntLiteralAccessor prop_minCardinalityQ();
139
140
141     /**
142      * <p>Property accessor for the <code>maxCardinalityQ</code> property of a restriction. This denotes
143      * the class of instances that have at most this many distinct values of the class denoted by
144      * <code>hasClassQ</code> for the property.
145      *
146      * @return Property accessor for <code>maxCardinalityQ</code>
147      */

148     public IntLiteralAccessor prop_maxCardinalityQ();
149
150 }
151
152 /*
153     (c) Copyright 2001, 2002, 2003, 2004, 2005 Hewlett-Packard Development Company, LP
154     All rights reserved.
155
156     Redistribution and use in source and binary forms, with or without
157     modification, are permitted provided that the following conditions
158     are met:
159
160     1. Redistributions of source code must retain the above copyright
161        notice, this list of conditions and the following disclaimer.
162
163     2. Redistributions in binary form must reproduce the above copyright
164        notice, this list of conditions and the following disclaimer in the
165        documentation and/or other materials provided with the distribution.
166
167     3. The name of the author may not be used to endorse or promote products
168        derived from this software without specific prior written permission.
169
170     THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
171     IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
172     OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
173     IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
174     INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
175     NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
176     DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
177     THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
178     (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
179     THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
180 */

181
182
Popular Tags