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)


Copyright © 2004-2008 Ontotext Lab.. All Rights Reserved.