116117118119120121122123124125126
model2.open(); assertEquals(4, modelSet.size()); assertEquals(2, model1.size()); assertEquals(2, model2.size()); model2.removeAll(); assertEquals(2, modelSet.size()); assertEquals(2, model1.size()); assertEquals(0, model2.size()); model1.close();
171172173174175176177178179180181
// statements Model tmpModel = null; try { tmpModel = new RepositoryModel(this.lastURI, RepositoryModelSet.this.repository); tmpModel.removeAll(); } finally { if(tmpModel != null) { tmpModel.close(); } this.lastURI = null;
6364656667686970717273
// set intersection System.out.println("intersection of A and B (A \\Cup B):"); // intersection(A,B) == complement(A, complement(A,B)) C.addAll(A.iterator()); C.removeAll(B.iterator()); A.removeAll(C.iterator()); A.dump(); defaultModels(A,B); // finding the statement "max knows konrad" in any model