com.bigdata.rdf.rules

Class TestTruthMaintenance

java.lang.Object

junit.framework.Assert

junit.framework.TestCase

junit.framework.TestCase2

com.bigdata.rdf.store.AbstractTestCase

com.bigdata.rdf.store.ProxyTestCase

com.bigdata.rdf.store.AbstractTripleStoreTestCase

com.bigdata.rdf.rules.AbstractInferenceEngineTestCase

com.bigdata.rdf.rules.TestTruthMaintenance

All Implemented Interfaces:

IProxyTest, junit.framework.Test

public class TestTruthMaintenance
extends AbstractInferenceEngineTestCase

Test suite for TruthMaintenance.

Version:

$Id$

Author:

Bryan Thompson

Nested Class Summary

Nested classes/interfaces inherited from class com.bigdata.rdf.store.AbstractTestCase

AbstractTestCase.StatementVerifier

Nested classes/interfaces inherited from class junit.framework.TestCase2

TestCase2.MyProperties, TestCase2.RandomType

Field Summary

Fields inherited from class com.bigdata.rdf.store.AbstractTestCase

NULL

Fields inherited from class junit.framework.TestCase2

_randomType, log

Constructor Summary

Constructors

Constructor and Description
TestTruthMaintenance()
TestTruthMaintenance(String name)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	assertSameGraphs(TempTripleStore expected, AbstractTripleStore actual) This is a specialized test for equality in the graphs that simply compare scans on the SPO index.
void	doStressTest(TempTripleStore tmp, InferenceEngine inf, int ntrials, int D, int N) A stress test for truth maintenance using an arbitrary data set.
SPO[]	selectRandomExplicitStatements(AbstractTripleStore db, int N) Select N explicit statements from the graph at random.
void	test_assertAll_01() A simple test of TruthMaintenance in which some statements are asserted and their closure is computed and aspects of that closure are verified (this is based on rdfs11).
void	test_closurecorrectness() This test demonstrates TM incorrectness (since fixed of course).
void	test_downgradeExplicitToInference() A simple test of TruthMaintenance in which some statements are asserted, including one statement which is also produced as an inference, and their closure is computed and aspects of that closure are verified (this is based on rdfs11).
void	test_filter_01() Test for TruthMaintenance.applyExistingStatements(AbstractTripleStore, AbstractTripleStore, IElementFilter filter).
void	test_infiniteloop() This test demonstrates an infinite loop in TM arising from owl:sameAs.
void	test_retractAll_01() A simple test of TruthMaintenance in which some statements are asserted, their closure is computed and aspects of that closure are verified, and then an explicit statement is removed and the closure is updated and we verify that an entailment known to depend on the remove statement has also been removed (this is based on rdfs11).
void	test_retractWhenStatementSupportsExplicitStatement() Given three explicit statements:
void	test_stress() This is a stress test for truth maintenance.

Methods inherited from class com.bigdata.rdf.rules.AbstractInferenceEngineTestCase

getValue

Methods inherited from class com.bigdata.rdf.store.ProxyTestCase

getDelegate, getOurDelegate, getProperties, getStore, getStore, reopenStore, setDelegate, setUp, tearDown

Methods inherited from class com.bigdata.rdf.store.AbstractTestCase

assertEquals, assertEquals, assertEquals, assertEquals, assertLexiconIndicesConsistent, assertSameSPOs, assertSameSPOs, assertSameSPOsAnyOrder, assertSameSPOsAnyOrder, assertSameStatements, assertSameStatements, assertStatementIndicesConsistent, checkIfProxy, recursiveDelete, setUp, tearDown

Methods inherited from class junit.framework.TestCase2

assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEqualsWithinUlps, assertSameArray, assertSameArray, assertSameBigDecimal, assertSameBigDecimal, assertSameBigInteger, assertSameBigInteger, assertSameIterator, assertSameIterator, assertSameIteratorAnyOrder, assertSameIteratorAnyOrder, assertSameValue, assertSameValue, assertZeroUlps, assertZeroUlps, fail, getInnerCause, getNormalInt, getProjectBuildPath, getRandomObject, getRandomObject, getRandomOrder, getRandomString, getTestInputStream, getTestResource, getTestResource, getUlps, getUlps, isDEBUG, isDEBUG, isINFO, isINFO, isInnerCause, logProperties

Methods inherited from class junit.framework.TestCase

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, countTestCases, createResult, fail, fail, failNotEquals, failNotSame, failSame, format, getName, run, run, runBare, runTest, setName, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface junit.framework.Test

countTestCases, run

Constructor Detail

TestTruthMaintenance

public TestTruthMaintenance()

TestTruthMaintenance

public TestTruthMaintenance(String name)

Parameters:

name -

Method Detail

test_filter_01

public void test_filter_01()

Test for TruthMaintenance.applyExistingStatements(AbstractTripleStore, AbstractTripleStore, IElementFilter filter).

test_assertAll_01

public void test_assertAll_01()

A simple test of TruthMaintenance in which some statements are asserted and their closure is computed and aspects of that closure are verified (this is based on rdfs11).

test_retractAll_01

public void test_retractAll_01()

A simple test of TruthMaintenance in which some statements are asserted, their closure is computed and aspects of that closure are verified, and then an explicit statement is removed and the closure is updated and we verify that an entailment known to depend on the remove statement has also been removed (this is based on rdfs11).

test_downgradeExplicitToInference

public void test_downgradeExplicitToInference()

A simple test of TruthMaintenance in which some statements are asserted, including one statement which is also produced as an inference, and their closure is computed and aspects of that closure are verified (this is based on rdfs11). After we verify the closure, we retract the explicit statement and then verify that the closure was updated such that the statement was downgraded to an inference.

test_retractWhenStatementSupportsExplicitStatement

public void test_retractWhenStatementSupportsExplicitStatement()

Given three explicit statements:

  stmt a:  #user #currentGraph #foo
  
  stmt b: #currentGraph rdfs:range #Graph
  
  stmt c: #foo rdf:type #Graph
 

a+b implies c

Delete a and verify that c is NOT gone since it is an explicit statement.

test_closurecorrectness

public void test_closurecorrectness()

This test demonstrates TM incorrectness (since fixed of course). I add two statements into store A, then remove one of them. Then I add the the statement that remain in store A into store B and compare the closure of the stores. They should be the same, right? Well, unfortunately they are not the same. Too many inferences were deleted from the first store during TM.

test_infiniteloop

public void test_infiniteloop()

This test demonstrates an infinite loop in TM arising from owl:sameAs.

test_stress

public void test_stress()

This is a stress test for truth maintenance. It verifies that retraction and assertion are symmetric by randomly retracting and then asserting statements while using truth maintenance and verifying that the initial conditions are always recovered. It does NOT prove the correctness of the entailments, merely that retraction and assertion are symmetric.

doStressTest

public void doStressTest(TempTripleStore tmp,
                InferenceEngine inf,
                int ntrials,
                int D,
                int N)

A stress test for truth maintenance using an arbitrary data set. The test scans the statement indices in some order, selecting N explicit statement to retract. It then retracts them, updates the closure, and then re-asserts them and verifies that original closure was restored.

Note: this test by itself does not guarentee that any entailments of those explicit statements were removed - we need to write other tests for that. repeat several times on the dataset, potentially doing multiple retractions before we back out of them.

Parameters:

tmp - Ground truth (the state that must be recovered in order for truth maintenance to be symmetric).

inf - The InferenceEngine to use in the test. This reads and writes on the database whose closure is being maintained.

ntrials - The #of times that we will run the test.

D - The recursive depth of the retractions. A depth of ONE (1) means that one set of N statements will be retracted, closure updated, and the re-asserted and closure updated and compared against ground truth (the initial conditions). When the depth is greater than ONE (1) we will recursively retract a set of N statements D times. The statements will be reasserted as we back out of the recursion and the graph compared with ground truth when we return from the top level of the recursion.

N - The #of explicit statements to be randomly selected and retracted on each recursive pass.

selectRandomExplicitStatements

public SPO[] selectRandomExplicitStatements(AbstractTripleStore db,
                                   int N)

Select N explicit statements from the graph at random.

Parameters:

db - The graph.

N - The #of statements to select.

Returns:

Up to N distinct explicit statements selected from the graph.

assertSameGraphs

protected void assertSameGraphs(TempTripleStore expected,
                    AbstractTripleStore actual)

This is a specialized test for equality in the graphs that simply compare scans on the SPO index.

Pre-condition: The term identifiers for the graphs MUST be consistently assigned since the statements are not being materialized as RDF Value objects.

Parameters:

expected - A copy of the statements made after the data set was loaded and its closure computed and before we began to retract and assert stuff.

actual - Note that this is used by both graphs to resolve the term identifiers.