org.semanticweb.owlapi.model
Class ObjectPropertySimplifierTestCase

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by org.semanticweb.owlapi.model.AbstractOWLTestCase
              extended by org.semanticweb.owlapi.model.ObjectPropertySimplifierTestCase
All Implemented Interfaces:
junit.framework.Test

public class ObjectPropertySimplifierTestCase
extends AbstractOWLTestCase

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 06-Jun-2008


Constructor Summary
ObjectPropertySimplifierTestCase()
           
 
Method Summary
 void testInverseInverseInverseSimplification()
           
 void testInverseInverseSimplification()
           
 void testInverseSimplification()
           
 void testNamedSimplification()
           
 
Methods inherited from class org.semanticweb.owlapi.model.AbstractOWLTestCase
getOWLDataFactory, getOWLOntologyManager, setUp, tearDown
 
Methods inherited from class junit.framework.TestCase
countTestCases, createResult, getName, run, run, runBare, runTest, setName, 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, failNotEquals, failNotSame, failSame, format
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ObjectPropertySimplifierTestCase

public ObjectPropertySimplifierTestCase()
Method Detail

testNamedSimplification

public void testNamedSimplification()

testInverseSimplification

public void testInverseSimplification()

testInverseInverseSimplification

public void testInverseInverseSimplification()

testInverseInverseInverseSimplification

public void testInverseInverseInverseSimplification()