org.deri.wsmo4j.validator
Class WsmlCoreValidator

java.lang.Object
  extended by org.deri.wsmo4j.validator.WsmlFullValidator
      extended by org.deri.wsmo4j.validator.WsmlDLValidator
          extended by org.deri.wsmo4j.validator.WsmlCoreValidator
All Implemented Interfaces:
org.wsmo.validator.Validator

public class WsmlCoreValidator
extends WsmlDLValidator

Checks an ontology for wsml-core 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.WsmlDLValidator
explicitConcepts, explicitInstances, explicitRelations, idAbstractRelations, idConcepts, idConcreteRelations, idInstances, idRelations
 
Fields inherited from class org.deri.wsmo4j.validator.WsmlFullValidator
constants, errors, leFactory, leSerializer, warnings
 
Constructor Summary
WsmlCoreValidator(org.wsmo.factory.LogicalExpressionFactory leFactory)
           
 
Method Summary
protected  void addError(org.wsmo.common.Entity ent, String msg)
           
 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-core.
protected  void visitConcept(org.omwg.ontology.Concept concept)
          Checks if a concept is valid to wsml-core.
protected  void visitInstance(org.omwg.ontology.Instance instance)
          Checks if an instance is valid to wsml-core.
protected  void visitRelation(org.omwg.ontology.Relation relation)
          Checks if a relation is valid to wsml-core.
protected  void visitRelationInstance(org.omwg.ontology.RelationInstance relationInstance)
          Checks if a relation instance is valid to wsml-core.
 
Methods inherited from class org.deri.wsmo4j.validator.WsmlDLValidator
addError, getIdAbstractRelations, getIdConcepts, getIdConcreteRelations, getIdInstances, getIdRelations, getRootVariable, isValid
 
Methods inherited from class org.deri.wsmo4j.validator.WsmlFullValidator
addWarning, getErrors
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

WsmlCoreValidator

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

visitAxiom

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

Overrides:
visitAxiom in class WsmlDLValidator
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-core.

Overrides:
visitConcept in class WsmlDLValidator
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-core.

Overrides:
visitInstance in class WsmlDLValidator
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-core.

Overrides:
visitRelation in class WsmlDLValidator
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-core.

Overrides:
visitRelationInstance in class WsmlDLValidator
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 WsmlDLValidator

addError

protected void addError(org.wsmo.common.Entity ent,
                        String msg)
Overrides:
addError in class WsmlDLValidator


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