public class TestRuleRdfs10 extends AbstractRuleTestCase
RuleRdfs06,
RuleRdfs08,
RuleRdfs10,
RuleRdfs12,
RuleRdfs13AbstractTestCase.StatementVerifierTestCase2.MyProperties, TestCase2.RandomTypeNULL_randomType, log| Constructor and Description |
|---|
TestRuleRdfs10() |
TestRuleRdfs10(String name) |
| Modifier and Type | Method and Description |
|---|---|
void |
test_rdfs10_01()
Test of
RuleRdfs10 where the data satisifies the rule exactly
once. |
void |
test_rdfs10_02()
Test of
RuleRdfs10 where the data satisifies the rule exactly
twice. |
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 TestRuleRdfs10()
public TestRuleRdfs10(String name)
name - public void test_rdfs10_01()
throws Exception
RuleRdfs10 where the data satisifies the rule exactly
once.
(?u,rdfs:subClassOf,?u) :- (?u,rdf:type,rdfs:Class).
Exceptionpublic void test_rdfs10_02()
throws Exception
RuleRdfs10 where the data satisifies the rule exactly
twice.
(?u,rdfs:subClassOf,?u) :- (?u,rdf:type,rdfs:Class).
ExceptionCopyright © 2006–2019 SYSTAP, LLC DBA Blazegraph. All rights reserved.