=Paper=
{{Paper
|id=None
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-876/preface.pdf
|volume=Vol-876
}}
==None==
https://ceur-ws.org/Vol-876/preface.pdf
Florent Domenach, Dmitry I. Ignatov, Jonas Poelmans (Eds.)
ICFCA 2012 International Conference on Formal
Concept Analysis
Contributions to the 10th International Conference on Formal Concept Analysis
(ICFCA 2012)
May 2012, Leuven, Belgium
i
Volume Editors
Florent Domenach
Department of Computer Science
University of Nicosia, Cyprus
Dmitry I. Ignatov
School of Applied Mathematics and Information Science
National Research University Higher School of Economics, Moscow, Russia
Jonas Poelmans
Faculty of Business and Economics
Katholieke Universiteit Leuven, Belgium
Printed in Belgium by the Katholieke Universiteit Leuven with ISBN 978-9-08-
140995-7.
The proceedings are also published online on the CEUR-Workshop website in
volume Vol-876 of a series with ISSN 1613-0073.
Copyright c 2012 for the individual papers by papers' authors, for the Volume
by the editors. All rights reserved. No part of this publication may be reproduced,
stored in a retrieval system, or transmitted, in any form or by any means without
the prior permission of the copyright owners.
ii
Preface
This volume contains the papers presented at the 10th International Conference
on Formal Concept Analysis (ICFCA 2012) held from May 7th to May 10th , at
the Katholieke Universiteit Leuven, Belgium.
There were 68 submissions by authors from 27 countries. Each submission
was reviewed by at least three program committee members, and twenty reg-
ular papers (29%) were accepted for the Springer Proceedings. The program
also included six invited talks on topical issues: Recent Advances in Machine
Learning and Data Mining, Mining Terrorist Networks and Revealing Crimi-
nals, Concept-Based Process Mining, and Scalability Issues in FCA and Rough
Sets. The corresponding abstracts are gathered in the rst section of the Springer
volume. Another fourteen papers were assessed as valuable for discussion at the
conference and were therefore collected in this volume.
Formal Concept Analysis emerged in the 1980's from attempts to restructure
lattice theory in order to promote better communication between lattice theo-
rists and potential users of lattice theory. Since its early years, Formal Concept
Analysis has developed into a research eld in its own right with a thriving theo-
retical community and a rapidly expanding range of applications in information
and knowledge processing including visualization, data analysis, and knowledge
management.
The conference aims to bring together researchers and practitioners working
on theoretical or applied aspects of Formal Concept Analysis within major re-
lated areas such as Mathematics, Computer and Information Sciences and their
diverse applications to elds such as Software Engineering, Linguistics, Life and
Social Sciences.
We would like to thank the authors and reviewers whose hard work ensured
presentations of very high quality and scienti c vigor. In addition, we express
our deepest gratitude to all Program Committee and Editorial Board members
as well as external reviewers, especially to Bernhard Ganter, Claudio Carpineto,
Frithjof Dau, Sergei Kuznetsov, Sergei Obiedkov, Sebastian Rudolf and Stefan
Schmidt for their advice and support.
We would like to acknowledge all sponsoring institutions and the local or-
ganization team who made this conference a success. In particular, we thank
Amsterdam-Amstelland Police, IBM Belgium, OpenConnect Systems, Research
Foundation Flanders, and Vlerick Management School.
We are also grateful to Katholieke Universiteit Leuven for publishing this
volume and the developers of the EasyChair system which helped us during the
reviewing process.
May, 2012 Florent Domenach
Dmitry I. Ignatov
Jonas Poelmans
Organization
The International Conference on Formal Concept Analysis is the annual confer-
ence and principal research forum in the theory and practice of Formal Concept
Analysis. The inaugural International Conference on Formal Concept Analysis
was held at the Technische Universität Darmstadt, Germany, in 2003. Subse-
quent ICFCA conferences were held at the University of New South Wales in
Sydney, Australia, 2004, Université d'Artois, Lens, France, 2005, Institut für Al-
gebra, Technische Universität Dresden, Germany, 2006, Université de Clermont-
Ferrand, France, 2007, Université du Québec à Montréal, Canada, 2008, Darm-
stadt University of Applied Sciences, Germany, 2009, Agadir, Morocco, 2010,
and University of Nicosia, Cyprus, 2011. ICFCA 2012 was held at the Katholieke
Universiteit Leuven, Belgium. Its committees are listed below.
Conference Chair
Jonas Poelmans Katholieke Universiteit Leuven, Belgium
Conference Organization Committee
Guido Dedene Katholieke Universiteit Leuven, Belgium
Stijn Viaene Vlerick Management School, Belgium
Aimé Heene Ghent University, Belgium
Jasper Goyvaerts Katholieke Universiteit Leuven, Belgium
Nicole Meesters Katholieke Universiteit Leuven, Belgium
Elien Poelmans Maastricht University, Netherlands
Gerda Verheyden GZA Hospitals, Antwerpen, Belgium
Program Chairs
Florent Domenach University of Nicosia, Cyprus
Dmitry I. Ignatov Higher School of Economics, Russia
Editorial Board
Peter Eklund University of Wollongong, Australia
Sébastien Ferré Université de Rennes 1, France
Bernhard Ganter Technische Universität Dresden, Germany
Robert Godin Université du Québec à Montréal, Canada
Robert Jäschke Universität Kassel, Germany
Sergei O. Kuznetsov Higher School of Economics, Russia
Leonard Kwuida Zurich University of Applied Sciences, Switzerland
Raoul Medina Université de Clermont-Ferrand 2, France
Rokia Missaoui Université du Québec en Outaouais, Canada
Sergei Obiedkov Higher School of Economics, Russia
Uta Priss Edinburgh Napier University, UK
Sebastian Rudolph Karlsruhe Institute of Technology, Germany
Stefan Schmidt Technische Universität Dresden, Germany
Bari³ Sertkaya SAP Research Center Dresden, Germany
Gerd Stumme University of Kassel, Germany
Petko Valtchev Université du Québec à Montréal, Canada
Rudolf Wille Technische Universität Darmstadt, Germany
Karl Erich Wol University of Applied Sciences Darmstadt, Germany
Program Committee
Simon Andrews She eld Hallam University, UK
Michael Bain University of New South Wales, Australia
Jaume Baixeries Polytechnical University of Catalonia, Spain
Peter Becker The University of Queensland, Australia
Radim Belohlavek Palacky University, Czech Republic
Sadok Ben Yahia Faculty of Sciences, Tunisia
Karell Bertet Université de La Rochelle, France
Claudio Carpineto Fondazione Ugo Bordoni, Italy
Nathalie Caspard Université Paris 12, France
Frithjof Dau SAP, Germany
Guido Dedene Katholieke Universiteit Leuven, Belgium
Stephan Doerfel University of Kassel, Germany
Vincent Duquenne Université Paris 6, France
Alain Gély LITA, Université Paul Verlaine, France
Joachim Hereth DMC GmbH, Germany
Marianne Huchard Université Montpellier 2 and CNRS, France
Tim Kaiser SAP AG, Germany
Mehdi Kaytoue LORIA Nancy, France
Markus Krötzsch The University of Oxford, UK
Marzena Kryszkiewicz Warsaw University of Technology, Poland
Yuri Kudryavcev PMSquare, Australia
Lot Lakhal LIF, Université Aix-Marseille, France
Wilfried Lex TU Clausthal, Germany
Engelbert Mephu Nguifo LIMOS, Université de Clermont-Ferrand 2, France
Amedeo Napoli LORIA Nancy, France
Lhouari Nourine LIMOS, France
Jan Outrata Palacky University of Olomouc, Czech Republic
Jean-Marc Petit LIRIS, INSA Lyon, France
v
Geert Poels Ghent University, Belgium
Alex Pogel New Mexico State University, USA
Sándor Radeleczki University of Miskolc, Hungary
Olivier Raynaud LIMOS, Université de Clermont-Ferrand 2, France
Camille Roth CNRS/EHESS, France
Mohamed Rouane-Hacene Université du Québec à Montréal, Canada
Dominik l¦zak University of Warsaw & Infobright, Poland
Laszlo Szathmary University of Debrecen, Hungary
Andreja Tepav£evi¢ University of Novi Sad, Serbia
Stijn Viaene Katholieke Universiteit Leuven, Belgium
External Reviewers
Mikhail Babin, Russia Yury Katkov, Russia
Philippe Fournier-Viger, Taiwan Viet Phan Luong, France
Nathalie Girard, France Nikita Romashkin, Russia
Tarek Hamrouni, France
Alice Hermann, France
Sponsoring Institutions
Amsterdam-Amstelland Police, The Netherlands
IBM, Belgium
OpenConnect Systems, United States
Research Foundation Flanders, Belgium
Vlerick Management School, Belgium
vi
Table of Contents
Composition of L-Fuzzy contexts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Cristina Alcalde, Ana Burusco and Ramon Fuentes-Gonzalez
Iterator-based Algorithms in Self-Tuning Discovery of Partial Implications 14
Jose Balcazar, Diego García-Saiz and Javier De La Dehesa
Completing Terminological Axioms with Formal Concept Analysis . . . . . . 29
Alexandre Bazin and Jean-Gabriel Ganascia
Structural Properties and Algorthms on the Lattice of Moore Co-Families 41
Laurent Beaudou, Pierre Colomb and Olivier Raynaud
A Tool-Based Set Theoretic Framework for Concept Approximation . . . . . 53
Zoltán Csajbók and Tamás Mihálydeák
Decision Aiding Software Using FCA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
Florent Domenach and Ali Tayari
Analyzing Chat Conversations of Pedosexuals with Temporal Relational
Semantic Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
Paul Elzinga, Karl Erich Wol, Jonas Poelmans, Stijn Viaene and
Guido Dedene
Closures and Partial Implications in Educational Data Mining . . . . . . . . . . 98
Diego García-Saiz, Jose L. Balcázar and Marta E. Zorrilla
Attribute Exploration in a Fuzzy Setting . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
Cynthia Vera Glodeanu
On Open Problem Semantics of the Clone Items . . . . . . . . . . . . . . . . . . . . 130
Juraj Macko
Computing the Skyline of a Relational Table Based on a Query Lattice . . 145
Carlo Meghini, Nicolas Spyratos and Tsuyoshi Sugibuchi
Using FCA for Modelling Conceptual Di culties in Learning Processes . . 161
Uta Priss, Peter Riegler and Nils Jensen
Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 174
vii