The 13th International Conference on Concept Lattices and Their Applications
Program
CLA2016_program (PDF, 535 Kb)
July 18
09:00-09:40 Registration (5-th floor)
09:40-11:00 Workshops: EEML (room 421, schedule), CDUD (Conference Hall, 5-th floor, schedule), SCAKD (room 424, schedule)
11:00-11:20 COFFEE-BREAK
11:20-13:00 Workshops: EEML (room 421, schedule), CDUD (Conference Hall, 5-th floor, schedule), SCAKD (room 424, schedule)
13:00-14:00 LUNCH
14:00 - 15:20 Workshops: AFCADM (room 426, schedule), EEML (room 421, schedule), CDUD (Conference Hall, 5-th floor, schedule), SCAKD (room 424, schedule)
15.20 - 15.40 Industrial Presentation: Olga Moskaleva and Anna Gromova (ExactPro), Using Intelligent Systems and Structural Analysis to Assure Orderly Operations of the Modern Trading and Exchange Platforms
15:40-16:00 COFFEE-BREAK
16.00 - 17.00 Tutorial: Sergei Obiedkov (NRU HSE, Moscow), Query Learning and Attribute Exploration (Conference Hall, 5-th floor)
slides (PDF, 2.81 Mb)
Abstract: Attribute exploration and a number of related techniques collectively referred to as conceptual exploration have been proposed within formal concept analysis as tools for semiautomatic knowledge acquisition. We will present attribute exploration as an instance of a general framework known in computational learning theory as “learning with queries”. We will cover a polynomial algorithm for learning implications developed within this framework, as well as the basic algorithm of attribute exploration and its modifications that allow for background implications, exceptions, and partially given examples.
17:00 - 18:20 Tutorial: Jérôme Euzenat (INRIA Grenoble), Introduction to ontology matching (Conference Hall, 5-th floor)
slides (PDF, 454 Kb)
Abstract: This tutorial is an overview of the motivations and principles of ontology matching in the context of the semantic web. The author will briefly introduce some principles of the semantic web and linked data/ Then he will present the key concepts in ontology matching and show how they are put in application in specific use cases. This aims at providing a comprehensive but general overview of the domain. An indicative outline of the presentation is:
- Introduction to the semantic web
- Motivation of ontology matching
- General setting and basic definitions
- Use case portfolio
- Overview of matching techniques
18:20 - 21:00 WELCOME PARTY
July 19
9:30-10:00 Registration (5-th floor)
10:00-10:15 Welcome
10:15-11:15 Invited talk: Jérôme Euzenat (INRIA Grenoble), Data interlinking with formal concept analysis and link keys. Chair: Peter Eklund
11:15-11:30 COFFEE-BREAK
11:30-13:00 Session 1. Tools and Data. Chair: Aleksey Buzmakov
Mehwish Alam, Thi Nhu Nguyen Le and Amedeo Napoli, LatViz: A new practical tool for performing interactive exploration over concept lattices
Alexey A. Neznanov and Andrey A. Parinov, Unified External Data Access Implementation in Formal Concept Analysis Research Toolbox
Daniel Borchmann and Tom Hanika, Some Experimental Results on Randomly Generating Formal Contexts
13:00-14:00 LUNCH
14:00 - 16:00 Session 2. Implications, closure systems and their applications. Chair: Jaume Baixeries
Jessie Carbonnel, Karell Bertet, Marianne Huchard and Clémentine Nebut, FCA for Software Product Lines representation: Mixing product and characteristic relationships in a unique canonical representation
Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Rokia Missaoui and Angel Mora Bonilla, CAISL: Simplification Logic for Conditional Attribute Implications
Francesco Kriegel, NextClosures with Constraints
Alexandre Bazin, Comparing Algorithms for Computing Lower Covers of Implication-closed Sets
16:00-16:30 COFFEE-BREAK
16:30 - 18:30 Session 3. Applications. Chair: Xavier Dolques
Cynthia Pitou and Jean Diatta, Textual information extraction in document images guided by a concept lattice
Dmitry Palchunov, Gulnara Yakhyaeva and Ekaterina Dolgusheva, Conceptual Methods for Identifying Needs of Mobile Network Subscribers
Tim Wray, Jan Outrata and Peter Eklund, Scalable Performance of FCbO Algorithm on Museum Data
My Thao Tang, Aleksey Buzmakov, Yannick Toussaint and Amedeo Napoli, Building a Domain Knowledge Model Based on a Concept Lattice Integrating Expert Constraints
July 20
10:00-11:00 Invited talk: Lev D. Beklemishev (Mathematical Institute of Russian Academy of Science, Moscow), Strictly positive fragments of modal and description logic.
Chair: Manuel Ojeda-Aciego
11:00-11:30 COFFEE-BREAK
11:30-13:00 Session 4. Many-Relational approaches and lattice structure. Chair: François Brucker
Jens Kötters, Intentional Concept Graphs as Patterns over Power Context Families
Cristina Nica, Agnès Braud, Xavier Dolques, Marianne Huchard and Florence Le Ber, Exploring Temporal Data Using Relational Concept Analysis - An Application to Hydroecological Data
Laurent Beaudou and Lhouari Nourine, Partial duplication of convex sets in lattices
13:00-14:00 LUNCH
14:00 - 22:00 Excursion and conference dinner
July 21
10:00-11:00 Invited talk: Boris G. Mirkin (Higher School of Economics, Moscow), Approximate clusters, biclusters and n-clusters in the analysis of
binary and general data matrices. Chair: Pablo Cordero
slides (PPTX, 1.61 Mb)
11:00-11:30 COFFEE-BREAK
11:30-13:00 Session 5. Pattern Structures. Chair: Bernhard Ganter
Alexey Masyutin and Sergei O. Kuznetsov, Continuous Target Variable Prediction with Augmented Interval Pattern Structures: Lazy Algorithm
Aleksey Buzmakov and Amedeo Napoli, On Scaling of Fuzzy FCA to Pattern Structures
Natalia V. Korepanova and Sergei O. Kuznetsov, Pattern Structures for Treatment Optimization in Subgroups of Patients
13:00-14:00 LUNCH
14:00 - 16:00 Session 6. Fuzziness. Chair: Jan Outrata
Irina Perfilieva and Marek Vajgl, Data Retrieval and Noise Reduction by Fuzzy Associative Memories
Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego and Bernard De Baets, On the existence of right adjoints for surjective mappings between fuzzy structures
Tim B. Kaiser, Lars Lumpe and Stefan E. Schmidt, A Fresh View on Fuzzy Formal Concept Analysis and Mathematical Morphology
Maria Eugenia Cornejo Piñero, Jesús Medina Moreno and Eloisa Ramírez Poussa, Reducts in multi-adjoint concept lattices
16:00-16:30 COFFEE-BREAK
16:30 - 18:30 Session 7. FCA-based resolution of reference problems. Chair: Florence Le Ber
Víctor Codocedo, Jaume Baixeries, Mehdi Kaytoue and Amedeo Napoli, Characterization of Order-like Dependencies with Formal Concept Analysis
Yury Kashnitsky and Sergei O. Kuznetsov, Global optimization in learning with important data: an FCA-based approach
Artem Bocharov, Dmitry Gnatyshak, Dmitry I. Ignatov, Boris G. Mirkin and Andrey Shestakov, A Lattice-based Consensus Clustering Algorithm
François Brucker and Pascal Préa, The Approximate Seriation Problem in Formal Context Analysis
July 22
10:00-11:00 Invited talk: Bernhard Ganter (TU-Dresden), Things to do in Formal Concept Analysis. Chair: Amedeo Napoli
slides (PDF, 10.83 Mb)
11:00-11:30 COFFEE-BREAK
11:30-13:00 Session 8. Metrics, distances and classification. Chair: Pascal Préa
Tobias Gäbel-Hökenschnieder, Stefan E. Schmidt, Thorsten Pfeiffer and Mosadak Al Salamat, Generalized metrics and their relevance for FCA and closure operators
Dhouha Grissa, Blandine Comte, Estelle Pujos-Guillot and Amedeo Napoli, A Hybrid Data mining Approach for the Identification of Biomarkers in Metabolomic data
Sergei O. Kuznetsov and Tatyana Makhalova, Stability for triadic concepts
13:00 Closing session, lunch