edu.stanford.smi.protegex.owl.testing.owldl.tests
Class NoCardiRestrictionOnTransitivePropertiesOWLTestTestTest

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.owldl.tests.NoCardiRestrictionOnTransitivePropertiesOWLTestTestTest
All Implemented Interfaces:
junit.framework.Test

public class NoCardiRestrictionOnTransitivePropertiesOWLTestTestTest
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
NoCardiRestrictionOnTransitivePropertiesOWLTestTestTest()
           
 
Method Summary
 void testReport()
           
 
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

NoCardiRestrictionOnTransitivePropertiesOWLTestTestTest

public NoCardiRestrictionOnTransitivePropertiesOWLTestTestTest()
Method Detail

testReport

public void testReport()