final AbstractTripleStore store = getStore(properties); assertTrue(store.hasStatement(U, A, V)); assertEquals(1,store.getStatementCount()); applyRule(store, r, -1/*solutionCount*/,1/* mutationCount*/); assertTrue(store.hasStatement(U, A, V)); assertFalse(store.hasStatement(U, rdfType, rdfsResource)); assertTrue(store.hasStatement(V, rdfType, rdfsResource)); assertEquals(2,store.getStatementCount());
final AbstractTripleStore store = getStore(properties); assertTrue(store.hasStatement(U, A, X)); assertEquals(1,store.getStatementCount()); .getNamespace(), vocab); applyRule(store, r, -1/*solutionCount*/,1/* mutationCount*/); assertTrue(store.hasStatement(U, A, X)); assertTrue(store.hasStatement(U, rdfType, rdfsResource)); assertFalse(store.hasStatement(X, rdfType, rdfsResource)); assertEquals(2,store.getStatementCount());
final AbstractTripleStore store = getStore(properties); assertTrue(store.hasStatement(U, A, V)); assertEquals(1,store.getStatementCount()); applyRule(store, r, -1/*solutionCount*/,1/* mutationCount*/); assertTrue(store.hasStatement(U, A, V)); assertFalse(store.hasStatement(U, rdfType, rdfsResource)); assertTrue(store.hasStatement(V, rdfType, rdfsResource)); assertEquals(2,store.getStatementCount());
final AbstractTripleStore store = getStore(properties); assertTrue(store.hasStatement(U, A, X)); assertEquals(1,store.getStatementCount()); .getNamespace(), vocab); applyRule(store, r, -1/*solutionCount*/,1/* mutationCount*/); assertTrue(store.hasStatement(U, A, X)); assertTrue(store.hasStatement(U, rdfType, rdfsResource)); assertFalse(store.hasStatement(X, rdfType, rdfsResource)); assertEquals(2,store.getStatementCount());
final AbstractTripleStore store = getStore(properties); assertTrue(store.hasStatement(A, rdfType, C)); assertEquals(1,store.getStatementCount()); .getAxioms(), true/* forwardChainRdfTypeRdfsResource */); applyRule(store, r, filter/*, false /*justified*/, 0/* solutionCount */, 0/* mutationCount*/); assertTrue(store.hasStatement(A, rdfType, C)); assertFalse(store.hasStatement(A, rdfType, rdfsResource)); assertEquals(1,store.getStatementCount());
final AbstractTripleStore store = getStore(properties); assertTrue(store.hasStatement(A, rdfType, C)); assertEquals(1,store.getStatementCount()); .getAxioms(), true/* forwardChainRdfTypeRdfsResource */); applyRule(store, r, filter/*, false /*justified*/, 0/* solutionCount */, 0/* mutationCount*/); assertTrue(store.hasStatement(A, rdfType, C)); assertFalse(store.hasStatement(A, rdfType, rdfsResource)); assertEquals(1,store.getStatementCount());
final AbstractTripleStore store = getStore(properties); assertTrue(store.hasStatement(U, A, X)); assertEquals(1,store.getStatementCount()); .getNamespace(), vocab); applyRule(store, r, -1/*solutionCount*/,1/* mutationCount*/); assertTrue(store.hasStatement(U, A, X)); assertTrue(store.hasStatement(U, rdfType, rdfsResource)); assertFalse(store.hasStatement(X, rdfType, rdfsResource)); assertEquals(2,store.getStatementCount());
final AbstractTripleStore store = getStore(properties); assertTrue(store.hasStatement(U, A, V)); assertEquals(1,store.getStatementCount()); applyRule(store, r, -1/*solutionCount*/,1/* mutationCount*/); assertTrue(store.hasStatement(U, A, V)); assertFalse(store.hasStatement(U, rdfType, rdfsResource)); assertTrue(store.hasStatement(V, rdfType, rdfsResource)); assertEquals(2,store.getStatementCount());
final AbstractTripleStore store = getStore(properties); assertTrue(store.hasStatement(A, rdfType, C)); assertEquals(1,store.getStatementCount()); .getAxioms(), true/* forwardChainRdfTypeRdfsResource */); applyRule(store, r, filter/*, false /*justified*/, 0/* solutionCount */, 0/* mutationCount*/); assertTrue(store.hasStatement(A, rdfType, C)); assertFalse(store.hasStatement(A, rdfType, rdfsResource)); assertEquals(1,store.getStatementCount());