View Javadoc

1   /*
2    wsmo4j - a WSMO API and Reference Implementation
3   
4    Copyright (c) 2004-2005, OntoText Lab. / SIRMA
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  
19  /**
20   * <p>Title: WSMO4J</p>
21   * <p>Description: WSMO API and a Reference Implementation</p>
22   * <p>Copyright:  Copyright (c) 2004-2005</p>
23   * <p>Company: OntoText Lab. / SIRMA </p>
24   */
25  
26  package org.omwg.ontology;
27  
28  
29  import org.omwg.logicalexpression.terms.*;
30  
31  
32  /**
33   * represents a variable (for a logical expression)
34   *
35   * @see Relation
36   * @author not attributable
37   * @version $Revision: 877 $ $Date: 2005-09-09 13:54:44 +0300 (Fri, 09 Sep 2005) $
38   */
39  
40  public interface Variable
41          extends Term {
42      String getName();
43  }
44  /*
45   * $Log$
46   * Revision 1.6  2005/09/09 10:52:20  marin_dimitrov
47   * formatting
48   *
49   * Revision 1.5  2005/09/02 13:32:43  ohamano
50   * move logicalexpression packages from ext to core
51   * move tests from logicalexpression.test to test module
52   *
53   * Revision 1.4  2005/09/02 09:43:28  ohamano
54   * integrate wsmo-api and le-api on api and reference implementation level; full parser, serializer and validator integration will be next step
55   *
56   * Revision 1.3  2005/06/01 10:23:02  marin_dimitrov
57   * v0.4.0
58   *
59   * Revision 1.3  2005/05/13 15:02:42  marin
60   * javadoc, header, footer, etc
61   *
62   * Revision 1.7  2005/05/13 13:58:25  marin
63   * javadoc, header, footer, etc
64   *
65   */