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 */