Concept Lattices

1. Front Matter

   PDF

2. Preconcept Algebras and Generalized Double Boolean Algebras

   • Rudolf Wille

   Pages 1-13

3. Protoconcept Graphs: The Lattice of Conceptual Contents

   • Joachim Hereth Correia, Julia Klinger

   Pages 14-27

4. Signs and Formal Concepts

   • Uta Priss

   Pages 28-38

5. A Mathematical Model for TOSCANA-Systems: Conceptual Data Systems

   • Joachim Hereth Correia, Tim B. Kaiser

   Pages 39-46

6. BLID: An Application of Logical Information Systems to Bioinformatics

   • Sébastien Ferré, Ross D. King

   Pages 47-54

7. Formal Concept Analysis: Its Role in Teaching Lattice Theory

   • Brian A. Davey

   Pages 55-56

8. Concept Lattices for Information Visualization: Can Novices Read Line-Diagrams?

   • Peter Eklund, Jon Ducrou, Peter Brawn

   Pages 57-73

9. Browsing Search Results via Formal Concept Analysis: Automatic Selection of Attributes

   • Juan M. Cigarrán, Julio Gonzalo, Anselmo Peñas, Felisa Verdejo

   Pages 74-87

10. Formal Concept Analysis and Semantic File Systems

    • Ben Martin

    Pages 88-95

11. Numerical Analysis in Conceptual Systems with ToscanaJ

    • Peter Becker

    Pages 96-103

12. Tool Support for FCA

    • Thomas Tilley

    Pages 104-111

13. Automated Lattice Drawing

    • Ralph Freese

    Pages 112-127

14. Congruences of Finite Distributive Concept Algebras

    • Bernhard Ganter

    Pages 128-141

15. When Is a Concept Algebra Boolean?

    • Léonard Kwuida

    Pages 142-155

16. Background Knowledge in Concept Graphs

    • Frithjof Dau

    Pages 156-171

17. Agreement Contexts in Formal Concept Analysis

    • Richard Cole, Peter Becker

    Pages 172-179

18. Towards a Conceptual Theory of Indistinguishable Objects

    • Karl Erich Wolff

    Pages 180-188

19. Conceptual Knowledge Processing with Formal Concept Analysis and Ontologies

    • Philipp Cimiano, Andreas Hotho, Gerd Stumme, Julien Tane

    Pages 189-207

20. A First Step towards Protoconcept Exploration

    • Björn Vormbrock

    Pages 208-221

This volume contains the Proceedings of ICFCA 2004, the 2nd International Conference on Formal Concept Analysis. The ICFCA conference series aims to be the premier forum for the publication of advances in applied lattice and order theory and in particular scienti?c advances related to formal concept analysis. Formal concept analysis emerged in the 1980s from e?orts to restructure lattice theory to promote better communication between lattice theorists and potentialusersoflatticetheory.Sincethen,the?eldhasdevelopedintoagrowing research area in its own right with a thriving theoretical community and an increasing number of applications in data and knowledge processing including data visualization, information retrieval, machine learning, data analysis and knowledge management. In terms of theory, formal concept analysis has been extended into attribute exploration, Boolean judgment, contextual logic and so on to create a powerful general framework for knowledge representation and reasoning. This conference aims to unify theoretical and applied practitioners who use formal concept an- ysis, drawing on the ?elds of mathematics, computer and library sciences and software engineering. The theme of the 2004 conference was ‘Concept Lattices” to acknowledge the colloquial term used for the line diagrams that appear in almost every paper in this volume. ICFCA 2004 included tutorial sessions, demonstrating the practical bene?ts of formal concept analysis, and highlighted developments in the foundational theory and standards. The conference showcased the increasing variety of formal concept analysis software and included eight invited lectures from distinguished speakersinthe?eld.Sevenoftheeightinvitedspeakerssubmittedaccompanying papers and these were reviewed andappear in this volume.

• Attribut
• Cluster
• Processing
• Tosca
• algorithms
• conceptual graphs
• data semantics
• description logics
• formal concept analysis
• formal concepts
• lattice theory
• logic
• modeling
• ontologies
• visualization

• School of Information Systems and Technology, University of Wollongong, Wollongong, Australia

  Peter Eklund

Policies and ethics