org.deri.wsmo4j.validator
Class WsmlCoreExpressionValidator

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

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

Checks logical expressions for wsml-core validity.

  Created on Aug 19, 2005
  Committed by $Author: morcen $
  $Source$,
 

Version:
$Revision: 1946 $ $Date: 2007-04-02 15:13:28 +0300 (Mon, 02 Apr 2007) $
Author:
nathalie.steinmetz@deri.org

Nested Class Summary
protected  class WsmlCoreExpressionValidator.Graph
           
 
Constructor Summary
protected WsmlCoreExpressionValidator(org.omwg.ontology.Axiom axiom, org.wsmo.factory.LogicalExpressionFactory leFactory, List<org.wsmo.validator.ValidationError> errors, WsmlCoreValidator val)
           
 
Method Summary
 Set getLHSVariables()
           
 int getNumberOfMolecules()
           
protected  void setup()
           
 void visitAtom(org.omwg.logicalexpression.Atom expr)
          Checks if an atom is valid to wsml-core.
 void visitAttributeContraintMolecule(org.omwg.logicalexpression.AttributeConstraintMolecule expr)
          Checks if an AttributeConstraintMolecule is valid to wsml-core.
 void visitAttributeInferenceMolecule(org.omwg.logicalexpression.AttributeInferenceMolecule expr)
          Checks if an AttributeInferenceMolecule is valid to wsml-core.
 void visitAttributeValueMolecule(org.omwg.logicalexpression.AttributeValueMolecule expr)
          Checks if an AttributeValueMolecule is valid to wsml-core.
 void visitCompoundMolecule(org.omwg.logicalexpression.CompoundMolecule expr)
          Checks if a CompoundMolecule is valid to wsml-core.
 void visitConjunction(org.omwg.logicalexpression.Conjunction expr)
          Checks if a Conjunction is valid to wsml-core.
 void visitConstraint(org.omwg.logicalexpression.Constraint expr)
          Checks if a Constraint is valid to wsml-core.
 void visitDisjunction(org.omwg.logicalexpression.Disjunction expr)
          Checks if a Disjunction is valid to wsml-core.
 void visitEquivalence(org.omwg.logicalexpression.Equivalence expr)
          Checks if an Equivalence is valid to wsml-core.
 void visitExistentialQuantification(org.omwg.logicalexpression.ExistentialQuantification expr)
          Checks if an ExistentialQuantification is valid to wsml-core.
 void visitImplication(org.omwg.logicalexpression.Implication expr)
          Checks if an Implication is valid to wsml-core.
 void visitInverseImplication(org.omwg.logicalexpression.InverseImplication expr)
          Checks if an InverseImplication is valid to wsml-core.
 void visitLogicProgrammingRule(org.omwg.logicalexpression.LogicProgrammingRule expr)
          Checks if a LogicProgrammingRule is valid to wsml-core.
 void visitMemberShipMolecule(org.omwg.logicalexpression.MembershipMolecule expr)
          Checks if a MembershipMolecule is valid to wsml-core.
 void visitNegation(org.omwg.logicalexpression.Negation expr)
          Checks if a Negation is valid to wsml-core.
 void visitNegationAsFailure(org.omwg.logicalexpression.NegationAsFailure expr)
          Checks if a NegationAsFailure is valid to wsml-core.
 void visitSubConceptMolecule(org.omwg.logicalexpression.SubConceptMolecule expr)
          Checks if a SubConceptMolecule is valid to wsml-core.
 void visitUniversalQuantification(org.omwg.logicalexpression.UniversalQuantification expr)
          Checks if a UniversalQuantification is valid to wsml-core.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

WsmlCoreExpressionValidator

protected WsmlCoreExpressionValidator(org.omwg.ontology.Axiom axiom,
                                      org.wsmo.factory.LogicalExpressionFactory leFactory,
                                      List<org.wsmo.validator.ValidationError> errors,
                                      WsmlCoreValidator val)
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-core.

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

visitAttributeContraintMolecule

public void visitAttributeContraintMolecule(org.omwg.logicalexpression.AttributeConstraintMolecule expr)
Checks if an AttributeConstraintMolecule is valid to wsml-core.

Specified by:
visitAttributeContraintMolecule in interface org.omwg.logicalexpression.Visitor
See Also:
WsmlFlightExpressionValidator.visitAttributeContraintMolecule(org.omwg.logicalexpression.AttributeConstraintMolecule)

visitAttributeInferenceMolecule

public void visitAttributeInferenceMolecule(org.omwg.logicalexpression.AttributeInferenceMolecule expr)
Checks if an AttributeInferenceMolecule is valid to wsml-core.

Specified by:
visitAttributeInferenceMolecule in interface org.omwg.logicalexpression.Visitor
See Also:
WsmlFlightExpressionValidator.visitAttributeInferenceMolecule(org.omwg.logicalexpression.AttributeInferenceMolecule)

visitAttributeValueMolecule

public void visitAttributeValueMolecule(org.omwg.logicalexpression.AttributeValueMolecule expr)
Checks if an AttributeValueMolecule is valid to wsml-core.

Specified by:
visitAttributeValueMolecule in interface org.omwg.logicalexpression.Visitor
See Also:
WsmlFlightExpressionValidator.visitAttributeValueMolecule(org.omwg.logicalexpression.AttributeValueMolecule)

visitCompoundMolecule

public void visitCompoundMolecule(org.omwg.logicalexpression.CompoundMolecule expr)
Checks if a CompoundMolecule is valid to wsml-core.

Specified by:
visitCompoundMolecule in interface org.omwg.logicalexpression.Visitor
See Also:
WsmlFlightExpressionValidator.visitCompoundMolecule(org.omwg.logicalexpression.CompoundMolecule)

visitMemberShipMolecule

public void visitMemberShipMolecule(org.omwg.logicalexpression.MembershipMolecule expr)
Checks if a MembershipMolecule is valid to wsml-core.

Specified by:
visitMemberShipMolecule in interface org.omwg.logicalexpression.Visitor
See Also:
WsmlFlightExpressionValidator.visitMemberShipMolecule(org.omwg.logicalexpression.MembershipMolecule)

visitSubConceptMolecule

public void visitSubConceptMolecule(org.omwg.logicalexpression.SubConceptMolecule expr)
Checks if a SubConceptMolecule is valid to wsml-core.

Specified by:
visitSubConceptMolecule in interface org.omwg.logicalexpression.Visitor
See Also:
WsmlFlightExpressionValidator.visitSubConceptMolecule(org.omwg.logicalexpression.SubConceptMolecule)

visitNegation

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

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

visitNegationAsFailure

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

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

visitConstraint

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

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

visitConjunction

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

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

visitDisjunction

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

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

visitInverseImplication

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

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

visitImplication

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

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

visitEquivalence

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

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

visitLogicProgrammingRule

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

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

visitUniversalQuantification

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

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

visitExistentialQuantification

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

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

getNumberOfMolecules

public int getNumberOfMolecules()

getLHSVariables

public Set getLHSVariables()


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