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

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

All Implemented Interfaces:

junit.framework.Test

public class GetDependingClassesTestCase

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

GetDependingClassesTestCase()

Method Summary

void	testAllRestriction() * children !
void	testAllRestrictionWithNamedCls() * children A -> {}
void	testComplementCls() !
void	testIntersectionCls() !
void	testSomeRestriction() ?
void	testUnionCls() !

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

GetDependingClassesTestCase

public GetDependingClassesTestCase()

Method Detail

testAllRestriction

public void testAllRestriction()

* children !A -> !A

testAllRestrictionWithNamedCls

public void testAllRestrictionWithNamedCls()

* children A -> {}

testComplementCls

public void testComplementCls()

!A

testIntersectionCls

public void testIntersectionCls()

!A & B & !C -> !A , !C

testSomeRestriction

public void testSomeRestriction()

? children !(A | B) -> !(A | B)

testUnionCls

public void testUnionCls()

!A | B | (* children !C) -> !A , (* children !C)