org.semanticweb.owlapi.api.test
Class BuiltInPropertyTestCase

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by org.semanticweb.owlapi.api.test.AbstractOWLAPITestCase
              extended by org.semanticweb.owlapi.api.test.BuiltInPropertyTestCase
All Implemented Interfaces:
junit.framework.Test

public class BuiltInPropertyTestCase
extends AbstractOWLAPITestCase

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 09-Jun-2009


Constructor Summary
BuiltInPropertyTestCase()
           
 
Method Summary
 void testBottomDataPropertyNegative()
           
 void testBottomDataPropertyPositive()
           
 void testBottomObjectPropertyNegative()
           
 void testBottomObjectPropertyPositive()
           
 void testTopDataPropertyNegative()
           
 void testTopDataPropertyPositive()
           
 void testTopObjectPropertyNegative()
           
 void testTopObjectPropertyPositive()
           
 
Methods inherited from class org.semanticweb.owlapi.api.test.AbstractOWLAPITestCase
addAxiom, getFactory, getManager, getOWLAnnotationProperty, getOWLClass, getOWLDataProperty, getOWLDatatype, getOWLIndividual, getOWLObjectProperty, getOWLOntology, handleSaved, isIgnoreDeclarationAxioms, loadOntology, roundTripOntology, roundTripOntology, 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, failNotEquals, failNotSame, failSame, format
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

BuiltInPropertyTestCase

public BuiltInPropertyTestCase()
Method Detail

testTopObjectPropertyPositive

public void testTopObjectPropertyPositive()

testBottomObjectPropertyPositive

public void testBottomObjectPropertyPositive()

testTopObjectPropertyNegative

public void testTopObjectPropertyNegative()

testBottomObjectPropertyNegative

public void testBottomObjectPropertyNegative()

testTopDataPropertyPositive

public void testTopDataPropertyPositive()

testBottomDataPropertyPositive

public void testBottomDataPropertyPositive()

testTopDataPropertyNegative

public void testTopDataPropertyNegative()

testBottomDataPropertyNegative

public void testBottomDataPropertyNegative()