public class TestRuleOwlSameAs extends AbstractRuleTestCase
owl:sameAs1 : (x owl:sameAs y) -> (y owl:sameAs x) owl:sameAs1b: (x owl:sameAs y), (y owl:sameAs z) -> (x owl:sameAs z) owl:sameAs2 : (x owl:sameAs y), (x a z) -> (y a z). owl:sameAs3 : (x owl:sameAs y), (z a x) -> (z a y).
RuleOwlSameAs1,
RuleOwlSameAs1b,
RuleOwlSameAs2,
RuleOwlSameAs3AbstractTestCase.StatementVerifierTestCase2.MyProperties, TestCase2.RandomTypeNULL_randomType, log| Constructor and Description |
|---|
TestRuleOwlSameAs() |
TestRuleOwlSameAs(String name) |
| Modifier and Type | Method and Description |
|---|---|
void |
test_owlSameAs1()
Test where the data satisifies the rule exactly once.
|
void |
test_owlSameAs1b()
Test where the data satisifies the rule exactly once.
|
void |
test_owlSameAs2()
Test where the data satisifies the rule exactly once.
|
void |
test_owlSameAs3()
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 TestRuleOwlSameAs()
public TestRuleOwlSameAs(String name)
name - public void test_owlSameAs1()
throws Exception
owl:sameAs1: (x owl:sameAs y) -> (y owl:sameAs x)
Exceptionpublic void test_owlSameAs1b()
throws Exception
owl:sameAs1b: (x owl:sameAs y), (y owl:sameAs z) -> (x owl:sameAs z)
Exceptionpublic void test_owlSameAs2()
throws Exception
Note: This also verifies that we correctly filter out entailments where
a == owl:sameAs.
owl:sameAs2: (x owl:sameAs y), (x a z) -> (y a z).
ExceptionCopyright © 2006–2019 SYSTAP, LLC DBA Blazegraph. All rights reserved.