Raisonnement fondé sur un tableau compressé pour les Logiques de Description - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Raisonnement fondé sur un tableau compressé pour les Logiques de Description

Résumé

Dans cet article, nous présentons un nouvel algorithme de raisonnement orienté but sur des ontologies d'expressivité SHIQ permettant les restrictions de cardinalité et les rôles inverses. Nous montrons qu'il s'exécute en ExpTime. En effet, dans le but de réduire la taille des modèles d'ontologie construits, notre algorithme utilise une structure, dite tableau compressé, composée de star-types, pour représenter intrinsèquement différents individus d'un modèle et ensuite compresser les individus équivalents dans un star-type. L'implémentation confirme que notre algorithme peut traiter des ontologies "difficiles" qui requièrent les raisonneurs existants de construire des modèles très larges. Nous proposons également une extension de l'algorithme à la logique SHOIQ permettant le traitement des nominaux.
Fichier principal
Vignette du fichier
jiaf16.pdf (385.87 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04048145 , version 1 (27-03-2023)

Identifiants

  • HAL Id : hal-04048145 , version 1

Citer

Chan Le Duc, Thinh Dong, Myriam Lamolle, Aurélien Bossard. Raisonnement fondé sur un tableau compressé pour les Logiques de Description. Douzièmes Journées Francophones de Programmation par Contraintes JFPC 2016, Association française pour l'Intelligence Artificielle, Jun 2016, Montpellier, France. ⟨hal-04048145⟩
14 Consultations
4 Téléchargements

Partager

Gmail Facebook X LinkedIn More