| java.lang.Object
 com.hp.hpl.jena.reasoner.rulesys.test.WebOntTestHarness
| WebOntTestHarness | | public class WebOntTestHarness (Code) | | Test harness for running the WebOnt working group tests relevant
to the OWL rule reasoner. See also TestOWLRules which runs the
core WG tests as part of the routine unit tests.
author:
Dave Reynolds
version:
$Revision: 1.27 $ on $Date: 2008/01/02 12:08:20 $ |
| Method Summary | |
| public void | comprehensionAxioms(Model premises, Model conclusions)
Example the conclusions graph for introduction of restrictions which
require a comprehension rewrite and declare new (anon) classes
for those restrictions. | | public boolean | doRunTest(Resource test)
Run a single test of any sort, return true if the test succeeds. | | public List | findTestsOfType(Resource testType)
| | public Model | getDoc(Resource test, Property docType, boolean processImports)
Load the premises or conclusions for the test, optional performing
import processing. | | public Model | getDoc(Resource test, Property docType)
Load the premises or conclusions for the test. | | public void | initResults()
Initialize the result model. | | public static Model | loadAllTestDefinitions()
| | public static Model | loadFile(String file, Model model)
Utility to load a file into a model a Model. | | public static void | main(String[] args)
| | public void | runTest(String test)
Run a single test of any sort, performing any appropriate logging
and error reporting. | | public void | runTest(Resource test)
Run a single test of any sort, performing any appropriate logging
and error reporting. | | public void | runTests()
Run all relevant tests. | | public void | runTests(List tests)
Run all tests in the given list. | | public boolean | testEntailment(Graph conclusions, Graph result)
Test a conclusions graph against a result graph. |
| BASE_RESULTS_URI | | public static String BASE_RESULTS_URI(Code) | | The base URI for the results file
|
| BASE_TESTDIR | | final public static String BASE_TESTDIR(Code) | | The base directory for the working group test files to use
|
| BASE_URI | | public static String BASE_URI(Code) | | The base URI in which the files are purported to reside
|
| BLOCKED_TESTS | | final public static String[] BLOCKED_TESTS(Code) | | List of tests that are blocked because they test language features beyond Lite
|
| STATUS_FLAGS | | final public static String[] STATUS_FLAGS(Code) | | The list of status values to include. If approvedOnly then only the first
entry is allowed
|
| TEST_DIRS | | final public static String[] TEST_DIRS(Code) | | The list of subdirectories to process (omits the rdf/rdfs dirs)
|
| approvedOnly | | public static boolean approvedOnly(Code) | | Set to true to use approved tests only
|
| includeModified | | public static boolean includeModified(Code) | | Set to true to include modified test versions
|
| jena2 | | Resource jena2(Code) | | The resource which acts as a description for the Jena2 instance being tested
|
| lastTestDuration | | long lastTestDuration(Code) | | The time cost in ms of the last test to be run
|
| passCount | | int passCount(Code) | | Number of tests passed
|
| printProfile | | public static boolean printProfile(Code) | | Set to true to print LP engine profile information
|
| testCount | | int testCount(Code) | | The number of tests run
|
| testDefinitions | | Model testDefinitions(Code) | | The total set of known tests
|
| testResults | | Model testResults(Code) | | The model describing the results of the run
|
| WebOntTestHarness | | public WebOntTestHarness()(Code) | | |
| comprehensionAxioms | | public void comprehensionAxioms(Model premises, Model conclusions)(Code) | | Example the conclusions graph for introduction of restrictions which
require a comprehension rewrite and declare new (anon) classes
for those restrictions.
|
| doRunTest | | public boolean doRunTest(Resource test) throws IOException(Code) | | Run a single test of any sort, return true if the test succeeds.
|
| findTestsOfType | | public List findTestsOfType(Resource testType)(Code) | | Return a list of all tests of the given type, according to the current filters
|
| getDoc | | public Model getDoc(Resource test, Property docType, boolean processImports) throws IOException(Code) | | Load the premises or conclusions for the test, optional performing
import processing.
|
| initResults | | public void initResults()(Code) | | Initialize the result model.
|
| loadAllTestDefinitions | | public static Model loadAllTestDefinitions()(Code) | | Load all of the known manifest files into a single model
|
| loadFile | | public static Model loadFile(String file, Model model) throws IOException(Code) | | Utility to load a file into a model a Model.
Files are assumed to be relative to the BASE_URI.
Parameters:
file - the file name, relative to baseDir the loaded Model |
| runTest | | public void runTest(String test)(Code) | | Run a single test of any sort, performing any appropriate logging
and error reporting.
|
| runTest | | public void runTest(Resource test)(Code) | | Run a single test of any sort, performing any appropriate logging
and error reporting.
|
| runTests | | public void runTests()(Code) | | Run all relevant tests.
|
| runTests | | public void runTests(List tests)(Code) | | Run all tests in the given list.
|
| testEntailment | | public boolean testEntailment(Graph conclusions, Graph result)(Code) | | Test a conclusions graph against a result graph. This works by
translating the conclusions graph into a find query which contains one
variable for each distinct bNode in the conclusions graph.
|
|
|