org.deri.wsmo4j.validator
Class WsmlRuleValidator

java.lang.Object
  org.deri.wsmo4j.validator.WsmlFullValidator
      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