Semantic interoperability of large systems through a formal method: Relational Concept Analysis

Mickael Wajnberg (1) , Mario Lezoche (1) , Alexandre Blondin Masse (2) , Petko Valtchev (2) , Hervé Panetto (1) , Louise Tyvaert (1)

1 CRAN - Centre de Recherche en Automatique de Nancy
2 Département d'informatique [Montréal]

Interoperability is a major stake for industry, and in general for all the systems, of any dimension, that need to share contents in every shape. It provides that the exchanges between different parts of different entities perform in a perfect way. Various problems could arise and let the interoperation difficult or impossible. One of those problems could be the presence of implicit knowledge in the systems models. This kind of problems can be faced through knowledge formalisation strategies. The Formal Concept Analysis (FCA) is a mathematical tool to represent the information in a structured and complete way. In this scientific work, we present an extension of the FCA, the Relational Concept Analysis, to reveal tacit knowledge hidden in multi contexts systems.

Mots clés: Large system; Formal Concept Analysis; Relational Concept Analysis; Semantic Interoperability

Domaines: Ingénierie assistée par ordinateur

Mickael Wajnberg, Mario Lezoche, Alexandre Blondin Masse, Petko Valtchev, Hervé Panetto, et al.. Semantic interoperability of large systems through a formal method: Relational Concept Analysis. 16th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2018, Jun 2018, Bergamo, Italy. pp.1397-1402, ⟨10.1016/j.ifacol.2018.08.330⟩. ⟨hal-01813398⟩