edu.stanford.smi.protegex.owl.tests
Class AbstractDIGReasonerTestCase

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

All Implemented Interfaces:

junit.framework.Test

Direct Known Subclasses:

SimpleConsistencyTestCase

public class AbstractDIGReasonerTestCase

extends AbstractJenaTestCase

Author:

Nicolas Rouquette

Field Summary

private static String	EXPECTED_CLASSIFICATION_PROPNAME
private RDFProperty	expectedClassificationProperty
private boolean	haveReasoningTestAnnotations
protected ProtegeOWLReasoner	reasoner
private String	reasoner_url
private static String	REASONER_URL
private ReasonerTaskListener	tlnsr

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

AbstractDIGReasonerTestCase()

Method Summary

protected void	computeAndCheckInconsistentConcepts() Use the reasoner to analyze the consistency of the OWL model.
private void	getReasoningTestAnnotations()
protected void	setUp()
protected void	setURL(String url) The reasoner is connected during the call to super.setUp(); Therefore, to use an alternate reasoner in a derived test class, do: String myReasoner = ....; setURL(myReasoner); super.setUp();

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

Field Detail

REASONER_URL

private static String REASONER_URL

EXPECTED_CLASSIFICATION_PROPNAME

private static String EXPECTED_CLASSIFICATION_PROPNAME

reasoner_url

private String reasoner_url

tlnsr

private ReasonerTaskListener tlnsr

expectedClassificationProperty

private RDFProperty expectedClassificationProperty

haveReasoningTestAnnotations

private boolean haveReasoningTestAnnotations

reasoner

protected ProtegeOWLReasoner reasoner

Constructor Detail

AbstractDIGReasonerTestCase

public AbstractDIGReasonerTestCase()

Method Detail

setURL

protected void setURL(String url)

The reasoner is connected during the call to super.setUp(); Therefore, to use an alternate reasoner in a derived test class, do:

String myReasoner = ....; setURL(myReasoner); super.setUp();

setUp

protected void setUp()
              throws Exception

Overrides:

setUp in class AbstractOWLTestCase

Throws:

Exception

getReasoningTestAnnotations

private void getReasoningTestAnnotations()

computeAndCheckInconsistentConcepts

protected void computeAndCheckInconsistentConcepts()

Use the reasoner to analyze the consistency of the OWL model. The OWL model should include adequate annotation properties to compare the actual consistency of each class that has an annotation property: expectedConsistencyStatus = true | false