org.omwg.ontology
Interface Axiom

All Superinterfaces:

Entity, OntologyElement

public interface Axiom
extends OntologyElement

This interface represents a WSMO axiom.

Version:

$Revision: 1.10 $ $Date: 2005/09/02 13:32:43 $

Author:

not attributable

Method Summary

void	addDefinition(LogicalExpression definition)
java.util.Set	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

java.util.Set listDefinitions()

addDefinition

void addDefinition(LogicalExpression definition)

removeDefinition

void removeDefinition(LogicalExpression le)