graph contexts

contexts/covered-clique.lp

+
+% A clique.
+rel((a;b;c;d;e),(a;b;c;d;e)).  % simple but dangerous version
+% rel(a,(b;c;d;e)).  % more complex representation
+% rel(b,(a;c;d;e)).  % where nodes are not linked
+% rel(c,(a;b;d;e)).  % to each others.
+% rel(d,(a;b;c;e)).
+% rel(e,(a;b;c;d)).
+
+% Small bicliques that cover the clique.
+rel((a;b),(f;g)).
+rel((c;d),(h;ii)).
+
+% A single link that shouldn't be compressed.
+rel(e,j).

contexts/overlapping-bicliques.lp

+% a general star
+rel(a,(b;c;d;e;f;g;h;i;j;k)).
+
+% Small independant biclique
+rel((b;c),(d;e)).
+
+% a star
+rel(f,(g;h;i)).
+
+% overlapping with a biclique
+rel((f;g;h),(i;j;k)).
+
+rel(X,Y):- rel(Y,X).