edu.stanford.smi.protegex.owl.model.impl.tests
Class DefaultOWLObjectPropertyTestCase

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          edu.stanford.smi.protegex.owl.tests.AbstractOWLTestCase
              edu.stanford.smi.protegex.owl.tests.AbstractJenaTestCase
                  edu.stanford.smi.protegex.owl.model.impl.tests.DefaultOWLObjectPropertyTestCase

All Implemented Interfaces:

junit.framework.Test

public class DefaultOWLObjectPropertyTestCase

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

DefaultOWLObjectPropertyTestCase()

Method Summary

void	testDefaultObjectProperty()
void	testInversePropertyWithSubproperties()
void	testRange()
void	testSubpropertyRange()
void	testSymmetricProperty()
void	testTransitiveProperty()
void	testUnionRange()

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

DefaultOWLObjectPropertyTestCase

public DefaultOWLObjectPropertyTestCase()

Method Detail

testDefaultObjectProperty

public void testDefaultObjectProperty()

testRange

public void testRange()

testUnionRange

public void testUnionRange()

testSubpropertyRange

public void testSubpropertyRange()

testSymmetricProperty

public void testSymmetricProperty()

testTransitiveProperty

public void testTransitiveProperty()

testInversePropertyWithSubproperties

public void testInversePropertyWithSubproperties()