View Javadoc

1   /*
2    wsmo4j - a WSMO API and Reference Implementation
3   
4    Copyright (c) 2005, University of Innsbruck, Austria
5   
6    This library is free software; you can redistribute it and/or modify it under
7    the terms of the GNU Lesser General Public License as published by the Free
8    Software Foundation; either version 2.1 of the License, or (at your option)
9    any later version.
10   This library is distributed in the hope that it will be useful, but WITHOUT
11   ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
12   FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more
13   details.
14   You should have received a copy of the GNU Lesser General Public License along
15   with this library; if not, write to the Free Software Foundation, Inc.,
16   59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
17   */
18  package org.omwg.logicalexpression;
19  
20  import org.wsmo.common.WSML;
21  
22  
23  /**
24   * This interface contains constants that can appear in a logical expression, like
25   * e.g., delimiters, built-in predicate names and datatypes
26   * @author DERI Innsbruck, reto.krummenacher@deri.org
27   * @version $Revision: 1874 $ $Date: 2006-11-16 11:36:28 +0200 (Thu, 16 Nov 2006) $
28   */
29  public interface Constants {
30  
31      final static String IRI_DEL_START = "_\"";
32  
33      final static String STRING_DEL_START = "\"";
34  
35      final static String IRI_DEL_END = STRING_DEL_START;
36  
37      final static String STRING_DEL_END = STRING_DEL_START;
38  
39      final static String SQNAME_DEL = "#";
40  
41      final static String VARIABLE_DEL = "?";
42  
43      final static String WSML_NAMESPACE = WSML.WSML_NAMESPACE;
44  
45      final static String ANONYMOUS_ID = WSML_NAMESPACE + "anonymousID";
46  
47      final static String ANONYMOUS_ID_NOTATION = "_#";
48  
49      final static String TRUE = "true";
50  
51      final static String FALSE = "false";
52  
53      final static String UNIV_TRUE = WSML_NAMESPACE + TRUE;
54  
55      final static String UNIV_FALSE = WSML_NAMESPACE + FALSE;
56  
57      final static String NUMERIC_ADD = WSML_NAMESPACE + "numericAdd";
58  
59      final static String NUMERIC_SUB = WSML_NAMESPACE + "numericSubtract";
60  
61      final static String NUMERIC_MUL = WSML_NAMESPACE + "numericMultiply";
62  
63      final static String NUMERIC_DIV = WSML_NAMESPACE + "numericDivide";
64  
65      final static String NUMERIC_ADD_NOTATION = "+";
66  
67      final static String NUMERIC_SUB_NOTATION = "-";
68  
69      final static String NUMERIC_MUL_NOTATION = "*";
70  
71      final static String NUMERIC_DIV_NOTATION = "/";
72  
73      final static String EQUAL = WSML_NAMESPACE + "equal";
74  
75      final static String STRONG_EQUAL = WSML_NAMESPACE + "strongEqual";
76  
77      final static String INEQUAL = WSML_NAMESPACE + "inequal";
78  
79      final static String STRING_EQUAL = WSML_NAMESPACE + "stringEqual";
80  
81      final static String STRING_INEQUAL = WSML_NAMESPACE + "stringInequal";
82  
83      final static String NUMERIC_EQUAL = WSML_NAMESPACE + "numericEqual";
84  
85      final static String NUMERIC_INEQUAL = WSML_NAMESPACE + "numericInequal";
86  
87      final static String LESS_THAN = WSML_NAMESPACE + "lessThan";
88  
89      final static String LESS_EQUAL = WSML_NAMESPACE + "lessEqual";
90  
91      final static String GREATER_THAN = WSML_NAMESPACE + "greaterThan";
92  
93      final static String GREATER_EQUAL = WSML_NAMESPACE + "greaterEqual";
94  
95      final static String EQUAL_NOTATION = "=";
96  
97      final static String STRONG_EQUAL_NOTATION = ":=:";
98  
99      final static String INEQUAL_NOTATION = "!=";
100 
101     final static String STRING_EQUAL_NOTATION = "=";
102 
103     final static String STRING_INEQUAL_NOTATION = "!=";
104 
105     final static String NUMERIC_EQUAL_NOTATION = "=";
106 
107     final static String NUMERIC_INEQUAL_NOTATION = "!=";
108 
109     final static String LESS_THAN_NOTATION = "<";
110 
111     final static String LESS_EQUAL_NOTATION = "=<";
112 
113     final static String GREATER_THAN_NOTATION = ">";
114 
115     final static String GREATER_EQUAL_NOTATION = ">=";
116 
117 }
118 /*
119  * $Log$
120  * Revision 1.6  2006/11/16 09:36:28  holgerlausen
121  * removed duplicated namespace definition occurences
122  *
123  * Revision 1.5  2005/09/23 07:09:51  holgerlausen
124  * moved constanttransformer from API to implementation, removed dublicated constants in logicalexpression.constants
125  *
126  * Revision 1.4  2005/09/13 09:51:42  holgerlausen
127  * fixed problem with less or equal serialization
128  *
129  * Revision 1.3  2005/09/09 11:58:19  holgerlausen
130  * fixed header logexp no longer extension
131  *
132  * Revision 1.2  2005/09/09 11:12:12  marin_dimitrov
133  * formatting
134  *
135  * Revision 1.1  2005/09/02 13:32:43  ohamano
136  * move logicalexpression packages from ext to core
137  * move tests from logicalexpression.test to test module
138  *
139  * Revision 1.6  2005/09/01 10:53:31  nathaliest
140  * added strong equality operator
141  *
142  * Revision 1.5  2005/08/24 16:16:12  nathaliest
143  * added array of wsml datatypes
144  *
145  * Revision 1.4  2005/06/22 13:32:01  ohamano
146  * change header
147  *
148  * Revision 1.3  2005/06/20 08:30:03  holgerlausen
149  * formating
150  *
151  * Revision 1.2  2005/06/18 14:06:10  holgerlausen
152  * added local LEFactory, updated javadoc, refactored LEVariable > Variable etc. parse(String) for LEFactory is running now
153  *
154  * Revision 1.1  2005/06/16 13:55:23  ohamano
155  * first import
156  *
157  *
158  */