org.omwg.ontology
Interface Axiom

All Superinterfaces:

Entity, OntologyElement

public interface Axiom
extends OntologyElement

This interface represents a WSMO axiom.

Version:

$Revision: 1946 $ $Date: 2007-04-02 15:13:28 +0300 (Mon, 02 Apr 2007) $

Author:

not attributable

Method Summary

void	addDefinition(LogicalExpression definition)
Set<LogicalExpression>	listDefinitions()
void	removeDefinition(LogicalExpression le)

Methods inherited from interface org.omwg.ontology.OntologyElement

getOntology, setOntology

Methods inherited from interface org.wsmo.common.Entity

addNFPValue, addNFPValue, getIdentifier, listNFPValues, listNFPValues, removeNFP, removeNFPValue, removeNFPValue

Method Detail

listDefinitions

Set<LogicalExpression> listDefinitions()

addDefinition

void addDefinition(LogicalExpression definition)

removeDefinition

void removeDefinition(LogicalExpression le)