org.deri.wsmo4j.validator
Class IDCollectHelper

java.lang.Object
  extended by org.deri.wsmo4j.logicalexpression.AbstractVisitor
      extended by org.deri.wsmo4j.validator.IDCollectHelper
All Implemented Interfaces:
org.omwg.logicalexpression.Visitor

public class IDCollectHelper
extends AbstractVisitor

The IDCollectHelper collects the concepts, instances and relations from axiom definitions into specified Sets.

 Created on Sep 9, 2005
 Committed by $Author$
 $Source$,
 

Version:
$Revision$ $Date$
Author:
Holger Lausen (holger.lausen@deri.org), nathalie.steinmetz@deri.org

Constructor Summary
IDCollectHelper()
           
 
Method Summary
 Set<org.omwg.logicalexpression.terms.Term> getConceptIds()
           
 Set<org.omwg.logicalexpression.terms.Term> getExplicitConcepts()
           
 Set<org.omwg.logicalexpression.terms.Term> getExplicitInstances()
           
 Set<org.omwg.logicalexpression.terms.Term> getExplicitRelations()
           
 Set<org.omwg.logicalexpression.terms.Term> getIdAbstractRelations()
           
 Set<org.omwg.logicalexpression.terms.Term> getIdConcreteRelations()
           
 Set<org.omwg.logicalexpression.terms.Term> getInstanceIds()
           
 Set<org.omwg.logicalexpression.terms.Term> getRelationIds()
           
 void visitAtom(org.omwg.logicalexpression.Atom expr)
          The identifiers of atoms must be relations in wsml-core.
 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

IDCollectHelper

public IDCollectHelper()
Method Detail

visitAtom

public void visitAtom(org.omwg.logicalexpression.Atom expr)
The identifiers of atoms must be relations in wsml-core. So the identifier is put into the relations Set.

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)

visitAttributeContraintMolecule

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

visitAttributeInferenceMolecule

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

visitAttributeValueMolecule

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

visitCompoundMolecule

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

visitMemberShipMolecule

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

visitSubConceptMolecule

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

getConceptIds

public Set<org.omwg.logicalexpression.terms.Term> getConceptIds()
Returns:
Set containing the logical expression's concepts

getExplicitConcepts

public Set<org.omwg.logicalexpression.terms.Term> getExplicitConcepts()
Returns:
Set containing the logical expression's explicitly declared concepts

getInstanceIds

public Set<org.omwg.logicalexpression.terms.Term> getInstanceIds()
Returns:
Set containing the logical expression's instances

getExplicitInstances

public Set<org.omwg.logicalexpression.terms.Term> getExplicitInstances()
Returns:
Set containing the logical expression's explicitly declared instances

getRelationIds

public Set<org.omwg.logicalexpression.terms.Term> getRelationIds()
Returns:
Set containing the logical expression's relations

getExplicitRelations

public Set<org.omwg.logicalexpression.terms.Term> getExplicitRelations()
Returns:
Set containing the logical expression's explicitly declared relations

getIdAbstractRelations

public Set<org.omwg.logicalexpression.terms.Term> getIdAbstractRelations()
Returns:
Set containing the logical expression's relations with abstract range

getIdConcreteRelations

public Set<org.omwg.logicalexpression.terms.Term> getIdConcreteRelations()
Returns:
Set containing the logical expression's relations with concrete range


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