Applications of FCA in AKT Formal Concept Analysis: Based on mathematical order theory and lattice theory, FCA is being applied to the analysis of knowledge structures. What's the problem? Information overload is a major knowledge management problem. When analysing raw data, we need to utilise expensive resources. Most of work to date is based on statistical methods which do not accommodate mechanisms for indentifying and reasoning over first class objects for domain analysis, like concepts. Towards a solution In AKT, we aim to use a technology which emerged in the early 80s, and is centered upon the mathematical notion of concept, Formal Concept Analysis (FCA). FCA is based on mathematical order theory and lattice theory (dating back to Garrett Birkhoff's 1940 work). Nowadays, FCA is revisited by Ganter and Wille who applied it to conceptual structures. The basic notion of FCA is that of a concept. In a formal context, the set of entities forms the extension of a concept, and the set of attributes the intention of a concept. FCA characterizes a (formal) context as a fixed set of entities and attributes, presented in a cross-reference table. The information found in such a cross-reference table is often depicted as a line diagram, or concept lattice. [1]Here's the formal definitions of FCA. [2][fca-example1.gif] Some interesting properties of line diagrams (concept lattices) is the hierarchical order they impose to their nodes. [3][fca-example2.gif] Concept lattices also have a close relation with attribute logic. It has been shown that concept lattices can be inferred from the implication between the attributes, for example, "every object with attributes a,b,c,...also has the attributes x,y,z": [4][fca-example4.gif] FCA has been used in a variety of application areas: * In psychology where repertory grids were analyzed using FCA; * In libraries where FCA and line diagrams were used to help readers retrieve related literature; * In software re-engineering where line diagrams were used to locate clusters of subroutines in obsolete FORTAN code; * In KBSs where FCA is used to re-engineer, represent and investigate KBs created by ripple down rules in an iterative manner; * In other KA work as a data analysis tool Take a Guided Tour Here's a short introduction to FCA: A 1'53" movie (no sound provided) in [5].avi format (1MB) ([6]TSCC codec required) and [7].mov format (10MB) Try a Demonstration For publicly available [8]FCA tools visit Uta Priss's [9]FCA portal Technical requirements There open-source tools for most platforms and programming environments. In AKT, we are using [10]Concept Explorer, an open-source Java program written by Sergey Yevtushenko and we are at the stage of co-developing an API. Example Applications In AKT, we investigate a variety of scenarios where FCA can be applied: * Analyse research areas attributed to published papers: We use a small number of articles from the ACM Intelligence journal (accessible from the [11]ACM Digital Library Portal), and the [12]ACM classification scheme (which we have already RDFy in AKT ontology). The [13]formal context consists of 20 objects (articles) and 58 attributes (research areas). We then analyze the context, we draw the [14]line diagram (concept lattice) to identify (super-)/(sub-) concepts and apply FCA algorithms to [15]reduce the context in order to identify [16]clusters of similar concepts. We calculate the [17]stem base (implication set) to find [18]dependencies between concepts. Once the analysis is done, it can be used in many ways, recall that a concept in this domain is a {article(s),research area(s)} pair. Articles have authors; authors are working in organisations; organisations are researching certain research themes; research themes are decomposed into research areas; authors often collaborate with people who share the same research area(s);, these could be found in other {article(s),research area(s)} pairs (concepts), and so on. * Analyse alternative research areas attributed to published papers: We used the same articles but this time with a different classification scheme, Elsevier's [19]classification of fields relevant to Data and Knowledge Engineering. * Analyse how AKT tools are designed, developed and deployed: We used the components found in the AKT conceptual architecture (CASD) to analyse how AKT tools are [20]designed, [21]developed and [22]deployed among AKT partners. This analysis could reveal collaboration opportunities and assist coordination among partners. * Analyse participation of programme committee membership: We analyzed the EKAW community (European Knowledge Acquisition Workshops community) [23]programme committees membership over the past 8 years to reason about the evolution of PC members as a supporting argument for reflecting the evolution of interests in that community. Further Reading Key document: "[24]Formal Concept Analysis: Mathematical Foundations", Bernhard Ganter, Rudolf Wille, Springer, ISBN: 3-540-62771-5, 1999 Other relevant documents: A collection of FCA related resources can be found at the [25]FCA portal maintained by Uta Priss. References 1. file://localhost/home/www.aktors/htdocs/dynamic-technology-pages/fca/fcaformaldef.gif 2. file://localhost/home/www.aktors/htdocs/dynamic-technology-pages/fca/fca-example1.gif 3. file://localhost/home/www.aktors/htdocs/dynamic-technology-pages/fca/fca-example2.gif 4. file://localhost/home/www.aktors/htdocs/dynamic-technology-pages/fca/fca-example4.gif 5. file://localhost/home/www.aktors/htdocs/dynamic-technology-pages/fca/fcamovie.avi 6. http://www.techsmith.com/products/studio/codecdownload.asp 7. file://localhost/home/www.aktors/htdocs/dynamic-technology-pages/fca/fcamovie.mov 8. http://www.upriss.org.uk/fca/fca.html#software 9. http://www.fcahome.org.uk/ 10. http://www.mathematik.tu-darmstadt.de/ags/ag1/Software/ConExp/index.html 11. http://portal.acm.org/ 12. http://www.acm.org/class/1998/ 13. file://localhost/home/www.aktors/htdocs/dynamic-technology-pages/fca/fca-app1.gif 14. file://localhost/home/www.aktors/htdocs/dynamic-technology-pages/fca/acm_intelligence_lattce.gif 15. file://localhost/home/www.aktors/htdocs/dynamic-technology-pages/fca/fca-app2.gif 16. file://localhost/home/www.aktors/htdocs/dynamic-technology-pages/fca/acm_intelligence_lattce_reducedlattice.gif 17. file://localhost/home/www.aktors/htdocs/dynamic-technology-pages/fca/fca-app3.gif 18. file://localhost/home/www.aktors/htdocs/dynamic-technology-pages/fca/ACM%20intelligence%20formal%20context%20analysis.doc 19. http://www.elsevier.com/homepage/sac/datak/dke-classification-2002.pdf 20. file://localhost/home/www.aktors/htdocs/dynamic-technology-pages/fca/akt-tools-design-lattice.GIF 21. file://localhost/home/www.aktors/htdocs/dynamic-technology-pages/fca/akt-tools-development-lattice.GIF 22. file://localhost/home/www.aktors/htdocs/dynamic-technology-pages/fca/akt-tools-deployment-lattice.GIF 23. file://localhost/home/www.aktors/htdocs/dynamic-technology-pages/fca/ekawpcs.GIF 24. file://localhost/home/www.aktors/htdocs/dynamic-technology-pages/fca/fcafrontcover.jpg 25. http://www.fcahome.org.uk/