com.bigdata.rdf.rules

Class TestRuleFastClosure_3_5_6_7_9

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

All Implemented Interfaces:

IProxyTest, junit.framework.Test

public class TestRuleFastClosure_3_5_6_7_9
extends AbstractRuleTestCase

Test suite for AbstractRuleFastClosure_3_5_6_7_9.

Version:

$Id$

Author:

Bryan Thompson

See Also:

RuleFastClosure3, RuleFastClosure5, RuleFastClosure6, RuleFastClosure7, RuleFastClosure9

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

Method Summary

Methods

Modifier and Type	Method and Description
void	test_getSubProperties() Unit test for InferenceEngine#getSubProperties(AbstractTripleStore), which is used to setup the pre-conditions for RuleFastClosure3.
void	test_rule() Unit test of RuleFastClosure6 where the data allow the rule to fire exactly twice, once where the predicate is rdfs:Range and once where the predicate is an rdfs:subPropertyOf rdfs:Range, and tests that the rule correctly filters out a possible entailment that would simply conclude its own support.

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

TestRuleFastClosure_3_5_6_7_9

public TestRuleFastClosure_3_5_6_7_9()

TestRuleFastClosure_3_5_6_7_9

public TestRuleFastClosure_3_5_6_7_9(String name)

Parameters:

name -

Method Detail

test_getSubProperties

public void test_getSubProperties()

Unit test for InferenceEngine#getSubProperties(AbstractTripleStore), which is used to setup the pre-conditions for RuleFastClosure3.

test_rule

public void test_rule()
               throws Exception

Unit test of RuleFastClosure6 where the data allow the rule to fire exactly twice, once where the predicate is rdfs:Range and once where the predicate is an rdfs:subPropertyOf rdfs:Range, and tests that the rule correctly filters out a possible entailment that would simply conclude its own support.

      (?x, P, ?y) -> (?x, propertyId, ?y)
 

where propertyId is rdfs:Range

Throws:

Exception