| Vol-672 urn:nbn:de:0074-672-1 Copyright © 2010 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# CLA-2010
Concept Lattices and Their Applications

### Proceedings of the 7th International Conference on Concept Lattices and Their Applications

### Sevilla, Spain, October 19-21, 2010.

Edited by

### Marzena Kryszkiewicz *
Sergei Obiedkov **

* Warsaw University of Technology, Warsaw, Poland
** State University Higher School of Economics, Moscow, Russia

## Table of Contents

- Preface

### Invited Talks

1. Granular FCA—An Introduction (abstract) 1
   Bernhard Ganter
2. A Survey on how Description Logic Ontologies Benefit from FCA 2-21
   Barış Sertkaya
3. Lifeworld and Mathematics 22-37
   Rudolf Wille

### Regular Papers

4. L-Fuzzy Concepts and Linguistic Variables in Knowledge Acquisition Processes 38-49
   Cristina Alcalde, Ana Burusco, Ramón Fuentes-González
5. Relations between Proto-fuzzy concepts, Crisply Generated Fuzzy Concepts, and Interval Pattern Structures 50-59
   Vera V. Pankratieva, Sergei O. Kuznetsov
6. Operators and Spaces Associated to Matrices with Grades and Their Decompositions II 60-69
   Radim Belohlavek, Jan Konecny
7. L-Bonds vs Extents of Direct Products of Two L-fuzzy Contexts 70-79
   Ondrej Krídlo, Stanislav Krajči, Manuel Ojeda-Aciego
8. Reducing the Size of Concept Lattices: The JBOS Approach 80-91
   Sérgio M. Dias, Newton Vieira
9. Towards Attribute Reduction in Multi-adjoint Concept Lattices 92-103
   Jesús Medina Moreno, Manuel Ojeda-Aciego
10. Analysis of Large Data Sets using Formal Concept Lattices 104-115
    Simon Andrews, Constantinos Orphanides
11. General Approach to Triadic Concept Analysis 116-126
    Jan Konecny, Petr Osicka
12. Triadic Factor Analysis 127-138
    Cynthia Glodeanu
13. Social Tagging for Digital Libraries using Formal Concept Analysis 139-150
    Peter Eklund, Tim Wray
14. Using Formal Concept Analysis to Acquire Knowledge about Verbs 151-162
    Ingrid Falk, Claire Gardent, Alejandra Lorenzo
15. Evaluating Term Concept Association Mesaures for Short Text Expansion: Two Case Studies of Classification and Clustering 163-174
    Alessandro Marco Boutari, Claudio Carpineto, Raffaele Nicolussi
16. Modifying Logic of Discovery for Dealing with Domain Knowledge in Data Mining 175-186
    Jan Rauch
17. Preprocessing Input Data for Machine Learning by FCA 187-198
    Jan Outrata
18. Discovering Functional Dependencies and Association Rules by Navigating in a Lattice of OLAP Views 199-210
    Pierre Allard, Sébastien Ferré, Olivier Ridoux
19. Anthropocentric Visualisation of Optimal Cover of Association Rules 211-222
    Amira Mouakher, Sadok Ben Yahia
20. Using Formal Concept Analysis for Discovering Knowledge Patterns 223-234
    Mohamed Rouane-Hacene, Marianne Huchard, Amedeo Napoli, Petko Valtchev
21. Restrictions on Concept Lattices for Pattern Management 235-246
    Léonard Kwuida, Rokia Missaoui, Beligh Ben Amor, Lahcen Boumedjout, Jean Vail lancourt
22. Fixing Generalization Defects in UML Use Case Diagrams 247-258
    Xavier Dolques, Clémentine Nebut, Marianne Huchard, Philippe Reitz
23. Component-Based Architecture Recovery from Object Oriented Systems via Relational Concept Analysis 259-270
    Alae-Eddine El Hamdouni, Abdelhak Seriai, Marianne Huchard
24. An Inference System for Exhaustive Generation of Mixed and Purely Negative Implications from Purely Positive Ones 271-282
    Rokia Missaoui, Lhouari Nourine, Yoan Renaud
25. The Scaffolding of a Formal Context 283-293
    Stephan Doerfel
26. Recognizing Pseudo-intents is coNP-complete 294-301
    Mikhail A. Babin, Sergei O. Kuznetsov
27. Combining FCA Software and Sage 302-312
    Uta Priss
28. Attribute Exploration of Properties of Functions on Ordered Sets 313-324
    Artem Revenko, Sergei O. Kuznetsov
29. Advances in Algorithms Based on CbO 325-337
    Petr Krajca, Jan Outrata, Vilem Vychodil

### Short Papers

30. Thoughts on Exploiting Instability in Lattices for Assessing the Discrimination Adequacy of a Taxonomy 338-343
    Antony Cooper, Derrick Kourie, Serena Coetzee
31. Using Bonds for Describing Method Dispatch in Role-Oriented Software Models 344-349
    Henri Mühle
32. Linguistic Processing in Lattice-Based Taxonomy Construction 350-355
    Anastasia Novokreshchenova, Maria Shabanova, Dmitry Zaytsev, Nina Belyaeva

03-Nov-2010: submitted by Sergei Obiedkov
03-Nov-2010: published on CEUR-WS.org