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  
21  /**
22   * Built in atoms represent such atom that are defined as built-in.
23   *
24   * E.g. wsml#numericEqual(1,1) (which would be in the surface
25   * syntax 1=1.
26   *
27   * <pre>
28   * Created on Sep 7, 2005
29   * Committed by $Author$
30   * $Source$,
31   * </pre>
32   *
33   * @author Holger Lausen (holger.lausen@deri.org)
34   *
35   * @version $Revision$ $Date$
36   */
37  public interface BuiltInAtom
38          extends Atom {
39  
40  }