public void test_Rule() throws Exception { AbstractTripleStore store = getStore(); assertTrue(store.hasStatement(X, RDF.TYPE, OWL.SYMMETRICPROPERTY)); assertTrue(store.hasStatement(A, X, B)); final long nbefore = store.getStatementCount(); applyRule(store, r, -1/*solutionCount*/,1/*mutationCount*/); assertTrue(store.hasStatement(X, RDF.TYPE, OWL.SYMMETRICPROPERTY)); assertTrue(store.hasStatement(A, X, B)); assertTrue(store.hasStatement(B, X, A)); assertEquals(nbefore + 1, store.getStatementCount());
public void test_Rule() throws Exception { AbstractTripleStore store = getStore(); assertTrue(store.hasStatement(X, RDF.TYPE, OWL.SYMMETRICPROPERTY)); assertTrue(store.hasStatement(A, X, B)); final long nbefore = store.getStatementCount(); applyRule(store, r, -1/*solutionCount*/,1/*mutationCount*/); assertTrue(store.hasStatement(X, RDF.TYPE, OWL.SYMMETRICPROPERTY)); assertTrue(store.hasStatement(A, X, B)); assertTrue(store.hasStatement(B, X, A)); assertEquals(nbefore + 1, store.getStatementCount());
public void test_Rule() throws Exception { AbstractTripleStore store = getStore(); assertTrue(store.hasStatement(X, RDF.TYPE, OWL.SYMMETRICPROPERTY)); assertTrue(store.hasStatement(A, X, B)); final long nbefore = store.getStatementCount(); applyRule(store, r, -1/*solutionCount*/,1/*mutationCount*/); assertTrue(store.hasStatement(X, RDF.TYPE, OWL.SYMMETRICPROPERTY)); assertTrue(store.hasStatement(A, X, B)); assertTrue(store.hasStatement(B, X, A)); assertEquals(nbefore + 1, store.getStatementCount());