IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -
Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -
Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France)
Abstract : Molecular biology produces and accumulates huge amounts
of data that are generally integrated within graphs of molecules linked
by various interactions. Exploring potentially interesting substructures
(clusters, motifs) within such graphs requires proper abstraction and
visualization methods. Most layout techniques (edge and nodes spatial
organization) prove insufficient in this case. Royer et al. introduced in
2008 Power graph analysis, a dedicated program using classes of nodes
with similar properties and classes of edges linking node classes to achieve
a lossless graph compression. The contributions of this paper are twofold.
First, we formulate and study this issue in the framework of Formal
Concept Analysis. This leads to a generalized view of the initial problem
offering new variants and solving approaches. Second, we state the FCA
modeling problem in a logical setting, Answer Set programming, which
provides a great flexibility for the specification of concept search spaces.
https://hal.archives-ouvertes.fr/hal-01558302
Contributor : Lucas Bourneuf
<>
Submitted on : Friday, August 18, 2017 - 10:59:31 AM
Last modification on : Friday, September 13, 2019 - 9:49:21 AM
Lucas Bourneuf, Jacques Nicolas. FCA in a Logical Programming Setting for Visualization-oriented Graph Compression. International Conference on Formal Concept Analysis 2017, Jun 2017, Rennes, France. ⟨10.1007/978-3-319-59271-8_6⟩. ⟨hal-01558302⟩