FCA Tools Bundle

FCA Tools Bundle is a website containing a collection of tools that can be used for conceptual structure analysis.

Research Seminars - Academic year 2017-2018

Usually the meetings are held in 406 room, 58-60 Teodor Mihali street, each Monday at 14:00.


Formal Concept Analysis Model for Static Code Analysis

Abstract: Tools that focus on static code analysis for early error detection are of utmost importance in software development, especially since the propagation of errors is strongly related to higher costs in the development process. Formal Concept Analysis is a prominent field of applied mathematics that uses conceptual landscapes to discover and represent maximal clusters of data. Its expressive visualization method makes it suitable for exploratory analyses in different fields. In this paper we present a Formal Concept Analysis framework for static code analysis that can serve as a model for quantitative and qualitative exploration and interpretation of such results.

Keywords: formal concept analysis, static analysis, code review

On the use of FCA models in static analysis tools to detect common errors in programming

Abstract: Static code analysis is widely used to detect code quality issues before execution. Thus, it can provide information that is important for improving programming skills. Such tools have been successfully used in teaching programming courses. In this paper we present algorithms for combining Formal Concept Analysis (FCA) with Pylint, a static code analysis tool, in order to detect and assess behavioral patterns in students’ programming styles. We design a generalized framework that can be subsequently used to analyze any category/subset of errors. We apply the approach for detecting common errors related to design by considering two scenarios that tackle object oriented design and increased code complexity. We argue how the results can be used to understand common mistakes and to improve the teaching content and methods.

Keywords: Formal concept analysis Static code analysis Computer science education

Knowledge Discovery and Visualization in Healthcare Datasets using Formal Concept Analysis and Graph Databases

Abstract: Among the major advances in Artificial Intelligence we can mention Knowledge Discovery, Processing and Representation. Since in our modern society the healthcare system plays an important role and has a major impact in our daily lives, it lies at hand to apply the aforementioned methods in order to discover relevant patterns in healthcare databases and then to represent them in a way which supports reasoning, decision making, and communication. We approach this task by using two complementary directions, which are then interlinked. On the one hand we make use of the graphical representation capabilities of Formal Concept Analysis (FCA) and its powerful algorithms for conceptual knowledge discovery and processing. On the other, we use graph databases as a complementary visualization method of the extracted knowledge patterns. We exemplify this approach on a particular medical dataset, highlighting a 3D representation of conceptual hierarchies by using virtual reality (VR).

Keywords: Knowledge Discovery, visualization method, Formal Concept Analysis , knowledge patterns

FCA Tools Bundle

Abstract: Formal Concept Analysis is well known for the intuitive and graphical representations of lattices. While there are a lot of algorithms mining for formal concepts in the dyadic case, there are not many tools offering this feature for multidimensional datasets. The purpose of this paper is to present FCA Tools Bundle and its various features, ranging from importing the data in several formats to offering full support to explore your data using different navigation and exploration methods.

Keywords: Formal Concept Analysis, representations of lattices, explore your data, different navigation and exploration methods

Using VR to Explore Life Tracks

Abstract: Temporal Concept Analysis (TCA) has been developed with the aim to investigate conceptual structures in data with a temporal layer. Nevertheless, there are not so many tools enabling the visualization of TCA features. We propose a new approach based on virtual reality with a 3D representation of concept lattices in which life tracks of objects can be displayed and explored. This is done by exporting the well-known Toscana tool for visualizing conceptual landscapes in a virtual reality (VR) environment and then display various TCA features on the selected scales.

Keywords: Temporal concept analysis, Virtual Reality, 3d representation, concept lattice