Mots clés
Résumé en français
L’objectif est de concevoir un système transparent et modulable, dans lequel chaque axiome OWL est modélisé comme une contrainte, et chaque mécanisme d’inférence (spécialisation, transitivité, cardinalités, détection d’incohérences, etc.)est formalisé sous forme de règle CHR++. Contrairement aux approches classiques, les faits déduits sont explicitement ajoutés à la base de connaissances, garantissant une persistance totale et une interrogation directe sans recalcul.
Année
2024
Année de soutenance
2025
Nombre de pages
28
Type de dépôt
Rapport de stage
Langue de publication
Français
Éditeur
Université Angers
Lieu d'édition
Angers
Citation Key
dune19744
URL
http://dune.univ-angers.fr/fichiers/21009632/2024TMINF19744/fichier/19744F.pdf
Libellé de l'étape
M1 Informatique
Bac+
4
Maître de stage
vincent barichard, david genest, eric monfroy
Libellé de l'UFR
Faculté des Sciences
Libellé du diplôme
Master Informatique
Entreprise
le laboratoire leria
Fichier
Présentation