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

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.AbstractRDFSClassTestCase

All Implemented Interfaces:

junit.framework.Test

public class AbstractRDFSClassTestCase

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

AbstractRDFSClassTestCase()

Method Summary

void	testInferredInstances()
void	testSuperclasses()
void	testSuperclassesOfRDFProperty()
void	testUnionDomainOnlyReturnsRDFProperties()
void	testUnionRangeClassDirectRestriction()
void	testUnionRangeClassNoRestriction()
void	testUnionRangeClassOverloadedRestriction()

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

AbstractRDFSClassTestCase

public AbstractRDFSClassTestCase()

Method Detail

testSuperclasses

public void testSuperclasses()

testSuperclassesOfRDFProperty

public void testSuperclassesOfRDFProperty()

testInferredInstances

public void testInferredInstances()

testUnionDomainOnlyReturnsRDFProperties

public void testUnionDomainOnlyReturnsRDFProperties()

testUnionRangeClassNoRestriction

public void testUnionRangeClassNoRestriction()

testUnionRangeClassDirectRestriction

public void testUnionRangeClassDirectRestriction()

testUnionRangeClassOverloadedRestriction

public void testUnionRangeClassOverloadedRestriction()