public class TestRuleRdfs07 extends AbstractRuleTestCase
RuleRdfs02,
RuleRdfs03,
RuleRdfs07,
RuleRdfs09AbstractTestCase.StatementVerifierTestCase2.MyProperties, TestCase2.RandomTypeNULL_randomType, log| Constructor and Description |
|---|
TestRuleRdfs07() |
TestRuleRdfs07(String name) |
| Modifier and Type | Method and Description |
|---|---|
void |
test_rdfs07_01()
Test of
RuleRdfs07 where the data satisifies the rule exactly
once. |
void |
test_rdfs07_02()
Test of
RuleRdfs07 where the data satisifies the rule twice --
there are two matches in the subquery for the same binding on "?a". |
void |
test_rdfs07_03()
Test of
RuleRdfs07 where the data satisifies the rule twice --
there are two matches on the first triple pattern that have the same
subject. |
applyRule, applyRule, assertSameSolutionsAnyOrdergetValuegetDelegate, getOurDelegate, getProperties, getStore, getStore, reopenStore, setDelegate, setUp, tearDownassertEquals, assertEquals, assertEquals, assertEquals, assertLexiconIndicesConsistent, assertSameSPOs, assertSameSPOs, assertSameSPOsAnyOrder, assertSameSPOsAnyOrder, assertSameStatements, assertSameStatements, assertStatementIndicesConsistent, checkIfProxy, recursiveDelete, setUp, tearDownassertEquals, 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, logPropertiesassertEquals, 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, toStringpublic TestRuleRdfs07()
public TestRuleRdfs07(String name)
name - public void test_rdfs07_01()
throws Exception
RuleRdfs07 where the data satisifies the rule exactly
once.
triple(?u,?b,?y) :-
triple(?a,rdfs:subPropertyOf,?b),
triple(?u,?a,?y).
Exceptionpublic void test_rdfs07_02()
throws Exception
RuleRdfs07 where the data satisifies the rule twice --
there are two matches in the subquery for the same binding on "?a". Only
one subquery is made since there is only one match for the first triple
pattern.
triple(?u,?b,?y) :-
triple(?a,rdfs:subPropertyOf,?b),
triple(?u,?a,?y).
Exceptionpublic void test_rdfs07_03()
throws Exception
RuleRdfs07 where the data satisifies the rule twice --
there are two matches on the first triple pattern that have the same
subject. However, only one subquery is made since both matches on the
first triple pattern have the same subject.
Note: This test is used to verify that the JOIN reorders the results from the first triple pattern into SPO order so that fewer subqueries need to be executed (only one subquery in this case).
triple(?u,?b,?y) :-
triple(?a,rdfs:subPropertyOf,?b),
triple(?u,?a,?y).
ExceptionCopyright © 2006–2019 SYSTAP, LLC DBA Blazegraph. All rights reserved.