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 java.util.*;
30  
31  import org.omwg.logicalexpression.*;
32  
33  
34  /**
35   * This interface represents a WSMO axiom.
36   *
37   * @author not attributable
38   * @version $Revision: 1946 $ $Date: 2007-04-02 15:13:28 +0300 (Mon, 02 Apr 2007) $
39   */
40  public interface Axiom
41      extends OntologyElement {
42  
43      Set <LogicalExpression> listDefinitions();
44  
45      void addDefinition(LogicalExpression definition);
46  
47      void removeDefinition(LogicalExpression le);
48  
49      /**
50       * @link aggregationByValue
51       * @supplierCardinality 1..*
52       * @supplierRole defined-by
53       * @directed
54       */
55      /*# LogicalExpression lnkLogicalExpression; */
56  }
57  
58  /*
59   * $Log$
60   * Revision 1.11  2007/04/02 12:13:14  morcen
61   * Generics support added to wsmo-api, wsmo4j and wsmo-test
62   *
63   * Revision 1.10  2005/09/02 13:32:43  ohamano
64   * move logicalexpression packages from ext to core
65   * move tests from logicalexpression.test to test module
66   *
67   * Revision 1.9  2005/06/01 10:10:40  marin_dimitrov
68   * v0.4.0
69   *
70   * Revision 1.4  2005/05/12 14:44:26  marin
71   * javadoc, header, footer, etc
72   *
73   */