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

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

All Implemented Interfaces:

junit.framework.Test

public class EquivalentClassTestCase

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

EquivalentClassTestCase()

Method Summary

void	testOnlyAnonymousEquivalentClass() In response to a bug reported by Matthew Horridge: 1.
void	testOWLEquivalentClassTriple1()
void	testOWLEquivalentClassTriple2()

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

EquivalentClassTestCase

public EquivalentClassTestCase()

Method Detail

testOnlyAnonymousEquivalentClass

public void testOnlyAnonymousEquivalentClass()

In response to a bug reported by Matthew Horridge: 1. Create a class Animal 2. Create a subclass of Animal called Herbivore 3. Create a disjoint class to Animal called Plant 4. Create a property call eats 5. Add a definition to Herbivore in the following way: i) Add Animal to the definition of Herbivore ii) Now add a restriciton (* eats Plant) to the definition. When the restriction is added, the Herbivore class completely disappears from the class hierarchy pane.

testOWLEquivalentClassTriple1

public void testOWLEquivalentClassTriple1()

testOWLEquivalentClassTriple2

public void testOWLEquivalentClassTriple2()