Fixed-point semantics for barebone relational concept analysis - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Fixed-point semantics for barebone relational concept analysis

Résumé

Relational concept analysis (RCA) extends formal concept analysis (FCA) by taking into account binary relations between formal contexts. It has been designed for inducing description logic TBoxes from ABoxes, but can be used more generally. It is especially useful when there exist circular dependencies between objects. In this case, it extracts a unique stable concept lattice family grounded on the initial formal contexts. However, other stable families may exist whose structure depends on the same relational context. These may be useful in applications that need to extract a richer structure than the minimal grounded one. This issue is first illustrated in a reduced version of RCA, which only retains the relational structure. We then redefine the semantics of RCA on this reduced version in terms of concept lattice families closed by a fixed-point operation induced by this relational structure. We show that these families admit a least and greatest fixed point and that the well-grounded RCA semantics is characterised by the least fixed point. We then study the structure of other fixed points and characterise the interesting lattices as the self-supported fixed points.

Mots clés

Fichier principal
Vignette du fichier
euzenat2021a.pdf (195.27 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03426547 , version 1 (12-11-2021)

Identifiants

Citer

Jérôme Euzenat. Fixed-point semantics for barebone relational concept analysis. ICFCA - 16th international conference on formal concept analysis, Jul 2021, Strasbourg, France. pp.20-37, ⟨10.1007/978-3-030-77867-5_2⟩. ⟨hal-03426547⟩
35 Consultations
56 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More