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

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

All Implemented Interfaces:

junit.framework.Test

public class SystemMetamodelTestCase

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

SystemMetamodelTestCase()

Method Summary

private RDFProperty	rdfTypeProperty()
void	testJavatypeOfSystemClasses()
void	testOWLDeprecatedClass()
void	testOWLSameAs()
void	testOWLThing()
void	testRanges()
void	testRDFSSubPropertyOf()
void	testRDFTypeProperty()
void	testSystemFrames()
void	testUserDefinedNamedClasses()
void	testUserDefinedProperties()

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

SystemMetamodelTestCase

public SystemMetamodelTestCase()

Method Detail

testSystemFrames

public void testSystemFrames()

testJavatypeOfSystemClasses

public void testJavatypeOfSystemClasses()

testOWLDeprecatedClass

public void testOWLDeprecatedClass()

testOWLThing

public void testOWLThing()

rdfTypeProperty

private RDFProperty rdfTypeProperty()

testUserDefinedNamedClasses

public void testUserDefinedNamedClasses()

testUserDefinedProperties

public void testUserDefinedProperties()

testRanges

public void testRanges()

testRDFSSubPropertyOf

public void testRDFSSubPropertyOf()

testRDFTypeProperty

public void testRDFTypeProperty()

testOWLSameAs

public void testOWLSameAs()