Formal Concept Analysis: 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019, Proceedings

Description

This book constitutes the proceedings of the 15th International Conference on Formal Concept Analysis, ICFCA 2019, held in Frankfurt am Main, Germany, in June 2019. The 15 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The book also contains four invited contributions in full paper length. The field of Formal Concept Analysis (FCA) originated in the 1980s in Darmstadt as a subfield of mathematical order theory, with prior developments in other research groups. Its original motivation was to consider complete lattices as lattices of concepts, drawing motivation from philosophy and mathematics alike. FCA has since then developed into a wide research area with applications much beyond its original motivation, for example in logic, data mining, learning, and psychology. Front Matter ....Pages i-xiii Front Matter ....Pages 1-1 Elements About Exploratory, Knowledge-Based, Hybrid, and Explainable Knowledge Discovery (Miguel Couceiro, Amedeo Napoli)....Pages 3-16 Too Much Information: Can AI Cope with Modern Knowledge Graphs? (Markus Krötzsch)....Pages 17-31 Learning Implications from Data and from Queries (Sergei Obiedkov)....Pages 32-44 Concepts in Application Context (Steffen Staab)....Pages 45-52 Front Matter ....Pages 53-53 Direct and Binary Direct Bases for One-Set Updates of a Closure System (Kira Adaricheva, Taylor Ninesling)....Pages 55-72 Reduction and Introducers in d-contexts (Alexandre Bazin, Giacomo Kahn)....Pages 73-88 Dualization in Lattices Given by Implicational Bases (Oscar Defrain, Lhouari Nourine)....Pages 89-98 “Properties of Finite Lattices” by S. Reeg and W. Weiß, Revisited (Bernhard Ganter)....Pages 99-109 Joining Implications in Formal Contexts and Inductive Learning in a Horn Description Logic (Francesco Kriegel)....Pages 110-129 Lattices of Orders (Christian Meschke)....Pages 130-151 Front Matter ....Pages 153-153 On-demand Relational Concept Analysis (Alexandre Bazin, Jessie Carbonnel, Marianne Huchard, Giacomo Kahn, Priscilla Keip, Amirouche Ouzerdine)....Pages 155-172 Mining Formal Concepts Using Implications Between Items (Aimene Belfodil, Adnene Belfodil, Mehdi Kaytoue)....Pages 173-190 Effects of Input Data Formalisation in Relational Concept Analysis for a Data Model with a Ternary Relation (Priscilla Keip, Alain Gutierrez, Marianne Huchard, Florence Le Ber, Samira Sarter, Pierre Silvie et al.)....Pages 191-207 Parallelization of the GreConD Algorithm for Boolean Matrix Factorization (Petr Krajča, Martin Trnecka)....Pages 208-222 Simultaneous, Polynomial-Time Layout of Context Bigraph and Lattice Digraph (Tim Pattison, Aaron Ceglar)....Pages 223-240 Using Redescriptions and Formal Concept Analysis for Mining Definitions in Linked Data (Justine Reynaud, Yannick Toussaint, Amedeo Napoli)....Pages 241-256 Front Matter ....Pages 257-257 A Formal Context for Closures of Acyclic Hypergraphs (Jaume Baixeries)....Pages 259-273 Concept Lattices as a Search Space for Graph Compression (Lucas Bourneuf, Jacques Nicolas)....Pages 274-289 A Relational Extension of Galois Connections (Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego)....Pages 290-303 Front Matter ....Pages 305-305 Sampling Representation Contexts with Attribute Exploration (Victor Codocedo, Jaume Baixeries, Mehdi Kaytoue, Amedeo Napoli)....Pages 307-314 Discovering Implicational Knowledge in Wikidata (Tom Hanika, Maximilian Marx, Gerd Stumme)....Pages 315-323 A Characterization Theorem for Continuous Lattices by Closure Spaces (Guozhi Ma, Lankun Guo, Cheng Yang)....Pages 324-331 On Coupling FCA and MDL in Pattern Mining (Tatiana Makhalova, Sergei O. Kuznetsov, Amedeo Napoli)....Pages 332-340 A Study of Boolean Matrix Factorization Under Supervised Settings (Tatiana Makhalova, Martin Trnecka)....Pages 341-348 Back Matter ....Pages 349-349