Skip to Main content Skip to Navigation

Import, export et traduction sémantiques génériques basés sur une ontologie de langages de représentation de connaissances

Abstract : Knowledge Representation Languages (KRLs) are languages enabling to represent and share information in a logical form. There are many KRLs. Each KRL has one abstract structural model and can have multiple notations. These models and notations were designed to meet different modeling or computational needs, as well as different preferences. Current tools managing or translating knowledge representations (KRs) allow the use of only one or few KRLs and do not enable – or hardly enable – their end-users to adapt the models and notations of these KRLs. This thesis helps to solve these practical problems and this original research problem: “Can a KR import function and a KR export function be specified in a generic way and, if so, how can their resources be Specified ?”. This thesis is part of a larger project the overall objective of which is to facilitate i) the sharing and reuse of knowledge related to software components, and ii) knowledge presentations. The approach followed in this thesis is based on an ontology of KRLs named KRLO, and therefore on a formal representation of these KRLs.KRLO has three important and original features to which this thesis contributed: i) it represents KRL models of different families in a uniform way, ii) it includes an ontology of KRLs notations, and iii) it specifies generic functions for KR import and export in various KRLs. This thesis has contributed to the improvement of the first version of KRLO (KRLO_2014) and to the creation of its second version. KRLO_2014 contained modeling inaccuracies that made it difficult or inconvenient to use. This thesis has also contributed to the specification and the operationalization of “Structure_map”, a function enabling to write any other function that uses a loop, in a modular and configurable way. Its use makes it possible to create and organize these functions into an ontology of software components. To implement a generic export function based on KRLO, I developed SRS (Structure_map based Request Solver), a KR retrieval tool enabling the use of KR path expressions. SRS interprets all functions. SRS thus provides an experimental validation for both the use of this primitive (Structure_map) and the use of KRLO.Directly or indirectly, SRS and KRLO may be used by GTH (Global Technologies Holding), the partner company of this thesis.
Complete list of metadata

Cited literature [80 references]  Display  Hide  Download
Contributor : Abes Star :  Contact
Submitted on : Monday, April 9, 2018 - 10:14:36 AM
Last modification on : Monday, April 6, 2020 - 2:49:48 PM


Version validated by the jury (STAR)


  • HAL Id : tel-01761397, version 1


Jérémy Bénard. Import, export et traduction sémantiques génériques basés sur une ontologie de langages de représentation de connaissances. Théorie et langage formel [cs.FL]. Université de la Réunion, 2017. Français. ⟨NNT : 2017LARE0021⟩. ⟨tel-01761397⟩



Record views


Files downloads