org.deri.wsml.reasoner.dig
Class VisitorQualifiedNumberConjunction

java.lang.Object
  org.deri.wsml.reasoner.dig.VisitorQualifiedNumberConjunction

All Implemented Interfaces:

org.omwg.logexpression.Visitor

public class VisitorQualifiedNumberConjunction
extends java.lang.Object
implements org.omwg.logexpression.Visitor

This class handles the conjuction within qualified number restrictions that express "at most" relationships

Author:

Livia Predoiu

Constructor Summary

VisitorQualifiedNumberConjunction(java.util.Set variables, org.wsmo.common.TopEntity nsC)

Method Summary

java.lang.String	getConceptName()
java.lang.String	getRoleName()
boolean	getValidity()
void	visitAnd(org.omwg.logexpression.Binary expr)
void	visitAtom(org.omwg.logexpression.Atom expr)
void	visitConstraint(org.omwg.logexpression.Unary expr)
void	visitEquivalent(org.omwg.logexpression.Binary expr)
void	visitExists(org.omwg.logexpression.Quantified expr)
void	visitForall(org.omwg.logexpression.Quantified expr)
void	visitImpliedBy(org.omwg.logexpression.Binary expr)
void	visitImplies(org.omwg.logexpression.Binary expr)
void	visitImpliesLP(org.omwg.logexpression.Binary expr)
void	visitMolecule(org.omwg.logexpression.Molecule expr)
void	visitNaf(org.omwg.logexpression.Unary expr)
void	visitNeg(org.omwg.logexpression.Unary expr)
void	visitOr(org.omwg.logexpression.Binary expr)

Methods inherited from class java.lang.Object

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

Constructor Detail

VisitorQualifiedNumberConjunction

public VisitorQualifiedNumberConjunction(java.util.Set variables,
                                         org.wsmo.common.TopEntity nsC)

Method Detail

visitAtom

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

Specified by:

visitAtom in interface org.omwg.logexpression.Visitor

visitMolecule

public void visitMolecule(org.omwg.logexpression.Molecule expr)

Specified by:

visitMolecule in interface org.omwg.logexpression.Visitor

visitNeg

public void visitNeg(org.omwg.logexpression.Unary expr)

Specified by:

visitNeg in interface org.omwg.logexpression.Visitor

visitNaf

public void visitNaf(org.omwg.logexpression.Unary expr)

Specified by:

visitNaf in interface org.omwg.logexpression.Visitor

visitConstraint

public void visitConstraint(org.omwg.logexpression.Unary expr)

Specified by:

visitConstraint in interface org.omwg.logexpression.Visitor

visitAnd

public void visitAnd(org.omwg.logexpression.Binary expr)

Specified by:

visitAnd in interface org.omwg.logexpression.Visitor

visitOr

public void visitOr(org.omwg.logexpression.Binary expr)

Specified by:

visitOr in interface org.omwg.logexpression.Visitor

visitImpliedBy

public void visitImpliedBy(org.omwg.logexpression.Binary expr)

Specified by:

visitImpliedBy in interface org.omwg.logexpression.Visitor

visitImplies

public void visitImplies(org.omwg.logexpression.Binary expr)

Specified by:

visitImplies in interface org.omwg.logexpression.Visitor

visitEquivalent

public void visitEquivalent(org.omwg.logexpression.Binary expr)

Specified by:

visitEquivalent in interface org.omwg.logexpression.Visitor

visitImpliesLP

public void visitImpliesLP(org.omwg.logexpression.Binary expr)

Specified by:

visitImpliesLP in interface org.omwg.logexpression.Visitor

visitForall

public void visitForall(org.omwg.logexpression.Quantified expr)

Specified by:

visitForall in interface org.omwg.logexpression.Visitor

visitExists

public void visitExists(org.omwg.logexpression.Quantified expr)

Specified by:

visitExists in interface org.omwg.logexpression.Visitor

getValidity

public boolean getValidity()

getConceptName

public java.lang.String getConceptName()

getRoleName

public java.lang.String getRoleName()