<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Preface</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Warsaw University of Technology, Warsaw, Poland State University Higher School of Economics</institution>
          ,
          <addr-line>Moscow</addr-line>
          ,
          <country country="RU">Russia</country>
        </aff>
      </contrib-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>University of Sevilla, Sevilla, Spain</p>
    </sec>
    <sec id="sec-2">
      <title>The 7th International Conference on</title>
    </sec>
    <sec id="sec-3">
      <title>Concept Lattices and Their Applications</title>
    </sec>
    <sec id="sec-4">
      <title>Sevilla, Spain</title>
    </sec>
    <sec id="sec-5">
      <title>October, 2010</title>
      <sec id="sec-5-1">
        <title>Edited by</title>
      </sec>
      <sec id="sec-5-2">
        <title>Marzena Kryszkiewicz Sergei Obiedkov</title>
      </sec>
      <sec id="sec-5-3">
        <title>Technical Editor: Francisco J. Mart n Mateos</title>
      </sec>
      <sec id="sec-5-4">
        <title>Published and printed by: University of Sevilla, Sevilla, Spain</title>
        <p>This volume contains the papers selected for the presentation at the International
Conference on Concept Lattices and Their Applications (CLA 2010) held in
Seville, Spain, from October 19 to 21, 2010.</p>
        <p>CLA 2010 was to provide researchers, practitioners, and students interested
in Formal Concept Analysis (FCA) a forum to share innovative theories,
methodologies, and applications in FCA and areas closely related to FCA such as data
mining, information retrieval, knowledge management, data and knowledge
engineering, logic, algebra and lattice theory.</p>
        <p>There were 42 paper submissions. Each submission was examined by at least
two and, on average, three reviewers. As a result of the reviewing process, 26
submissions were accepted as regular papers and three as short papers. The
conference program also includes three invited talks.</p>
        <p>We wish to thank all authors and all conference participants for their
contribution and support. We wish to express our thanks to the members of the
Program Committee and the external reviewers for their help in the reviewing
process. We are grateful to the researchers who kindly agreed to give the invited
talks: Bernhard Ganter, Bar s Sertkaya, and Rudolf Wille. We also wish to
express our appreciation to Radim Belohlavek for organizing a tutorial and to Uta
Priss for organizing a workshop.</p>
        <p>We are thankful to the members of the Steering Committee for their valuable
suggestions and support throughout the organization process. The support of the
conference organizer, Computational Logic Group at Universidad de Sevilla, is
gratefully acknowledged. We express our thanks to the members of the
Organizing Committee and, in particular, to its Chair, Gonzalo A. Aranda-Corral, for
devoting much of their precious time to the conference arrangements.</p>
        <p>We appreciate the use of the EasyChair conference system in organizing
the processes of papers submission and reviewing as well as the proceedings
preparation.</p>
      </sec>
      <sec id="sec-5-5">
        <title>September 2010 Marzena Kryszkiewicz Sergei Obiedkov</title>
      </sec>
    </sec>
    <sec id="sec-6">
      <title>Local Organization</title>
      <p>Organizing Conference Chair</p>
      <sec id="sec-6-1">
        <title>Gonzalo A. Aranda-Corral</title>
      </sec>
      <sec id="sec-6-2">
        <title>Universidad de Huelva, Spain</title>
        <p>Conference Organization Committee</p>
      </sec>
      <sec id="sec-6-3">
        <title>Joaqu n Borrego-D az</title>
        <p>Antonia M. Chavez-Gonzalez
Jose Luis Ruiz Reina
Francisco Jesus Mart n-Mateos
Mar a del Carmen Perez Cardona
Jose Antonio Alonso Jimenez
Mar a Jose Hidalgo Doblado
Jose Carpio Can~ada</p>
      </sec>
      <sec id="sec-6-4">
        <title>Universidad de Sevilla, Spain</title>
        <p>Universidad de Sevilla, Spain
Universidad de Sevilla, Spain
Universidad de Sevilla, Spain
Universidad de Sevilla, Spain
Universidad de Sevilla, Spain
Universidad de Sevilla, Spain
Universidad de Huelva, Spain</p>
      </sec>
    </sec>
    <sec id="sec-7">
      <title>Program</title>
    </sec>
    <sec id="sec-8">
      <title>Chairs</title>
      <sec id="sec-8-1">
        <title>Marzena Kryszkiewicz</title>
      </sec>
      <sec id="sec-8-2">
        <title>Sergei Obiedkov</title>
      </sec>
    </sec>
    <sec id="sec-9">
      <title>Steering Committee</title>
      <sec id="sec-9-1">
        <title>Radim Belohlavek</title>
      </sec>
      <sec id="sec-9-2">
        <title>Sadok Ben Yahia Jean Diatta Peter Eklund Sergei O. Kuznetsov</title>
      </sec>
      <sec id="sec-9-3">
        <title>Michel Liquiere Engelbert Mephu Nguifo Warsaw University of Technology, Warsaw, Poland</title>
        <p>State University of New York at Binghamton,
USA
Faculte des Sciences de Tunis, Tunisia
Universite de la Reunion, France
University of Wollongong, Australia
State University Higher School of Economics,
Russia
LIRMM, Montpellier, France
LIMOS - CNRS UMR 6158, Universite de
Clermont-Ferrand 2, France</p>
      </sec>
    </sec>
    <sec id="sec-10">
      <title>Program Committee</title>
    </sec>
    <sec id="sec-11">
      <title>External Reviewers</title>
      <sec id="sec-11-1">
        <title>Alain Casali</title>
        <p>Pablo Cordero
Melanie Courtine
Felix Distel
Xavier Dolques
Roland Ducournau
State University of New York at Binghamton, USA
Faculte des Sciences de Tunis, Tunisia
University of La Rochelle, France
Fondazione Ugo Bordoni, Roma, Italy
Universite de la Reunion, France
Universite Pierre et Marie Curie, Paris, France
University of Wollongong, Australia
Faculte des Sciences de Tunis, Tunisia
Irisa/Universite de Rennes 1, France
TU-Dresden, Dresden, Germany
University of Metz, France
Faculte des Sciences de Tunis, Tunisia
LIRMM, Montpellier, France
University of Pretoria, South Africa
P. J. Safarik University, Slovakia
State University Higher School of Economics, Russia
Zurich University of Applied Sciences, Switzerland
Aix-Marseille Universite, Marseille, France
LIRMM, Montpellier, France
Faculte des Sciences de Gafsa, Tunisia
LIMOS, Universite Blaise Pascal, France
LIMOS - CNRS UMR 6158, Universite de
ClermontFerrand 2, France
UQO, Gatineau, Canada
LORIA, Nancy, France
LIMOS, Universite de Clermont Ferrand, France
Universidad de Malaga, Malaga, Spain
Ecole des Mines dAles, N^mes, France
Napier University, Edinburgh, United Kingdom
CNRS/EHESS, France
Institute AIFB, University of Karlsruhe, Germany
SAP Research Center, Dresden, Germany
Universite du Quebec a Montreal, Canada
Palacky University, Czech Republic</p>
        <p>Luxoft, Kiev, Ukraine</p>
      </sec>
      <sec id="sec-11-2">
        <title>Philippe Fournier-Viger Nathalie Girard Mehdi Kaytoue Ondrej Kr dlo</title>
        <p>Jean-Yves Lafaye
Florence Le Ber</p>
      </sec>
      <sec id="sec-11-3">
        <title>Jesus Medina Moreno</title>
        <p>Sebastien Nedjar
Viet Phan-Luong
Violaine Prince
Yoan Renaud
Agustin Valverde</p>
      </sec>
    </sec>
    <sec id="sec-12">
      <title>Invited Talks</title>
      <p>Granular FCA|An Introduction : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :</p>
      <p>Bernhard Ganter
A Survey on how Description Logic Ontologies Bene t from Formal
Concept Analysis : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :</p>
      <p>Bar s Sertkaya
Lifeworld and Mathematics : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :</p>
      <p>Rudolf Wille</p>
    </sec>
    <sec id="sec-13">
      <title>Regular Papers</title>
      <p>L-Fuzzy Concepts and linguistic variables in knowledge acquisition
processes. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :</p>
      <p>Cristina Alcalde, Ana Burusco, Ramon Fuentes-Gonzalez
Relations between proto-fuzzy concepts, crisply generated fuzzy
concepts, and interval pattern structures : : : : : : : : : : : : : : : : : : : : : : : : : : : : :</p>
      <p>Vera V. Pankratieva, Sergei O. Kuznetsov
Operators and spaces associated to matrices with grades and their
decompositions II : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :</p>
      <p>Radim Belohlavek, Jan Konecny
L-Bonds vs extents of direct products of two L-fuzzy contexts : : : : : : : : : :</p>
      <p>Ondrej Kr dlo, Stanislav Krajci, Manuel Ojeda-Aciego
Reducing the Size of Concept Lattices: The JBOS Approach : : : : : : : : : : :</p>
      <p>Sergio M. Dias, Newton Vieira
Towards attribute reduction in multi-adjoint concept lattices : : : : : : : : : : :
Jesus Medina Moreno, Manuel Ojeda-Aciego
1
2
22
38
50
60
70
80
92
Analysis of Large Data Sets using Formal Concept Lattices : : : : : : : : : : : : : 104</p>
      <p>Simon Andrews, Constantinos Orphanides
General approach to triadic concept analysis : : : : : : : : : : : : : : : : : : : : : : : : : 116</p>
      <p>Jan Konecny, Petr Osicka
Triadic Factor Analysis : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 127
Cynthia Glodeanu
Social Tagging for Digital Libraries using Formal Concept Analysis : : : : : : 139</p>
      <p>Peter Eklund, Tim Wray
Using Formal Concept Analysis to Acquire Knowledge about Verbs. : : : : : 151</p>
      <p>Ingrid Falk, Claire Gardent, Alejandra Lorenzo
Evaluating term concept association mesaures for short text expansion:
two case studies of classi cation and clustering : : : : : : : : : : : : : : : : : : : : : : : 163</p>
      <p>Alessandro Marco Boutari, Claudio Carpineto, Ra aele Nicolussi
Modifying Logic of Discovery for Dealing with Domain Knowledge in
Data Mining : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 175</p>
      <p>Jan Rauch
Preprocessing input data for machine learning by FCA : : : : : : : : : : : : : : : : 187</p>
      <p>Jan Outrata
Discovering Functional Dependencies and Association Rules by
Navigating in a Lattice of OLAP Views : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 199</p>
      <p>Pierre Allard, Sebastien Ferre, Olivier Ridoux
Anthropocentric visualisation of optimal cover of association rules : : : : : : : 211</p>
      <p>Amira Mouakher, Sadok Ben Yahia
Using Formal Concept Analysis for discovering knowledge patterns : : : : : : 223
Mohamed Rouane-Hacene, Marianne Huchard, Amedeo Napoli, Petko
Valtchev
Restrictions on Concept lattices for Pattern Management : : : : : : : : : : : : : : 235
Leonard Kwuida, Rokia Missaoui, Beligh Ben Amor, Lahcen
Boumedjout, Jean Vaillancourt
Fixing generalization defects in UML use case diagrams : : : : : : : : : : : : : : : : 247</p>
      <p>Xavier Dolques, Clementine Nebut, Marianne Huchard, Philippe Reitz
Component-based Architecture Recovery from Object Oriented
Systems via Relational Concept Analysis : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 259</p>
      <p>Alae-Eddine El Hamdouni, Abdelhak Seriai, Marianne Huchard
An Inference System for Exhaustive Generation of Mixed and Purely
Negative Implications from Purely Positive Ones : : : : : : : : : : : : : : : : : : : : : : 271</p>
      <p>Rokia Missaoui, Lhouari Nourine, Yoan Renaud
The Sca olding of a Formal Context : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 283</p>
      <p>Stephan Doerfel
Recognizing Pseudo-Intents is coNP-complete : : : : : : : : : : : : : : : : : : : : : : : : 294</p>
      <p>Mikhail A. Babin, Sergei O. Kuznetsov
Combining FCA Software and Sage : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 302</p>
      <p>Uta Priss</p>
    </sec>
    <sec id="sec-14">
      <title>Short Papers</title>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          Attribute Exploration of Properties of Functions on Ordered Sets : : : : : : : 313
          <string-name>
            <given-names>Artem</given-names>
            <surname>Revenko</surname>
          </string-name>
          , Sergei O. Kuznetsov
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          <article-title>Advances in algorithms based</article-title>
          on CbO : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 325
          <string-name>
            <given-names>Petr</given-names>
            <surname>Krajca</surname>
          </string-name>
          , Jan Outrata, Vilem Vychodil
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          <article-title>discrimination adequacy of a taxonomy :</article-title>
          : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 338
          <string-name>
            <given-names>Antony</given-names>
            <surname>Cooper</surname>
          </string-name>
          , Derrick Kourie, Serena Coetzee
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          <string-name>
            <surname>Models</surname>
          </string-name>
          : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 344 Henri Muhle
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          <article-title>Linguistic processing in lattice-based taxonomy construction</article-title>
          : : : : : : : : : : : : 350
          <string-name>
            <given-names>Anastasia</given-names>
            <surname>Novokreshchenova</surname>
          </string-name>
          , Maria Shabanova, Dmitry Zaytsev, Nina Belyaeva
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>