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

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

All Implemented Interfaces:

junit.framework.Test

public class OWLFrameStoreTestCase

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

OWLFrameStoreTestCase()

Method Summary

void	testAddIntersectionClass() owl:Thing Test -> Make equivalent with intersection, remove owl:Thing (Operand & !
void	testAddNamedClsToIntersectionClass() owl:Thing Test Operand (Operand & !
void	testAddSuperclass() owl:Thing R A B -> Add Root as direct superclass ------------------------------------------------------ owl:Thing R A B B
void	testDeleteEquivalentClsWithEquivalentNamedCls() owl:Thing Test = Operand = Operand & !
void	testDuplicateSuperclass() owl:Thing Animal Person -> Add superclass Animal ------------------------------------------------------ No duplicates can be added as superclasses
void	testRemoveIntersectionCls() owl:Thing Operand Test (= Operand & !
void	testRemoveNamedClsFromIntersectionCls() owl:Thing Operand Test (= Operand & !

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

OWLFrameStoreTestCase

public OWLFrameStoreTestCase()

Method Detail

testAddIntersectionClass

public void testAddIntersectionClass()

owl:Thing Test -> Make equivalent with intersection, remove owl:Thing (Operand & !Test) Operand ----------------------------------------------------------------- owl:Thing Operand Test (= Operand & !Test)

testAddNamedClsToIntersectionClass

public void testAddNamedClsToIntersectionClass()

owl:Thing Test Operand (Operand & !Test) -> Make equivalent with Test Test ----------------------------------------------------------------- owl:Thing Test (= Operand & !Test) Operand Test

testRemoveIntersectionCls

public void testRemoveIntersectionCls()

owl:Thing Operand Test (= Operand & !Test) -> Remove intersection ---------------------------------------------------------- owl:Thing Test

testRemoveNamedClsFromIntersectionCls

public void testRemoveNamedClsFromIntersectionCls()

owl:Thing Operand Test (= Operand & !Test) -> Remove Test ---------------------------------------------------------- owl:Thing Test

testDuplicateSuperclass

public void testDuplicateSuperclass()

owl:Thing Animal Person -> Add superclass Animal ------------------------------------------------------ No duplicates can be added as superclasses

testDeleteEquivalentClsWithEquivalentNamedCls

public void testDeleteEquivalentClsWithEquivalentNamedCls()

owl:Thing Test = Operand = Operand & !Operand -> delete ------------------------------------------------------ owl:Thing Test = Operand

testAddSuperclass

public void testAddSuperclass()

owl:Thing R A B -> Add Root as direct superclass ------------------------------------------------------ owl:Thing R A B B