org.deri.wsml.reasoner.dig
Class VisitorSerializeWSML2DIG

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

All Implemented Interfaces:

org.omwg.logexpression.Visitor

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

This class serializes formulae within WSML logical expressions

Author:

Livia Predoiu

See Also:

Visitor

Constructor Summary

VisitorSerializeWSML2DIG(org.wsmo.common.TopEntity nsC)

Method Summary

java.util.Set	getCS()
java.lang.String	getDefinitions()
java.lang.Object	getSerializedObject()
org.omwg.logexpression.terms.Variable	getVariableConcept(org.omwg.logexpression.LogicalExpression expr)
java.lang.Object[]	getVariablesRole(org.omwg.logexpression.LogicalExpression expr)
boolean	isAtomicConcept(org.omwg.logexpression.LogicalExpression expr)
boolean	isRole(org.omwg.logexpression.LogicalExpression expr)
void	setnewformula()
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

VisitorSerializeWSML2DIG

public VisitorSerializeWSML2DIG(org.wsmo.common.TopEntity nsC)

Method Detail

setnewformula

public void setnewformula()

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

visitNaf

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

Specified by:

visitNaf in interface org.omwg.logexpression.Visitor

visitNeg

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

Specified by:

visitNeg 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

visitEquivalent

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

Specified by:

visitEquivalent 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

visitImpliesLP

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

Specified by:

visitImpliesLP in interface org.omwg.logexpression.Visitor

visitOr

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

Specified by:

visitOr 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

getSerializedObject

public java.lang.Object getSerializedObject()

getCS

public java.util.Set getCS()

getDefinitions

public java.lang.String getDefinitions()

isRole

public boolean isRole(org.omwg.logexpression.LogicalExpression expr)

getVariablesRole

public java.lang.Object[] getVariablesRole(org.omwg.logexpression.LogicalExpression expr)

getVariableConcept

public org.omwg.logexpression.terms.Variable getVariableConcept(org.omwg.logexpression.LogicalExpression expr)

isAtomicConcept

public boolean isAtomicConcept(org.omwg.logexpression.LogicalExpression expr)