org.deri.wsmo4j.logicalexpression.util
Class ItemCollectHelper

java.lang.Object
  org.deri.wsmo4j.logicalexpression.AbstractVisitor
      org.deri.wsmo4j.logicalexpression.util.ItemCollectHelper

All Implemented Interfaces:

org.omwg.logicalexpression.Visitor

public class ItemCollectHelper
extends AbstractVisitor

Helper class for retrieving the concepts, instances and attributes from logical expressions.

Author:

Nathalie Steinmetz, DERI Innsbruck

Constructor Summary

ItemCollectHelper()

Method Summary

Map<org.omwg.logicalexpression.terms.Term,org.omwg.logicalexpression.terms.Term>	getAttributeIds()
Set<org.omwg.logicalexpression.terms.Term>	getConceptIds()
Set<org.omwg.logicalexpression.terms.Term>	getInstanceIds()
Set<org.omwg.logicalexpression.terms.Term>	getRelationIds()
void	visitAtom(org.omwg.logicalexpression.Atom expr)
void	visitAttributeContraintMolecule(org.omwg.logicalexpression.AttributeConstraintMolecule expr)
void	visitAttributeInferenceMolecule(org.omwg.logicalexpression.AttributeInferenceMolecule expr)
void	visitAttributeValueMolecule(org.omwg.logicalexpression.AttributeValueMolecule expr)
void	visitCompoundMolecule(org.omwg.logicalexpression.CompoundMolecule expr)
void	visitMemberShipMolecule(org.omwg.logicalexpression.MembershipMolecule expr)
void	visitSubConceptMolecule(org.omwg.logicalexpression.SubConceptMolecule expr)

Methods inherited from class org.deri.wsmo4j.logicalexpression.AbstractVisitor

visitConjunction, visitConstraint, visitDisjunction, visitEquivalence, visitExistentialQuantification, visitImplication, visitInverseImplication, visitLogicProgrammingRule, visitMolecule, visitNegation, visitNegationAsFailure, visitUniversalQuantification

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ItemCollectHelper

public ItemCollectHelper()

Method Detail

visitAtom

public void visitAtom(org.omwg.logicalexpression.Atom expr)

Specified by:

visitAtom in interface org.omwg.logicalexpression.Visitor

Overrides:

visitAtom in class AbstractVisitor

Parameters:

expr - Atom

See Also:

Visitor.visitAtom(org.omwg.logicalexpression.Atom)

visitCompoundMolecule

public void visitCompoundMolecule(org.omwg.logicalexpression.CompoundMolecule expr)

visitSubConceptMolecule

public void visitSubConceptMolecule(org.omwg.logicalexpression.SubConceptMolecule expr)

visitMemberShipMolecule

public void visitMemberShipMolecule(org.omwg.logicalexpression.MembershipMolecule expr)

visitAttributeValueMolecule

public void visitAttributeValueMolecule(org.omwg.logicalexpression.AttributeValueMolecule expr)

visitAttributeContraintMolecule

public void visitAttributeContraintMolecule(org.omwg.logicalexpression.AttributeConstraintMolecule expr)

visitAttributeInferenceMolecule

public void visitAttributeInferenceMolecule(org.omwg.logicalexpression.AttributeInferenceMolecule expr)

getConceptIds

public Set<org.omwg.logicalexpression.terms.Term> getConceptIds()

Returns:

Set containing the identifier of the logical expression's concepts

getInstanceIds

public Set<org.omwg.logicalexpression.terms.Term> getInstanceIds()

Returns:

Set containing the identifier of the logical expression's instances

getAttributeIds

public Map<org.omwg.logicalexpression.terms.Term,org.omwg.logicalexpression.terms.Term> getAttributeIds()

Returns:

Set containing the identifier of the logical expression's attributes

getRelationIds

public Set<org.omwg.logicalexpression.terms.Term> getRelationIds()

Returns:

Set containing the identifier of the logical expression's relations