edu.stanford.smi.protegex.owl.model.framestore.tests
Class DeleteClassTestCase

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.framestore.tests.DeleteClassTestCase

All Implemented Interfaces:

junit.framework.Test

public class DeleteClassTestCase

extends AbstractJenaTestCase

Test the automated delete of anonymous classes.

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

DeleteClassTestCase()

Method Summary

void	testDeleteAnonymousEquivalentClass()
void	testDeleteClassUsedInDomains()
void	testDeleteClassWithNestedRestrictions() SuperCls (= SubClsA | SubClsB) SubClsA SubClsB OtherCls Cls (= OtherCls & ?
void	testDeleteClsWithAllRestriction() Person PWAD [ * children !
void	testDeleteDefinedEnumeration()
void	testDeleteEnumerations()
void	testDeleteSubclasses()
void	testDeleteSubclassesAutomatically()
void	testJimWang() owl:Thing SuperCls SubCls (< ?

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

DeleteClassTestCase

public DeleteClassTestCase()

Method Detail

testJimWang

public void testJimWang()

owl:Thing SuperCls SubCls (< ? slot OtherCls) OtherCls ---------------------------------------------------------- Deleting SubCls should delete restriction as well

testDeleteClsWithAllRestriction

public void testDeleteClsWithAllRestriction()

Person PWAD [ * children !Girl -> Delete PWAD should delete all depending anons

testDeleteAnonymousEquivalentClass

public void testDeleteAnonymousEquivalentClass()

testDeleteEnumerations

public void testDeleteEnumerations()

testDeleteDefinedEnumeration

public void testDeleteDefinedEnumeration()

testDeleteSubclassesAutomatically

public void testDeleteSubclassesAutomatically()

testDeleteClassWithNestedRestrictions

public void testDeleteClassWithNestedRestrictions()

SuperCls (= SubClsA | SubClsB) SubClsA SubClsB OtherCls Cls (= OtherCls & ? slot (? slot SubCls)) ------------------------------------------------------------------------ After deleting SuperCls, the restrictions should be deleted both.

testDeleteSubclasses

public void testDeleteSubclasses()

testDeleteClassUsedInDomains

public void testDeleteClassUsedInDomains()