Formal Concept Analysis: a Structural Framework for Variability Extraction and Analysis

TL;DR

This paper explores how Formal Concept Analysis (FCA), a mathematical framework for knowledge organization, can be utilized to extract and analyze variability among objects by examining their shared attributes.

Contribution

It identifies key properties of FCA relevant to variability analysis and explains how these properties can be applied to interpret variability within conceptual structures.

Findings

FCA naturally highlights commonalities and variabilities among objects.

The paper clarifies how FCA properties can be used for variability extraction.

It bridges the gap between FCA theory and practical variability analysis.

Abstract

Formal Concept Analysis (FCA) is a mathematical framework for knowledge representation and discovery. It performs a hierarchical clustering over a set of objects described by attributes, resulting in conceptual structures in which objects are organized depending on the attributes they share. These conceptual structures naturally highlight commonalities and variabilities among similar objects by categorizing them into groups which are then arranged by similarity, making it particularly appropriate for variability extraction and analysis. Despite the potential of FCA, determining which of its properties can be leveraged for variability-related tasks (and how) is not always straightforward, partly due to the mathematical orientation of its foundational literature. This paper attempts to bridge part of this gap by gathering a selection of properties of the framework which are essential to variability analysis, and how they can be used to interpret diverse variability information within the resulting conceptual structures.