edu.stanford.smi.protegex.owl.testing.sanity.tests
Class InverseOfSubSlotMustBeSubSlotOfInverseOfSuperSlotTestTestCase

java.lang.Object
  extended byjunit.framework.Assert
      extended byjunit.framework.TestCase
          extended byedu.stanford.smi.protegex.owl.tests.AbstractOWLTestCase
              extended byedu.stanford.smi.protegex.owl.tests.AbstractJenaTestCase
                  extended byedu.stanford.smi.protegex.owl.testing.sanity.tests.InverseOfSubSlotMustBeSubSlotOfInverseOfSuperSlotTestTestCase
All Implemented Interfaces:
junit.framework.Test

public class InverseOfSubSlotMustBeSubSlotOfInverseOfSuperSlotTestTestCase
extends AbstractJenaTestCase

Author:
Holger Knublauch

Field Summary
 
Fields inherited from class edu.stanford.smi.protegex.owl.tests.AbstractJenaTestCase
ontModel, owlFullModel
 
Fields inherited from class edu.stanford.smi.protegex.owl.tests.AbstractOWLTestCase
owlModel, owlThing, project
 
Fields inherited from class junit.framework.TestCase
 
Constructor Summary
InverseOfSubSlotMustBeSubSlotOfInverseOfSuperSlotTestTestCase()
           
 
Method Summary
 void testMove()
          a x b y c z
 void testPippi()
           
 
Methods inherited from class edu.stanford.smi.protegex.owl.tests.AbstractJenaTestCase
getNamedClassesCount, loadRemoteOntology, loadRemoteOntologyWithProtegeMetadataOntology, loadTestOntology, ontResourceExists, reload, reloadWithJenaLoader
 
Methods inherited from class edu.stanford.smi.protegex.owl.tests.AbstractOWLTestCase
assertContains, assertContains, assertContainsNot, assertHasValue, assertSize, assertSize, dumpRDF, getRemoteOntologyURI, getTestOntologyURI, hasTypedLiteral, list, setUp
 
Methods inherited from class junit.framework.TestCase
countTestCases, createResult, getName, run, run, runBare, runTest, setName, tearDown, 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
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

InverseOfSubSlotMustBeSubSlotOfInverseOfSuperSlotTestTestCase

public InverseOfSubSlotMustBeSubSlotOfInverseOfSuperSlotTestTestCase()
Method Detail

testPippi

public void testPippi()
               throws Exception
Throws:
Exception

testMove

public void testMove()
a x b y c z