public class TestRuleOwlInverseOf extends AbstractRuleTestCase
owl:inverseOf1 : (a owl:inverseOf b) -> (b owl:inverseOf a) owl:inverseOf2 : (a owl:inverseOf b), (x a z) -> (z b x).
RuleOwlInverseOf1,
RuleOwlInverseOf2AbstractTestCase.StatementVerifierTestCase2.MyProperties, TestCase2.RandomTypeNULL_randomType, log| Constructor and Description |
|---|
TestRuleOwlInverseOf() |
TestRuleOwlInverseOf(String name) |
| Modifier and Type | Method and Description |
|---|---|
void |
test_owlInverseOf1()
Test where the data satisifies the rule exactly once.
|
void |
test_owlInverseOf2()
Test where the data satisifies the rule exactly once.
|
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 TestRuleOwlInverseOf()
public TestRuleOwlInverseOf(String name)
name - Copyright © 2006–2019 SYSTAP, LLC DBA Blazegraph. All rights reserved.