test.wsmo4j.validator
Class ValidatorLogExprTests

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by test.wsmo4j.validator.ValidatorTestCase
              extended by 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


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