Formal Concept Analysis Applications Robert Jäschke Asmelash Teka Hadgu FG Wissensbasierte Systeme/L3S Research Center Leibniz Universität Hannover Robert Jäschke (FG KBS) Formal Concept Analysis 1 / 13
History of Formal Concept Analysis Formal Concept Analysis (FCA) originated in Darmstadt, Germany around 1980 as a mathematical theory that delivers a formalization of the concept of a concept. Since then, FCA spread into different areas of computer science, e.g., data analysis knowledge discovery software engineering Starting from datasets, FCA derives concept hierarchies. FCA allows you to create and visualize concept hierarchies based on well-grounded mathematical foundations. Robert Jäschke (FG KBS) Formal Concept Analysis 2 / 13
Example: Comparison of Coffee Machines Robert Jäschke (FG KBS) Formal Concept Analysis 3 / 13
Database Marketing at Jelmoli AG, Zurich 1 22994 travel accessoires perfumery ladies accessoires 4374 17472 12770 2816 2332 8323 <= 1000 8323 >0 1849 <=400 7684 4233 >100 <=100 6546 3594 3493 >400 =0 4830 2456 2854 1777 >1000 4090 740 1716 1138 639 1 J. Hereth, G. Stumme, R. Wille, and U. Wille. Conceptual knowledge discovery and data analysis. In Proc. ICCS 2000, volume 1867 of LNCS, pages 421 437. Springer, Berlin/Heidelberg, 2000. Robert Jäschke (FG KBS) Formal Concept Analysis 4 / 13
Analysis of Plane Movements at Frankfurt Airport 2 O12 Ort der benötigten Staubahn [SBE] G12a Positionen (grobe Struktur) [POS] T2 W V G T1 M keine Angabe 460 124 8551 1414 8345 45 18939 sonst. Angaben 460 4106 124 2306 134 1037 45 Halle A Halle B Halle C Halle Mitte Terminal 2 Vorfeld V3 keine unbekannte 2503 2940 497 1635 5316 1942 4106 78 2425 150 2790 16 481 216 1415 3867 1269 1918 460 124 2306 134 1037 45 4 180 7 17 2 G. Stumme, R. Wille, and U. Wille. Conceptual knowledge discovery in databases using formal concept analysis methods. In Proc. PKDD, volume 1510 of LNCS, pages 450 458. Springer, Berlin/Heidelberg, 1998. Robert Jäschke (FG KBS) Formal Concept Analysis 5 / 13
IT Security Management 3 S4.39 Deactivation for periods of absence S2.54 Procurement/selection of suitable answering machines S3.16 Briefing personnel on the operation of answering machines S2.4 Maintenance/repair regulations T4.1 Disruption of power supply S2.57 Regular playback and deletion of recorded messages S2.11 Provisions governing the use of security codes S1.29 Adequate siting of an IT system S4.38 Deactivation of unneccessary service features S2.55 Use of security code S6.40 Regular battery checks/replacements T2.5 Lack of, or inadequate, maintenance T4.18 Discharged or fatigued emergency power supply T2.1 Lack of, or insufficient, rules T3.15 Incorrect operation of answering machines T1.8 Dust, soiling T5.37 Determining security codes T4.19 Information loss due to full storage medium S2.56 Avoidance of confidential information S2.58 Limitation of message time S1.23 Locked doors T2.6 unauthorized access to rooms requiring protection T5.36 Deliberate overloading of answering machines T5.38 Misuse of remote inquiry features 3 K. Becker, G. Stumme, R. Wille, U. Wille, and M. Zickwolff. Conceptual information systems discussed through an it-security tool. In Rose Dieng and Olivier Corby, editors, Knowledge Engineering and Knowledge Management Methods, Models, and Tools, volume 1937 of LNCS, pages 352 365. Springer, Berlin/Heidelberg, 2000. Robert Jäschke (FG KBS) Formal Concept Analysis 6 / 13
Text Clustering 4 4 A. Hotho, S. Staab, G. Stumme. Ontologies improve text document clustering. In Proc. ICDM, pages 541 544, 2003. Robert Jäschke (FG KBS) Formal Concept Analysis 7 / 13
Concept Email Manager Conferences/ICCS2000 vs. AUSTRALIA/eklund.peter conventional e-mail programs store mails in a tree structure only one search path exists which must already been set when saving the mail Robert Jäschke (FG KBS) Formal Concept Analysis 8 / 13
Concept Email Manager In CEM an e-mail can be tagged with several keywords. Robert Jäschke (FG KBS) Formal Concept Analysis 9 / 13
Concept Email Manager Several search paths are possible: Darmstadt/KVO/KVO Members KVO/Darmstadt/KVO Members KVO/KVO Members/Darmstadt Robert Jäschke (FG KBS) Formal Concept Analysis 10 / 13
Concept Email Manager Mails from sub-folders can also be found in parent folders. Several search paths are possible: Darmstadt/KVO/KVO Members KVO/Darmstadt/KVO Members KVO/KVO Members/Darmstadt Robert Jäschke (FG KBS) Formal Concept Analysis 11 / 13
Concept Email Manager Several views can be combined. Robert Jäschke (FG KBS) Formal Concept Analysis 12 / 13
CUBIST Visual Analytics Robert Jäschke (FG KBS) Formal Concept Analysis 13 / 13