org.deri.wsmo4j.validator
Class WsmlDLExpressionValidator

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

public class WsmlDLExpressionValidator
extends Object
implements org.omwg.logicalexpression.Visitor

Checks logical expressions for wsml-dl validity.

Author:
nathalie.steinmetz@deri.org

Nested Class Summary
protected  class WsmlDLExpressionValidator.Graph
           
 
Constructor Summary
protected WsmlDLExpressionValidator(org.omwg.ontology.Axiom axiom, org.wsmo.factory.LogicalExpressionFactory leFactory, List<org.wsmo.validator.ValidationError> errors, WsmlDLValidator validator)
           
 
Method Summary
 Set getMolecules()
           
 int getNumberOfMolecules()
           
 org.omwg.ontology.Variable getRoot()
           
 Set getVariables()
           
protected  void setGraph(boolean graph)
           
protected  void setup()
           
 void visitAtom(org.omwg.logicalexpression.Atom expr)
          Checks if an Atom is valid to wsml-dl.
 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 visitConjunction(org.omwg.logicalexpression.Conjunction expr)
          Checks if a Conjunction is valid to wsml-dl.
 void visitConstraint(org.omwg.logicalexpression.Constraint expr)
          Checks if a Constraint is valid to wsml-dl.
 void visitDisjunction(org.omwg.logicalexpression.Disjunction expr)
          Checks if a Disjunction is valid to wsml-dl.
 void visitEquivalence(org.omwg.logicalexpression.Equivalence expr)
          Checks if an Equivalence is valid to wsml-dl.
 void visitExistentialQuantification(org.omwg.logicalexpression.ExistentialQuantification expr)
          Checks if an ExistentialQuantification is valid to wsml-dl.
 void visitImplication(org.omwg.logicalexpression.Implication expr)
          Checks if an Implication is valid to wsml-dl.
 void visitInverseImplication(org.omwg.logicalexpression.InverseImplication expr)
          Checks if an InverseImplication is valid to wsml-dl.
 void visitLogicProgrammingRule(org.omwg.logicalexpression.LogicProgrammingRule expr)
          Checks if a LogicProgrammingRule is valid to wsml-dl.
 void visitMemberShipMolecule(org.omwg.logicalexpression.MembershipMolecule expr)
           
 void visitNegation(org.omwg.logicalexpression.Negation expr)
          Checks if a Negation is valid to wsml-dl.
 void visitNegationAsFailure(org.omwg.logicalexpression.NegationAsFailure expr)
          Checks if a NegationAsFailure is valid to wsml-dl.
 void visitSubConceptMolecule(org.omwg.logicalexpression.SubConceptMolecule expr)
           
 void visitUniversalQuantification(org.omwg.logicalexpression.UniversalQuantification expr)
          Checks if a UniversalQuantification is valid to wsml-dl.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

WsmlDLExpressionValidator

protected WsmlDLExpressionValidator(org.omwg.ontology.Axiom axiom,
                                    org.wsmo.factory.LogicalExpressionFactory leFactory,
                                    List<org.wsmo.validator.ValidationError> errors,
                                    WsmlDLValidator validator)
Parameters:
axiom - whose logical expression is checked
errors - list that will be filled with error messages of found variant violations
Method Detail

setup

protected void setup()

visitAtom

public void visitAtom(org.omwg.logicalexpression.Atom expr)
Checks if an Atom is valid to wsml-dl.

Specified by:
visitAtom in interface org.omwg.logicalexpression.Visitor
See Also:
WsmlFullExpressionValidator.visitAtom(org.omwg.logicalexpression.Atom)

visitAttributeContraintMolecule

public void visitAttributeContraintMolecule(org.omwg.logicalexpression.AttributeConstraintMolecule expr)
Specified by:
visitAttributeContraintMolecule in interface org.omwg.logicalexpression.Visitor
See Also:
WsmlFullExpressionValidator.visitAttributeContraintMolecule(org.omwg.logicalexpression.AttributeConstraintMolecule)

visitAttributeInferenceMolecule

public void visitAttributeInferenceMolecule(org.omwg.logicalexpression.AttributeInferenceMolecule expr)
Specified by:
visitAttributeInferenceMolecule in interface org.omwg.logicalexpression.Visitor
See Also:
WsmlFullExpressionValidator.visitAttributeInferenceMolecule(org.omwg.logicalexpression.AttributeInferenceMolecule)

visitAttributeValueMolecule

public void visitAttributeValueMolecule(org.omwg.logicalexpression.AttributeValueMolecule expr)
Specified by:
visitAttributeValueMolecule in interface org.omwg.logicalexpression.Visitor
See Also:
WsmlFullExpressionValidator.visitAttributeValueMolecule(org.omwg.logicalexpression.AttributeValueMolecule)

visitCompoundMolecule

public void visitCompoundMolecule(org.omwg.logicalexpression.CompoundMolecule expr)
Specified by:
visitCompoundMolecule in interface org.omwg.logicalexpression.Visitor
See Also:
WsmlFullExpressionValidator.visitCompoundMolecule(org.omwg.logicalexpression.CompoundMolecule)

visitMemberShipMolecule

public void visitMemberShipMolecule(org.omwg.logicalexpression.MembershipMolecule expr)
Specified by:
visitMemberShipMolecule in interface org.omwg.logicalexpression.Visitor
See Also:
WsmlFullExpressionValidator.visitMemberShipMolecule(org.omwg.logicalexpression.MembershipMolecule)

visitSubConceptMolecule

public void visitSubConceptMolecule(org.omwg.logicalexpression.SubConceptMolecule expr)
Specified by:
visitSubConceptMolecule in interface org.omwg.logicalexpression.Visitor
See Also:
WsmlFullExpressionValidator.visitSubConceptMolecule(org.omwg.logicalexpression.SubConceptMolecule)

visitNegation

public void visitNegation(org.omwg.logicalexpression.Negation expr)
Checks if a Negation is valid to wsml-dl.

Specified by:
visitNegation in interface org.omwg.logicalexpression.Visitor
See Also:
WsmlFullExpressionValidator.visitNegation(org.omwg.logicalexpression.Negation)

visitNegationAsFailure

public void visitNegationAsFailure(org.omwg.logicalexpression.NegationAsFailure expr)
Checks if a NegationAsFailure is valid to wsml-dl.

Specified by:
visitNegationAsFailure in interface org.omwg.logicalexpression.Visitor
See Also:
WsmlFullExpressionValidator.visitNegationAsFailure(org.omwg.logicalexpression.NegationAsFailure)

visitConstraint

public void visitConstraint(org.omwg.logicalexpression.Constraint expr)
Checks if a Constraint is valid to wsml-dl.

Specified by:
visitConstraint in interface org.omwg.logicalexpression.Visitor
See Also:
WsmlFullExpressionValidator.visitConstraint(org.omwg.logicalexpression.Constraint)

visitConjunction

public void visitConjunction(org.omwg.logicalexpression.Conjunction expr)
Checks if a Conjunction is valid to wsml-dl.

Specified by:
visitConjunction in interface org.omwg.logicalexpression.Visitor
See Also:
WsmlFullExpressionValidator.visitConjunction(org.omwg.logicalexpression.Conjunction)

visitDisjunction

public void visitDisjunction(org.omwg.logicalexpression.Disjunction expr)
Checks if a Disjunction is valid to wsml-dl.

Specified by:
visitDisjunction in interface org.omwg.logicalexpression.Visitor
See Also:
WsmlFullExpressionValidator.visitDisjunction(org.omwg.logicalexpression.Disjunction)

visitInverseImplication

public void visitInverseImplication(org.omwg.logicalexpression.InverseImplication expr)
Checks if an InverseImplication is valid to wsml-dl.

Specified by:
visitInverseImplication in interface org.omwg.logicalexpression.Visitor
See Also:
WsmlFullExpressionValidator.visitInverseImplication(org.omwg.logicalexpression.InverseImplication)

visitImplication

public void visitImplication(org.omwg.logicalexpression.Implication expr)
Checks if an Implication is valid to wsml-dl.

Specified by:
visitImplication in interface org.omwg.logicalexpression.Visitor
See Also:
WsmlFullExpressionValidator.visitImplication(org.omwg.logicalexpression.Implication)

visitEquivalence

public void visitEquivalence(org.omwg.logicalexpression.Equivalence expr)
Checks if an Equivalence is valid to wsml-dl.

Specified by:
visitEquivalence in interface org.omwg.logicalexpression.Visitor
See Also:
WsmlFullExpressionValidator.visitEquivalence(org.omwg.logicalexpression.Equivalence)

visitLogicProgrammingRule

public void visitLogicProgrammingRule(org.omwg.logicalexpression.LogicProgrammingRule expr)
Checks if a LogicProgrammingRule is valid to wsml-dl.

Specified by:
visitLogicProgrammingRule in interface org.omwg.logicalexpression.Visitor
See Also:
WsmlFullExpressionValidator.visitLogicProgrammingRule(org.omwg.logicalexpression.LogicProgrammingRule)

visitUniversalQuantification

public void visitUniversalQuantification(org.omwg.logicalexpression.UniversalQuantification expr)
Checks if a UniversalQuantification is valid to wsml-dl.

Specified by:
visitUniversalQuantification in interface org.omwg.logicalexpression.Visitor
See Also:
WsmlFullExpressionValidator.visitUniversalQuantification(org.omwg.logicalexpression.UniversalQuantification)

visitExistentialQuantification

public void visitExistentialQuantification(org.omwg.logicalexpression.ExistentialQuantification expr)
Checks if an ExistentialQuantification is valid to wsml-dl.

Specified by:
visitExistentialQuantification in interface org.omwg.logicalexpression.Visitor
See Also:
WsmlFullExpressionValidator.visitExistentialQuantification(org.omwg.logicalexpression.ExistentialQuantification)

getMolecules

public Set getMolecules()

getNumberOfMolecules

public int getNumberOfMolecules()

getVariables

public Set getVariables()

getRoot

public org.omwg.ontology.Variable getRoot()

setGraph

protected void setGraph(boolean graph)


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