Lecture Notes in Artificial Intelligence 7880

Size: px

Start display at page:

Download "Lecture Notes in Artificial Intelligence 7880"

Ariel Warner
5 years ago
Views:

1 Lecture Notes in Artificial Intelligence 7880 Subseries of Lecture Notes in Computer Science LNAI Series Editors Randy Goebel University of Alberta, Edmonton, Canada Yuzuru Tanaka Hokkaido University, Sapporo, Japan Wolfgang Wahlster DFKI and Saarland University, Saarbrücken, Germany LNAI Founding Series Editor Joerg Siekmann DFKI and Saarland University, Saarbrücken, Germany

2 Peggy Cellier Felix Distel Bernhard Ganter (Eds.) Formal Concept Analysis 11th International Conference, ICFCA 2013 Dresden, Germany, May 21-24, 2013 Proceedings 13

3 Series Editors Randy Goebel, University of Alberta, Edmonton, Canada Jörg Siekmann, University of Saarland, Saarbrücken, Germany Wolfgang Wahlster, DFKI and University of Saarland, Saarbrücken, Germany Volume Editors Peggy Cellier IRISA, INSA Rennes Campus de Beaulieu, Rennes Cedex, France Felix Distel TU Dresden, Department of Computer Science Nöthnitzer Str. 46, Dresden, Germany Bernhard Ganter TU Dresden, Department of Mathematics Zellescher Weg 12-14, Dresden, Germany ISSN e-issn ISBN e-isbn DOI / Springer Heidelberg Dordrecht London New York Library of Congress Control Number: CR Subject Classification (1998): I.2, G.2.1-2, F.4.1, D.2.4, H.3, H.2.8 LNCS Sublibrary: SL 7 Artificial Intelligence Springer-Verlag Berlin Heidelberg 2013 This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper Springer is part of Springer Science+Business Media (

4 Preface Formal concept analysis (FCA) is a mathematical formalism based on order and lattice theory for data analysis. It has found applications in a broad range of neighboring fields including Semantic Web, data mining, knowledge representation, data visualization, and software engineering. ICFCA is a series of annual international conferences that started in 2003 in Darmstadt and has been held in several continents: Europe, Australia, America, and Africa. ICFCA has evolved to be the main forum for researchers working on theoretical or applied aspects of formal concept analysis worldwide. This volume contains the papers presented at the 11th conference within the series. The conference returned to Dresden in 2013 where it was previously held in Out of 46 submitted papers, 15 were accepted for publication in this volume, amounting to an acceptance rate of 33%. Less mature works, which were still considered valuable for discussion, were collected in a supplementary volume, electronically published as Contributions to ICFCA In addition to the regular contributions, we included two supplementary contributions. First, a reprint of Vincent Duquenne s paper, Contextual Implications Between Attributes and Some Representation Properties for Finite Lattices, as a historic paper in order to make it easily available for our community. It was originally published in 1987 and was the first publication in English describing the seminal stem-base construction by Guigues and Duquenne. Second, a position paper Fitting Pattern Structures to Knowledge Discovery with Big Complex Data pointing out potential future applications. It describes how FCA could be beneficial for the emerging field of big data. The high quality of the program of the conference was ensured by the muchappreciated work of the authors, the Program Committee members, and the Editorial Board members. Finally, we wish to thank the local organization team. They provided support to make ICFCA 2013 proceed smoothly in a pleasant atmosphere. May 2013 Peggy Cellier Felix Distel Bernhard Ganter

5 Organization Executive Committee Conference Chair Bernhard Ganter Local Organizers Christian Pech Cynthia Glodeanu Program and Conference Proceedings Program Chairs Peggy Cellier Felix Distel IRISA, INSA Rennes, France Editorial Board Peter Eklund Sebastien Ferré Robert Godin Robert Jäschke Sergei Kuznetsov Leonard Kwuida Raoul Medina Rokia Missaoui Sergei Obiedkov Uta Priss Sebastian Rudolph Stefan E. Schmidt Barış Sertkaya Gerd Stumme Petko Valtchev Rudolf Wille (Honorary) Karl Erich Wolff University of Wollongong, Australia Université de Rennes 1, France Université duquébec àmontréal (UQAM), Canada Universität Kassel, Germany Higher School of Economics, Moscow, Russia Bern University of Applied Sciences, Switzerland LIMOS, Université Clermont-Ferrand 2, France Université duquébec en Outaouais (UQO), Canada Higher School of Economics, Moscow, Russia Ostfalia University of Applied Sciences, Wolfenbüttel, Germany AIFB, University of Karlsruhe, Germany SAPResearchCenter, Dresden, Germany University of Kassel, Germany Université duquébec àmontréal, Canada Technische Universität Darmstadt, Germany University of Applied Sciences, Darmstadt, Germany

6 VIII Organization Last Year s Chairs Florent Domenach Dmitry Ignatov Jonas Poelmans University of Nicosia, Cyprus Higher School of Economics, Moscow, Russia Katholieke Universiteit Leuven, Belgium Program Committee Simon Andrews University of Sheffield, UK Mike Bain University of New South Wales, Sydney, Australia Jaume Baixeries Polytechnical University of Catalonia, Spain Radim Bělohlávek Palacky University, Olomouc, Czech Republic Sadok Ben Yahia Faculty of Sciences of Tunis, Tunisia Karell Bertet L3I, Université de La Rochelle, France Claudio Carpineto Fondazione Ugo Bordoni, Italy Stephan Doerfel KDE Group, University of Kassel, Germany Vincent Duquenne ECP6-CNRS, Université Paris 6, France Alain Gély Université Paul Verlaine, Metz, France Marianne Huchard LIRMM, Université Montpellier, France Tim B. Kaiser SAP AG, Germany Mehdi Kaytoue INSA Lyon, France Derrick G. Kourie University of Pretoria, South Africa Markus Krötzsch University of Oxford, UK Marzena Kryszkiewicz Warsaw University of Technology, Poland Wilfried Lex Universität Clausthal, Germany Lotfi Lakhal Aix-Marseille Université, France Engelbert Mephu Nguifo LIMOS, Université de Clermont Ferrand 2, France Amedeo Napoli LORIA, Nancy, France Lhouari Nourine LIMOS, Université de Clermont Ferrand 2, France Jan Outrata Palacky University of Olomouc, Czech Republic Jean-Marc Petit LIRIS, INSA Lyon, France Sandor Radeleczki University of Miskolc, Hungary Camille Roth CNRS/EHESS, Paris, France Andreja Tepavčević UniversityofNoviSad,Serbia Laszlo Szathmary University of Debrecen, Hungary External Reviewers Daniel Borchmann Alain Casali Xavier Dolques Lankun Guo Viet Phanluong LIF, IUT d Aix-en-Provence, France LHYGES, Strasbourg, France Université duquébec, Montréal, Canada LIF, IUT d Aix-en-Provence, France

7 Table of Contents Historic Paper Contextual Implications between Attributes and Some Representation Properties for Finite Lattices... 1 Vincent Duquenne Regular Contributions Mathematical Morphology Operators over Concept Lattices Jamal Atif, Isabelle Bloch, Felix Distel, and Céline Hudelot Dismantlable Lattices in the Mirror Anne Berry and Alain Sigayret Towards an Error-Tolerant Construction of EL -Ontologies from Data Using Formal Concept Analysis Daniel Borchmann Using Pattern Structures for Analyzing Ontology-Based Annotations of Biomedical Data Adrien Coulet, Florent Domenach, Mehdi Kaytoue, and Amedeo Napoli Formal Concept Analysis via Atomic Priming Ruairí defréin Applications of Ordinal Factor Analysis Cynthia Vera Glodeanu and Bernhard Ganter Tri-ordinal Factor Analysis Cynthia Vera Glodeanu Formal F -contexts and Their Induced Implication Rule Systems Lankun Guo, Qingguo Li, Petko Valtchev, and Robert Godin User-Friendly Fuzzy FCA Juraj Macko Proper Mergings of Stars and Chains Are Counted by Sums of Antidiagonals in Certain Convolution Arrays Henri Mühle Modeling Ceteris Paribus Preferences in Formal Concept Analysis Sergei Obiedkov

8 X Table of Contents Concept-Forming Operators on Multilattices Jesús Medina-Moreno, Manuel Ojeda-Aciego, and Jorge Ruiz-Calviño Using FCA to Analyse How Students Learn to Program Uta Priss Soundness and Completeness of Relational Concept Analysis Mohamed Rouane-Hacene, Marianne Huchard, Amedeo Napoli, and Petko Valtchev Contextual Uniformities Christian Săcărea Position Paper Fitting Pattern Structures to Knowledge Discovery in Big Data Sergei O. Kuznetsov Author Index

Conference Organization

Conference Organization Preface The present volume features a selection of the papers presented at the 9th International Conference on Formal Concept Analysis (ICFCA 2011). Over the years, the ICFCA conference series has grown