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.*;
21
22
23 /**
24 * This interface represents a logical expression that is either an atomic or a
25 * compound logical expression.
26 *
27 * @author DERI Innsbruck, reto.krummenacher@deri.org
28 * @author Holger Lausen (holger.lausen@deri.org)
29 * @version $Revision: 1351 $ $Date: 2005-11-28 17:46:02 +0200 (Mon, 28 Nov 2005) $
30 */
31 public interface LogicalExpression {
32
33 /**
34 * @see Visitor
35 */
36 void accept(Visitor v);
37
38 /**
39 * returns logical expression as string using the namespace
40 * definitions in the topEntity given as parameter
41 * @param nsHolder TopEntity that namespace are used to abreviate
42 * full IRIs.
43 * @return String representation of logical expression using
44 * sQNames to abbreviate full IRIs
45 */
46 String toString(TopEntity nsHolder);
47 }
48 /*
49 * $Log$
50 * Revision 1.5 2005/11/28 15:46:02 holgerlausen
51 * added support for using a TopEntity with namespace information to shorten string representation of logical expressions (RFE 1363559)
52 *
53 * Revision 1.4 2005/09/21 08:15:39 holgerlausen
54 * fixing java doc, removing asString()
55 *
56 * Revision 1.3 2005/09/09 11:58:19 holgerlausen
57 * fixed header logexp no longer extension
58 *
59 * Revision 1.2 2005/09/09 11:12:12 marin_dimitrov
60 * formatting
61 *
62 * Revision 1.1 2005/09/02 13:32:43 ohamano
63 * move logicalexpression packages from ext to core
64 * move tests from logicalexpression.test to test module
65 *
66 * Revision 1.7 2005/08/30 14:14:20 haselwanter
67 * Merging LE API to HEAD.
68 *
69 * Revision 1.6.2.1 2005/08/30 11:50:28 haselwanter
70 * Adapting javadocs.
71 *
72 * Revision 1.6 2005/08/16 16:28:29 nathaliest
73 * JavaDoc added
74 * Method getArgument(int) at UnaryImpl, QuantifiedImpl and BinaryImpl changed
75 * Method equals(Object) at QuantifiedImpl changed
76 *
77 * Revision 1.5 2005/07/18 09:43:07 ohamano
78 * visitor pattern for logical expression tree structure
79 * move operator to compound expressions
80 *
81 * Revision 1.4 2005/06/22 13:32:01 ohamano
82 * change header
83 *
84 * Revision 1.3 2005/06/20 08:30:03 holgerlausen
85 * formating
86 *
87 * Revision 1.2 2005/06/18 14:06:10 holgerlausen
88 * added local LEFactory, updated javadoc, refactored LEVariable > Variable etc. parse(String) for LEFactory is running now
89 *
90 * Revision 1.1 2005/06/16 13:55:23 ohamano
91 * first import
92 *
93 */