org.deri.wsmo4j.validator
Class WsmlRuleValidator

java.lang.Object
  extended by org.deri.wsmo4j.validator.WsmlFullValidator
      extended by org.deri.wsmo4j.validator.WsmlRuleValidator
All Implemented Interfaces:
org.wsmo.validator.Validator
Direct Known Subclasses:
WsmlFlightValidator

public class WsmlRuleValidator
extends WsmlFullValidator

Checks an ontology for wsml-rule validity.

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

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

Field Summary
 
Fields inherited from class org.deri.wsmo4j.validator.WsmlFullValidator
constants, errors, leFactory, leSerializer, warnings
 
Constructor Summary
WsmlRuleValidator(org.wsmo.factory.LogicalExpressionFactory leFactory)
           
 
Method Summary
 boolean isValid(org.omwg.logicalexpression.LogicalExpression logExpr, List<org.wsmo.validator.ValidationError> errorMessages, List<org.wsmo.validator.ValidationWarning> warningMessages)
           
protected  void visitAxiom(org.omwg.ontology.Axiom axiom)
          Checks if an axiom is valid to wsml-rule.
protected  void visitConcept(org.omwg.ontology.Concept concept)
          Checks if a concept is valid to wsml-rule.
protected  void visitInstance(org.omwg.ontology.Instance instance)
          Checks if an instance is valid to wsml-rule.
protected  void visitRelation(org.omwg.ontology.Relation relation)
          Checks if a relation is valid to wsml-rule.
protected  void visitRelationInstance(org.omwg.ontology.RelationInstance relationInstance)
          Checks if a relation instance is valid to wsml-rule.
 
Methods inherited from class org.deri.wsmo4j.validator.WsmlFullValidator
addError, addError, addWarning, getErrors, isValid
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

WsmlRuleValidator

public WsmlRuleValidator(org.wsmo.factory.LogicalExpressionFactory leFactory)
Method Detail

visitAxiom

protected void visitAxiom(org.omwg.ontology.Axiom axiom)
Checks if an axiom is valid to wsml-rule.

Overrides:
visitAxiom in class WsmlFullValidator
See Also:
WsmlFullValidator.visitAxiom(org.omwg.ontology.Axiom)

visitConcept

protected void visitConcept(org.omwg.ontology.Concept concept)
Checks if a concept is valid to wsml-rule.

Overrides:
visitConcept in class WsmlFullValidator
See Also:
WsmlFullValidator.visitConcept(org.omwg.ontology.Concept)

visitInstance

protected void visitInstance(org.omwg.ontology.Instance instance)
Checks if an instance is valid to wsml-rule.

Overrides:
visitInstance in class WsmlFullValidator
See Also:
WsmlFullValidator.visitInstance(org.omwg.ontology.Instance)

visitRelation

protected void visitRelation(org.omwg.ontology.Relation relation)
Checks if a relation is valid to wsml-rule.

Overrides:
visitRelation in class WsmlFullValidator
See Also:
WsmlFullValidator.visitRelation(org.omwg.ontology.Relation)

visitRelationInstance

protected void visitRelationInstance(org.omwg.ontology.RelationInstance relationInstance)
                              throws org.wsmo.common.exception.SynchronisationException,
                                     org.wsmo.common.exception.InvalidModelException
Checks if a relation instance is valid to wsml-rule.

Overrides:
visitRelationInstance in class WsmlFullValidator
Throws:
org.wsmo.common.exception.InvalidModelException
org.wsmo.common.exception.SynchronisationException
See Also:
WsmlFullValidator.visitRelationInstance(org.omwg.ontology.RelationInstance)

isValid

public boolean isValid(org.omwg.logicalexpression.LogicalExpression logExpr,
                       List<org.wsmo.validator.ValidationError> errorMessages,
                       List<org.wsmo.validator.ValidationWarning> warningMessages)
Overrides:
isValid in class WsmlFullValidator


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