store.addStatement(U, A, Y); assertTrue(store.hasStatement(A, rdfsSubPropertyOf, B1)); assertTrue(store.hasStatement(A, rdfsSubPropertyOf, B2)); assertTrue(store.hasStatement(U, A, Y)); assertEquals(3,store.getStatementCount()); assertTrue(store.hasStatement(A, rdfsSubPropertyOf, B1)); assertTrue(store.hasStatement(A, rdfsSubPropertyOf, B2)); assertTrue(store.hasStatement(U, A, Y)); assertTrue(store.hasStatement(U, B1, Y)); // entailed. assertTrue(store.hasStatement(U, B2, Y)); // entailed. assertEquals(5,store.getStatementCount());
store.addStatement(U, A, Y); assertTrue(store.hasStatement(A, rdfsSubPropertyOf, B1)); assertTrue(store.hasStatement(A, rdfsSubPropertyOf, B2)); assertTrue(store.hasStatement(U, A, Y)); assertEquals(3,store.getStatementCount()); assertTrue(store.hasStatement(A, rdfsSubPropertyOf, B1)); assertTrue(store.hasStatement(A, rdfsSubPropertyOf, B2)); assertTrue(store.hasStatement(U, A, Y)); assertTrue(store.hasStatement(U, B1, Y)); // entailed. assertTrue(store.hasStatement(U, B2, Y)); // entailed. assertEquals(5,store.getStatementCount());
store.addStatement(U2, A, Y2); assertTrue(store.hasStatement(A, rdfsSubPropertyOf, B)); assertTrue(store.hasStatement(U1, A, Y1)); assertTrue(store.hasStatement(U2, A, Y2)); assertFalse(store.hasStatement(U1, B, Y1)); assertFalse(store.hasStatement(U2, B, Y2)); assertTrue(store.hasStatement(A, rdfsSubPropertyOf, B)); assertTrue(store.hasStatement(U1, A, Y1)); assertTrue(store.hasStatement(U2, A, Y2)); assertTrue(store.hasStatement(U1, B, Y1)); assertTrue(store.hasStatement(U2, B, Y2)); assertEquals(5,store.getStatementCount());
store.addStatement(U2, A, Y2); assertTrue(store.hasStatement(A, rdfsSubPropertyOf, B)); assertTrue(store.hasStatement(U1, A, Y1)); assertTrue(store.hasStatement(U2, A, Y2)); assertFalse(store.hasStatement(U1, B, Y1)); assertFalse(store.hasStatement(U2, B, Y2)); assertTrue(store.hasStatement(A, rdfsSubPropertyOf, B)); assertTrue(store.hasStatement(U1, A, Y1)); assertTrue(store.hasStatement(U2, A, Y2)); assertTrue(store.hasStatement(U1, B, Y1)); assertTrue(store.hasStatement(U2, B, Y2)); assertEquals(5,store.getStatementCount());
store.addStatement(U, A, Y); assertTrue(store.hasStatement(A, rdfsSubPropertyOf, B)); assertTrue(store.hasStatement(U, A, Y)); assertFalse(store.hasStatement(U, B, Y)); assertEquals(2,store.getStatementCount()); assertTrue(store.hasStatement(A, rdfsSubPropertyOf, B)); assertTrue(store.hasStatement(U, A, Y)); assertTrue(store.hasStatement(U, B, Y)); assertEquals(3,store.getStatementCount());
store.addStatement(U, A, Y); assertTrue(store.hasStatement(A, rdfsSubPropertyOf, B)); assertTrue(store.hasStatement(U, A, Y)); assertFalse(store.hasStatement(U, B, Y)); assertEquals(2,store.getStatementCount()); assertTrue(store.hasStatement(A, rdfsSubPropertyOf, B)); assertTrue(store.hasStatement(U, A, Y)); assertTrue(store.hasStatement(U, B, Y)); assertEquals(3,store.getStatementCount());
store.addStatement(U, A, Y); assertTrue(store.hasStatement(A, rdfsSubPropertyOf, B1)); assertTrue(store.hasStatement(A, rdfsSubPropertyOf, B2)); assertTrue(store.hasStatement(U, A, Y)); assertEquals(3,store.getStatementCount()); assertTrue(store.hasStatement(A, rdfsSubPropertyOf, B1)); assertTrue(store.hasStatement(A, rdfsSubPropertyOf, B2)); assertTrue(store.hasStatement(U, A, Y)); assertTrue(store.hasStatement(U, B1, Y)); // entailed. assertTrue(store.hasStatement(U, B2, Y)); // entailed. assertEquals(5,store.getStatementCount());
store.addStatement(U2, A, Y2); assertTrue(store.hasStatement(A, rdfsSubPropertyOf, B)); assertTrue(store.hasStatement(U1, A, Y1)); assertTrue(store.hasStatement(U2, A, Y2)); assertFalse(store.hasStatement(U1, B, Y1)); assertFalse(store.hasStatement(U2, B, Y2)); assertTrue(store.hasStatement(A, rdfsSubPropertyOf, B)); assertTrue(store.hasStatement(U1, A, Y1)); assertTrue(store.hasStatement(U2, A, Y2)); assertTrue(store.hasStatement(U1, B, Y1)); assertTrue(store.hasStatement(U2, B, Y2)); assertEquals(5,store.getStatementCount());
store.addStatement(U, A, Y); assertTrue(store.hasStatement(A, rdfsSubPropertyOf, B)); assertTrue(store.hasStatement(U, A, Y)); assertFalse(store.hasStatement(U, B, Y)); assertEquals(2,store.getStatementCount()); assertTrue(store.hasStatement(A, rdfsSubPropertyOf, B)); assertTrue(store.hasStatement(U, A, Y)); assertTrue(store.hasStatement(U, B, Y)); assertEquals(3,store.getStatementCount());