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

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

All Implemented Interfaces:

junit.framework.Test

public class DeletePropertyTestCase

extends AbstractJenaTestCase

A TestCase to test whether depending anonymous classes are deleted when a slot is deleted.

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

DeletePropertyTestCase()

Method Summary

void	testDeleteComplementOfRestriction() owl:Thing Person !
void	testDeleteRestriction() owl:Thing Person children <= 7 -> delete children Slot ------------------------------------------------------ Should delete the restriction

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

DeletePropertyTestCase

public DeletePropertyTestCase()

Method Detail

testDeleteRestriction

public void testDeleteRestriction()

owl:Thing Person children <= 7 -> delete children Slot ------------------------------------------------------ Should delete the restriction

testDeleteComplementOfRestriction

public void testDeleteComplementOfRestriction()

owl:Thing Person !(children <= 7) -> delete children Slot ------------------------------------------------------ Should delete the whole expression