com.bigdata.rdf.rules

Class TestRuleRdfs04

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

All Implemented Interfaces:

IProxyTest, junit.framework.Test

public class TestRuleRdfs04
extends AbstractRuleTestCase

Test suite for RuleRdfs04a and RuleRdfs04b

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

Method Summary

Methods

Modifier and Type	Method and Description
Properties	getProperties() Extended to explicitly turn on InferenceEngine.Options.FORWARD_CHAIN_RDF_TYPE_RDFS_RESOURCE for testing RuleRdfs04.
void	test_rdfs4a() Test of the basic semantics.
void	test_rdfs4b_filterLiterals() Literals may not appear in the subject position, but an rdfs4b entailment can put them there unless you explicitly filter it out.
void	test_rdfs4b() Test of the basic semantics.

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

TestRuleRdfs04

public TestRuleRdfs04()

TestRuleRdfs04

public TestRuleRdfs04(String name)

Parameters:

name -

Method Detail

getProperties

public Properties getProperties()

Extended to explicitly turn on InferenceEngine.Options.FORWARD_CHAIN_RDF_TYPE_RDFS_RESOURCE for testing RuleRdfs04.

Overrides:

getProperties in class ProxyTestCase

Returns:

A new properties object.

test_rdfs4a

public void test_rdfs4a()
                 throws Exception

Test of the basic semantics.

Throws:

Exception

test_rdfs4b

public void test_rdfs4b()
                 throws Exception

Test of the basic semantics.

Throws:

Exception

test_rdfs4b_filterLiterals

public void test_rdfs4b_filterLiterals()
                                throws Exception

Literals may not appear in the subject position, but an rdfs4b entailment can put them there unless you explicitly filter it out.

Note: RuleRdfs03 is the other way that literals can be entailed into the subject position.

Throws:

Exception