com.bigdata.rdf.rules

Class TestDatabaseAtOnceClosure

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.AbstractRuleTestCase

com.bigdata.rdf.rules.TestDatabaseAtOnceClosure

All Implemented Interfaces:

IProxyTest, junit.framework.Test

public class TestDatabaseAtOnceClosure
extends AbstractRuleTestCase

Unit tests for database at once closure, fix point of a rule set (does not test truth maintenance under assertion and retraction or the justifications).

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
TestDatabaseAtOnceClosure()
TestDatabaseAtOnceClosure(String name)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	doFixedPointTest(String[] resources, AbstractTripleStore closureStore) Compares ground truth for the closure of the source RDF/XML file(s) (as computed by Sesame 2) against the closure as computed by bigdata.
Properties	getProperties() Overrides some properties.
Properties	getProperties(Class<? extends BaseClosure> closureClass, boolean nestedSubqueryIsIgnored) Uses the specified closure algorithm and other properties per getProperties().
void	test_fixedPoint_LUBM_U1_As_Fast_PipelineJoins()
void	test_fixedPoint_LUBM_U1_As_Full_PipelineJoins()
void	test_fixedPoint_SampleData_Fast_PipelineJoins()
void	test_fixedPoint_SampleData_Full_PipelineJoins()
void	test_fixedPoint_Small_Fast_PipelineJoins()
void	test_fixedPoint_Small_Full_PipelineJoins()
void	test_fixedPoint_TestOwlSameAs_Fast_Pipeline()
void	test_fixedPoint_TestOwlSameAs_Full_PipelineJoins()
void	test_simpleFixPoint() Example using only RuleRdfs11 that requires multiple rounds to compute the fix point closure of a simple data set.

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

applyRule, applyRule, assertSameSolutionsAnyOrder

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

getValue

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

getDelegate, getOurDelegate, 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

TestDatabaseAtOnceClosure

public TestDatabaseAtOnceClosure()

TestDatabaseAtOnceClosure

public TestDatabaseAtOnceClosure(String name)

Parameters:

name -

Method Detail

getProperties

public Properties getProperties()

Overrides some properties.

Overrides:

getProperties in class ProxyTestCase

Returns:

A new properties object.

getProperties

public Properties getProperties(Class<? extends BaseClosure> closureClass,
                       boolean nestedSubqueryIsIgnored)

Uses the specified closure algorithm and other properties per getProperties().

Parameters:

closureClass - The closure algorithm.

nestedSubquery - true to use nested-subquery joins and false to use pipeline joins.

Returns:

The properties to configure the AbstractTripleStore.

test_fixedPoint_Small_Full_PipelineJoins

public void test_fixedPoint_Small_Full_PipelineJoins()
                                              throws Exception

Throws:

Exception

test_fixedPoint_Small_Fast_PipelineJoins

public void test_fixedPoint_Small_Fast_PipelineJoins()
                                              throws Exception

Throws:

Exception

test_fixedPoint_SampleData_Full_PipelineJoins

public void test_fixedPoint_SampleData_Full_PipelineJoins()
                                                   throws Exception

Throws:

Exception

test_fixedPoint_SampleData_Fast_PipelineJoins

public void test_fixedPoint_SampleData_Fast_PipelineJoins()
                                                   throws Exception

Throws:

Exception

test_fixedPoint_TestOwlSameAs_Full_PipelineJoins

public void test_fixedPoint_TestOwlSameAs_Full_PipelineJoins()
                                                      throws Exception

Throws:

Exception

test_fixedPoint_TestOwlSameAs_Fast_Pipeline

public void test_fixedPoint_TestOwlSameAs_Fast_Pipeline()
                                                 throws Exception

Throws:

Exception

test_fixedPoint_LUBM_U1_As_Full_PipelineJoins

public void test_fixedPoint_LUBM_U1_As_Full_PipelineJoins()
                                                   throws Exception

Throws:

Exception

test_fixedPoint_LUBM_U1_As_Fast_PipelineJoins

public void test_fixedPoint_LUBM_U1_As_Fast_PipelineJoins()
                                                   throws Exception

Throws:

Exception

doFixedPointTest

protected void doFixedPointTest(String[] resources,
                    AbstractTripleStore closureStore)
                         throws Exception

Compares ground truth for the closure of the source RDF/XML file(s) (as computed by Sesame 2) against the closure as computed by bigdata.

Parameters:

resources - The RDF/XML files.

closureStore - The triple store under test as configured with some specific closure program.

Throws:

Exception

test_simpleFixPoint

public void test_simpleFixPoint()
                         throws Exception

Example using only RuleRdfs11 that requires multiple rounds to compute the fix point closure of a simple data set. This example is based on closure of the class hierarchy. Given

 a sco b
 b sco c
 c sco d
 

round 1 adds

 a sco c
 b sco d
 

round 2 adds

 a sco d
 

and that is the fixed point.

Throws:

Exception