Formal Concept Analysis

7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
2009
ISBN: 978-3-642-01814-5
Verlag: Springer

Buch, Englisch, 341 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 540 g

Reihe: Lecture Notes in Artificial Intelligence

The discipline of formal concept analysis (FCA) is concerned with the form- ization of concepts and conceptual thinking. Built on the solid foundation of lattice and order theory, FCA is ?rst and foremost a mathematical discipline. However,its motivation andguiding principles arebasedon strongphilosophical underpinnings. In practice, FCA provides a powerful framework for the qua- tative, formal analysis of data, as demonstrated by numerous applications in diverse areas. Likewise, it emphasizes the aspect of human-centered information processing by employing visualization techniques capable of revealing inherent structure in data in an intuitively graspable way. FCA thereby contributes to structuring and navigating the ever-growing amount of information available in our evolving information society and supports the process of turning data into information and ultimately into knowledge. In response to an expanding FCA community, the International Conference on Formal Concept Analysis (ICFCA) was established to provide an annual opportunity for the exchange of ideas. Previous ICFCA conferences were held in Darmstadt (2003), Sydney (2004), Lens (2005), Dresden (2006), Clermont- Ferrand (2007), as well as Montreal (2008) and are evidence of vivid ongoing interest and activities in FCA theory and applications. ICFCA 2009 took place during May 21–24 at the University of Applied S- ences in Darmstadt. Beyond serving as a host of the very ?rst ICFCA in 2003, Darmstadt can be seen as the birthplace of FCA itself, where this discipline was introduced in the early 1980s and elaborated over the subsequent decades.

Zielgruppe

Research

Autoren/Hrsg.

Rudolph, Sebastian

Ferré, Sébastien

Fachgebiete

• Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Robotik
• Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
• Mathematik | Informatik Mathematik Algebra Homologische Algebra
• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
• Mathematik | Informatik EDV | Informatik Daten / Datenbanken Data Mining
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
• Mathematik | Informatik Mathematik Algebra Lineare und multilineare Algebra, Matrizentheorie
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmier- und Skriptsprachen
• Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme
• Mathematik | Informatik EDV | Informatik Daten / Datenbanken Datenkompression, Dokumentaustauschformate
• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik

Inhaltsverzeichnis

Invited Talks.- Usability Issues in Description Logic Knowledge Base Completion.- Concept Lattice Orbifolds – First Steps.- The Advent of Formal Diagrammatic Reasoning Systems.- The Logic of Learning.- What Can Formal Concept Analysis Do for Data Warehouses?.- Time and Logic: A.N. Prior’s Formal Analysis of Temporal Concepts.- Can Ontology Inform Ontologies?.- Theory.- Factor Analysis of Incidence Data via Novel Decomposition of Matrices.- A Unified Hierarchy for Functional Dependencies, Conditional Functional Dependencies and Association Rules.- Robust Elements in Rough Set Abstractions.- Some Computational Problems Related to Pseudo-intents.- Algorithms.- Exploring Finite Models in the Description Logic.- Yet a Faster Algorithm for Building the Hasse Diagram of a Concept Lattice.- Context Graphs — Representing Formal Concepts by Connected Subgraphs.- Handling Large Formal Context Using BDD – Perspectives and Limitations.- Applications.- A Novel Approach to Cell Formation.- Identifying Ecological Traits: A Concrete FCA-Based Approach.- A Concept Lattice-Based Kernel for SVM Text Classification.- Two FCA-Based Methods for Mining Gene Expression Data.- Ontology-Based Formal Concept Differences Analysis in Radiology Report Impact by the Adoption of PACS.- Revisiting the Potentialities of a Mechanical Thesaurus.- FCA-Based Two Dimensional Pattern Matching.- History.- RESTRUCTURING LATTICE THEORY: AN APPROACH BASED ON HIERARCHIES OF CONCEPTS.