edu.stanford.smi.protegex.owl.ui.classform.form.tests
Class SufficientlyExpressiveTestCase

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.ui.classform.form.tests.SufficientlyExpressiveTestCase

All Implemented Interfaces:

junit.framework.Test

public class SufficientlyExpressiveTestCase

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

SufficientlyExpressiveTestCase()

Method Summary

void	testOWLNamedClassWithoutRestrictions()
void	testRDFSNamedClass()
void	testSuperclassClosureAxiom()
void	testSuperclassNonClosureAxiom()
void	testSuperclassOWLAllValuesFromOnly()
void	testSuperclassOWLSomeValuesFrom()

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

SufficientlyExpressiveTestCase

public SufficientlyExpressiveTestCase()

Method Detail

testRDFSNamedClass

public void testRDFSNamedClass()

testOWLNamedClassWithoutRestrictions

public void testOWLNamedClassWithoutRestrictions()

testSuperclassOWLSomeValuesFrom

public void testSuperclassOWLSomeValuesFrom()

testSuperclassOWLAllValuesFromOnly

public void testSuperclassOWLAllValuesFromOnly()

testSuperclassClosureAxiom

public void testSuperclassClosureAxiom()

testSuperclassNonClosureAxiom

public void testSuperclassNonClosureAxiom()