edu.stanford.smi.protegex.owl.inference.protegeowl.tests
Class SubsumptionTests

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.inference.protegeowl.tests.SubsumptionTests

All Implemented Interfaces:

junit.framework.Test

public class SubsumptionTests

extends AbstractJenaTestCase

User: matthewhorridge
The Univeristy Of Manchester
Medical Informatics Group
Date: Jun 1, 2005

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

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

SubsumptionTests()

Method Summary

void	testAncestorClassesQuery()
void	testDescendantClassesQuery()
void	testGetSuperclassesOfIntersection()
void	testSubclassesQuery()
void	testSubsumptionQuery()
void	testSumbsumptionRelationshipQuery()
void	testSuperclassesQuery()

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

SubsumptionTests

public SubsumptionTests()

Method Detail

testSubsumptionQuery

public void testSubsumptionQuery()

testSuperclassesQuery

public void testSuperclassesQuery()

testAncestorClassesQuery

public void testAncestorClassesQuery()

testSubclassesQuery

public void testSubclassesQuery()

testDescendantClassesQuery

public void testDescendantClassesQuery()

testSumbsumptionRelationshipQuery

public void testSumbsumptionRelationshipQuery()

testGetSuperclassesOfIntersection

public void testGetSuperclassesOfIntersection()