test.wsmo4j.validator
Class ValidatorLogExprTests

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          test.wsmo4j.validator.ValidatorTestCase
              test.wsmo4j.validator.ValidatorLogExprTests

All Implemented Interfaces:

junit.framework.Test

public class ValidatorLogExprTests
extends ValidatorTestCase

Different error types are tested via constructed invalid axiom definitions.

 Created on Dec 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

Field Summary

Fields inherited from class test.wsmo4j.validator.ValidatorTestCase

axiom, dataFactory, errors, factory, le, leFactory, leSet, ns, ontology, parser, warnings

Constructor Summary

ValidatorLogExprTests()

Method Summary

void	testCoreGraph() This test checks for the validity of an InverseImplication (the variable graph of the left-hand side formula must be connected and acyclic).
void	testCoreGraphWithCycle() This test checks for the validity of an InverseImplication (the variable graph of the left-hand side formula must be connected and acyclic).
void	testCoreInvalidMoleculeMemberOf() This test checks for the validity of a MembershipMolecule At memberOf, the identifier must be an instance and the arguments need to be Concepts.
void	testCoreInvalidMoleculeSubConceptOf() This test checks for the validity of a SubConceptOfMolecule.
void	testCoreInvalidTransitiveAttribute() This test checks for the validity of an transitive InverseImplication.
void	testCoreUnconnectedGraph() This test checks for the validity of an InverseImplication (the variable graph of the left-hand side formula must be connected and acyclic).
void	testCoreValidEquivalence() This test checks for the validity of an Equivalence
void	testCoreValidInvImplAttribute() This test checks for the validity of an InverseImplication.
void	testCoreValidSubAttribute() This test checks for the validity of an sub-attribute InverseImplication.
void	testDLGraph() This test checks for the validity of an InverseImplication.
void	testDLGraphWithCycle() This test checks for the validity of an InverseImplication (the variable graph of each description must be connected and acyclic).
void	testDLInvalidDisjunction() This test checks an invalid DL LogicalExpression.
void	testDLUnconnectedGraph() This test checks for the validity of an InverseImplication (the variable graph of each description must be connected and acyclic).
void	testDLValidExistentialQuantification() This test checks the validity of an DL Quantification.
void	testDLValidImplication() This test checks an valid DL Implication.
void	testDLValidInverseImplication() This test checks for the validity of an transitive InverseImplication.
void	testDLValidInvImpl() This test checks the validity of an InverseImplication.
void	testDLValidInvImplAttribute() This test checks for the validity of an InverseImplication.
void	testDLValidQuantifications() This test checks the validity of an DL Quantification.
void	testDLValidTransitiveAttribute() This test checks for the validity of an transitive InverseImplication.
void	testDLValidUniversalQuantification() This test checks the validity of an DL Quantification.
void	testFlightFunctionSymbol() This test checks the safety of function symbols.
void	testFlightProposition() This test checks for the validity of a proposition.
void	testFlightSafetyCondition() This test checks the flight safety condition.
void	testFlightSafetyOfBuiltInPredicate() This test checks the safety of built-in predicates.
void	testFlightSafetyOfNegativeBodyLiteral() This test checks the safety of an negative body literal.
void	testRuleBodyNegation() This test checks the validity of an rule logic programming rule.
void	testRuleBodyStrongEqual() This test checks the validity of an rule logic programming rule.
void	testRuleHeadEqual() This test checks the validity of an rule logic programming rule.
void	testRuleHeadNegation() This test checks the validity of an rule logic programming rule.

Methods inherited from class test.wsmo4j.validator.ValidatorTestCase

createAxiomDef, getOntHeader, getOntLocalName, printError, printWarning, removeAxiomDef, setUp, tearDown

Methods inherited from class junit.framework.TestCase

countTestCases, createResult, getName, run, run, runBare, runTest, setName, toString

Methods inherited from class junit.framework.Assert

assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail, failNotEquals, failNotSame, failSame, format

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ValidatorLogExprTests

public ValidatorLogExprTests()

Method Detail

testCoreInvalidMoleculeSubConceptOf

public void testCoreInvalidMoleculeSubConceptOf()
                                         throws Exception

This test checks for the validity of a SubConceptOfMolecule. At subConceptOf, the identifier and the arguments need to be Concepts.

Throws:

Exception

testCoreInvalidMoleculeMemberOf

public void testCoreInvalidMoleculeMemberOf()
                                     throws Exception

This test checks for the validity of a MembershipMolecule At memberOf, the identifier must be an instance and the arguments need to be Concepts.

Throws:

Exception

testCoreInvalidTransitiveAttribute

public void testCoreInvalidTransitiveAttribute()
                                        throws Exception

This test checks for the validity of an transitive InverseImplication.

Throws:

Exception

testCoreValidInvImplAttribute

public void testCoreValidInvImplAttribute()
                                   throws Exception

This test checks for the validity of an InverseImplication.

Throws:

Exception

testCoreValidSubAttribute

public void testCoreValidSubAttribute()
                               throws Exception

This test checks for the validity of an sub-attribute InverseImplication.

Throws:

Exception

testCoreValidEquivalence

public void testCoreValidEquivalence()
                              throws Exception

This test checks for the validity of an Equivalence

Throws:

Exception

testCoreGraph

public void testCoreGraph()
                   throws Exception

This test checks for the validity of an InverseImplication (the variable graph of the left-hand side formula must be connected and acyclic).

Throws:

Exception

testCoreGraphWithCycle

public void testCoreGraphWithCycle()
                            throws Exception

This test checks for the validity of an InverseImplication (the variable graph of the left-hand side formula must be connected and acyclic).

Throws:

Exception

testCoreUnconnectedGraph

public void testCoreUnconnectedGraph()
                              throws Exception

This test checks for the validity of an InverseImplication (the variable graph of the left-hand side formula must be connected and acyclic).

Throws:

Exception

testDLInvalidDisjunction

public void testDLInvalidDisjunction()
                              throws Exception

This test checks an invalid DL LogicalExpression.

Throws:

Exception

testDLValidImplication

public void testDLValidImplication()
                            throws Exception

This test checks an valid DL Implication.

Throws:

Exception

testDLValidQuantifications

public void testDLValidQuantifications()
                                throws Exception

This test checks the validity of an DL Quantification.

Throws:

Exception

testDLValidUniversalQuantification

public void testDLValidUniversalQuantification()
                                        throws Exception

This test checks the validity of an DL Quantification.

Throws:

Exception

testDLValidExistentialQuantification

public void testDLValidExistentialQuantification()
                                          throws Exception

This test checks the validity of an DL Quantification.

Throws:

Exception

testDLValidInvImpl

public void testDLValidInvImpl()
                        throws Exception

This test checks the validity of an InverseImplication.

Throws:

Exception

testDLValidTransitiveAttribute

public void testDLValidTransitiveAttribute()
                                    throws Exception

This test checks for the validity of an transitive InverseImplication.

Throws:

Exception

testDLValidInverseImplication

public void testDLValidInverseImplication()
                                   throws Exception

This test checks for the validity of an transitive InverseImplication.

Throws:

Exception

testDLValidInvImplAttribute

public void testDLValidInvImplAttribute()
                                 throws Exception

This test checks for the validity of an InverseImplication.

Throws:

Exception

testDLGraph

public void testDLGraph()
                 throws Exception

This test checks for the validity of an InverseImplication.

Throws:

Exception

testDLGraphWithCycle

public void testDLGraphWithCycle()
                          throws Exception

This test checks for the validity of an InverseImplication (the variable graph of each description must be connected and acyclic).

Throws:

Exception

testDLUnconnectedGraph

public void testDLUnconnectedGraph()
                            throws Exception

This test checks for the validity of an InverseImplication (the variable graph of each description must be connected and acyclic).

Throws:

Exception

testFlightProposition

public void testFlightProposition()
                           throws Exception

This test checks for the validity of a proposition.

Throws:

Exception

testFlightSafetyCondition

public void testFlightSafetyCondition()
                               throws Exception

This test checks the flight safety condition.

Throws:

Exception

testFlightSafetyOfBuiltInPredicate

public void testFlightSafetyOfBuiltInPredicate()
                                        throws Exception

This test checks the safety of built-in predicates.

Throws:

Exception

testFlightSafetyOfNegativeBodyLiteral

public void testFlightSafetyOfNegativeBodyLiteral()
                                           throws Exception

This test checks the safety of an negative body literal.

Throws:

Exception

testFlightFunctionSymbol

public void testFlightFunctionSymbol()
                              throws Exception

This test checks the safety of function symbols.

Throws:

Exception

testRuleHeadEqual

public void testRuleHeadEqual()
                       throws Exception

This test checks the validity of an rule logic programming rule.

Throws:

Exception

testRuleHeadNegation

public void testRuleHeadNegation()
                          throws Exception

This test checks the validity of an rule logic programming rule.

Throws:

Exception

testRuleBodyStrongEqual

public void testRuleBodyStrongEqual()
                             throws Exception

This test checks the validity of an rule logic programming rule.

Throws:

Exception

testRuleBodyNegation

public void testRuleBodyNegation()
                          throws Exception

This test checks the validity of an rule logic programming rule.

Throws:

Exception