org.semanticweb.owlapi.api.test
Class NNFTestCase

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.NNFTestCase
All Implemented Interfaces:
junit.framework.Test

public class NNFTestCase
extends AbstractOWLAPITestCase

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 21-Sep-2009


Constructor Summary
NNFTestCase()
           
 
Method Summary
 void testNegAllValuesFrom()
           
 void testNegObjectIntersectionOf()
           
 void testNegObjectMaxCardinality()
           
 void testNegObjectMinCardinality()
           
 void testNegObjectUnionOf()
           
 void testNegOWLClass()
           
 void testNegSomeValuesFrom()
           
 void testPosAllValuesFrom()
           
 void testPosObjectIntersectionOf()
           
 void testPosObjectMaxCardinality()
           
 void testPosObjectMinCardinality()
           
 void testPosObjectUnionOf()
           
 void testPosOWLClass()
           
 void testPosSomeValuesFrom()
           
 
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

NNFTestCase

public NNFTestCase()
Method Detail

testPosOWLClass

public void testPosOWLClass()

testNegOWLClass

public void testNegOWLClass()

testPosAllValuesFrom

public void testPosAllValuesFrom()

testNegAllValuesFrom

public void testNegAllValuesFrom()

testPosSomeValuesFrom

public void testPosSomeValuesFrom()

testNegSomeValuesFrom

public void testNegSomeValuesFrom()

testPosObjectIntersectionOf

public void testPosObjectIntersectionOf()

testNegObjectIntersectionOf

public void testNegObjectIntersectionOf()

testPosObjectUnionOf

public void testPosObjectUnionOf()

testNegObjectUnionOf

public void testNegObjectUnionOf()

testPosObjectMinCardinality

public void testPosObjectMinCardinality()

testNegObjectMinCardinality

public void testNegObjectMinCardinality()

testPosObjectMaxCardinality

public void testPosObjectMaxCardinality()

testNegObjectMaxCardinality

public void testNegObjectMaxCardinality()