Fatima DANASH

Résumé

La matérialité des entités du patrimoine culturel tangible a suscité l’intérêt des sciences du patrimoine en raison de son rôle dans le maintien de l’identité unique de l’entité à travers diverses interprétations en tant qu’objet frontière. Dans les études multidisciplinaires sur le patrimoine culturel matériel, une approche interdisciplinaire est essentielle pour développer une compréhension globale de la culture. Pour parvenir à une approche interdisciplinaire dans un domaine multidisciplinaire tel que le patrimoine culturel, centrée sur une entité cross-disciplinaire telle que l’objet frontière, un objectif commun est nécessaire. En considérant la matérialité de l’entité comme le point commun à plusieurs disciplines, et en visant une meilleure compréhension et représentation de cette matérialité comme objectif commun, une approche interdisciplinaire au sein du patrimoine culturel peut être encouragée.

Pour représenter efficacement la matérialité et la composition des entités tangibles du patrimoine culturel, l’utilisation d’un modèle ontologique des relations structurelles et spatiales est indispensable. Pour une intégration interdisciplinaire réussie, une approche méta-ontologique est essentielle afin de surmonter les défis posés par l’hétérogénéité de multiples disciplines et de promouvoir l’interopérabilité entre les modèles des différents domaines. Dans cette thèse, nous abordons l’objectif de représenter et de modéliser la composition de toute entité tangible à l’aide de relations ontologiques structurelles et spatiales, en nous inspirant d’exemples issus du patrimoine culturel. Dans le cadre d’une approche ontologique appliquée, nous proposons "FORT : a Foundational Ontological Relations Theory". FORT est conçue avec les caractéristiques suivantes : (a) modulaire, i.e. composée de modules de relations interliées et intraliées; (b) approche méta-ontologique, i.e. spécifiant une méta-conceptualisation d’abstractions de haut niveau et utilisant un langage de méta-modélisation de primitives de modélisation génériques; et (c) exclusive, i.e. seules les relations et leurs contraintes de règles sont considérées.

Pour formaliser FORT et illustrer son utilisation, nous construisons et adhérons à une méthodologie d’ingénierie ontologique. Cette méthodologie aborde différents choix de spécification pour FORT, notamment l’expressivité et la décidabilité, et aboutit à deux versions : FORT l’ontologie de référence et FORT l’ontologie légère. De plus, la méthodologie formalise chaque spécification, l’ontologie de référence et l’ontologie légère, à plusieurs niveaux : théorique et empirique. Ainsi, FORT est formalisé en Logique du Premier Ordre (First-Order Logic - FOL) avec une sérialisation CLIF (Common Logic Interchange Format), pour l’ontologie de référence, et est formalisé en utilisant SROIQ le fragment décidable le plus expressif des Logiques de Description (Description Logics - DL) avec une implémentation OWL2, pour l’ontologie légère. En outre, la méthodologie fait le lien entre les deux spécifications grâce à une traduction systématique de la théorie FOL de référence vers le fragment SROIQ léger.

Les contributions de notre approche sont les suivantes : premièrement, nous proposons un langage expressif et bien fondé des relations et des contraintes de règles de FORT à travers une formalisation FOL; deuxièmement, nous démontrons la nouveauté de FORT, ainsi que sa consistance de à travers une sérialisation CLIF; troisièmement, nous établissons une formalisation légère et décidable de FORT par le biais d’un processus de traduction générique et systématique vers le formalisme SROIQ; finalement, nous fournissons une implémentation de FORT en OWL et présentons différentes méthodes (directes et indirectes) pour l’utilisation pratique de cette ontologie.