Uses of Interface
org.omwg.ontology.Axiom

Packages that use Axiom

org.omwg.ontology
org.wsmo.factory
org.wsmo.service

Uses of Axiom in org.omwg.ontology

Methods in org.omwg.ontology that return Axiom

Axiom

Ontology.findAxiom(Identifier id) Finds an axiom in the set of axioms defined by this ontology (returns NULL if none found).

Methods in org.omwg.ontology that return types with arguments of type Axiom

Set<Axiom>

Ontology.listAxioms() Lists the axioms defined by this ontology.

Methods in org.omwg.ontology with parameters of type Axiom

void	Ontology.addAxiom(Axiom axiom) Adds a new axiom to the set of axioms defined by this ontology.
void	Ontology.removeAxiom(Axiom axiom) Removes an axiom from the set of axioms defined by this ontology.

Uses of Axiom in org.wsmo.factory

Methods in org.wsmo.factory that return Axiom

Axiom	WsmoFactory.createAxiom(Identifier id) Creates a new Axiom object.
Axiom	WsmoFactory.getAxiom(Identifier id) Return existing Axiom instance

Uses of Axiom in org.wsmo.service

Methods in org.wsmo.service that return types with arguments of type Axiom

Set<Axiom>	Capability.listAssumptions() Lists the assumptions associated with this capability.
Set<Axiom>	Capability.listEffects() Lists the effects of this capability.
Set<Axiom>	Capability.listPostConditions() Returns the list of post-conditions associated with this capability.
Set<Axiom>	Capability.listPreConditions() Lists the pre-conditions of this capability.

Methods in org.wsmo.service with parameters of type Axiom

void	Capability.addAssumption(Axiom axiom) Adds an assumption to the list of assumptions associated with this capability.
void	Capability.addEffect(Axiom axiom) Adds an effect to the list of effects of this capability.
void	Capability.addPostCondition(Axiom axiom) Adds a new post-condition to the list of post-conditions associated with this capability.
void	Capability.addPreCondition(Axiom axiom) Adds a pre-condition to the list of pre-conditions of this capability.
void	Capability.removeAssumption(Axiom axiom) Removes an assumption from the list of assumptions associated with this capability.
void	Capability.removeEffect(Axiom axiom) Removes an effect from the list of effects associated with this capability.
void	Capability.removePostCondition(Axiom axiom) Removes a post-condition from the list of post-conditions associated with this capability.
void	Capability.removePreCondition(Axiom axiom) Removes a pre-condition from the list of pre-conditions associated with this capability.