edu.stanford.smi.protegex.owl.model.triplestore.impl.tests
Class CreateOWLLogicalClassesTestCase

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.triplestore.impl.tests.AbstractTripleStoreTestCase
                      edu.stanford.smi.protegex.owl.model.triplestore.impl.tests.CreateOWLLogicalClassesTestCase

All Implemented Interfaces:

junit.framework.Test

public class CreateOWLLogicalClassesTestCase

extends AbstractTripleStoreTestCase

Author:

Holger Knublauch

Field Summary

Fields inherited from class edu.stanford.smi.protegex.owl.model.triplestore.impl.tests.AbstractTripleStoreTestCase

rdfTypeProperty, ts

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

CreateOWLLogicalClassesTestCase()

Method Summary

void	testCreateComplementClass1()
void	testCreateComplementClass2()
void	testCreateIntersectionClass()
void	testCreateUnionClass()

Methods inherited from class edu.stanford.smi.protegex.owl.model.triplestore.impl.tests.AbstractTripleStoreTestCase

createAnonymousResource, createFrameID, createRDFResource, setUp

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

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

CreateOWLLogicalClassesTestCase

public CreateOWLLogicalClassesTestCase()

Method Detail

testCreateComplementClass1

public void testCreateComplementClass1()

testCreateComplementClass2

public void testCreateComplementClass2()

testCreateIntersectionClass

public void testCreateIntersectionClass()

testCreateUnionClass

public void testCreateUnionClass()