edu.stanford.smi.protegex.owl.inference.dig.tests
Class SimpleConsistencyTestCase

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.tests.AbstractDIGReasonerTestCase
                      edu.stanford.smi.protegex.owl.inference.dig.tests.SimpleConsistencyTestCase

All Implemented Interfaces:

junit.framework.Test

public class SimpleConsistencyTestCase

extends AbstractDIGReasonerTestCase

Author:

rouquett

Field Summary

Fields inherited from class edu.stanford.smi.protegex.owl.tests.AbstractDIGReasonerTestCase

reasoner

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

SimpleConsistencyTestCase()

Method Summary

void	testDisjointSubclassInconsistency()

Methods inherited from class edu.stanford.smi.protegex.owl.tests.AbstractDIGReasonerTestCase

computeAndCheckInconsistentConcepts, setUp, setURL

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

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

SimpleConsistencyTestCase

public SimpleConsistencyTestCase()

Method Detail

testDisjointSubclassInconsistency

public void testDisjointSubclassInconsistency()
                                       throws Exception

Throws:

Exception