Hybridation opérationnelle des logiques OWL2 et ASP pour améliorer l'expressivité déclarative - APIA-2023 Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Hybridation opérationnelle des logiques OWL2 et ASP pour améliorer l'expressivité déclarative

Résumé

As part of an activity recommendation tool dedicated to therapeutic patient education, we proposed the ORALOoS solution combining OWL2 + SWRL, augmented with the Python Owlready module. The use of the imperative code makes it possible to overcome certain limitations of expressiveness, such as the absence of negation in the SWRL rules. However, it strongly counterbalances the declarative character of the approach allowed by OWL2. While preserving this characteristic, we present a solution to replace the SWRL rules and the imperative code by a program in Answer Set Programming. This idea is not new, but few studies have led to truly operational solutions in an industrial context. Our proposal is suggested in two steps : 1) use of the Hexlite solver which gives good results in terms of declarative expressiveness but remains difficult to operate with, and 2) development of a new operational library, hybridizing OWL2 and ASP with features similar to Hexlite but easy to use.
Dans le cadre d'un outil de recommandation d'activités dédié à l'éducation thérapeutique du patient, nous avons proposé la solution ORALOoS combinant OWL2 + SWRL, augmentée du module Python Owlready. L'usage de code impératif permet de pallier certaines limitations d'expressivité, comme l'absence de négation dans les règles SWRL. Cependant, il contrebalance fortement le caractère déclaratif de l'approche permis par OWL2. Tout en préservant cette caractéristique, nous présentons une solution pour remplacer règles SWRL et code impératif par un programme en Answer Set Programming. Cette idée n'est pas nouvelle mais peu de travaux ont abouti à des solutions réellement opérationnelles dans un contexte industriel. Notre proposition est abordée en deux étapes : 1) utilisation du solveur Hexlite qui donne de bons résultats en termes d'expressivité déclarative mais reste difficile à mettre en oeuvre, et 2) développement d'une nouvelle librairie opérationnelle, hybridant OWL2 et ASP avec des fonctionnalités similaires à Hexlite mais d'un usage facilité.
Fichier principal
Vignette du fichier
APIA2023_paper_9477.pdf (380.48 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04159413 , version 1 (11-07-2023)

Licence

Paternité

Identifiants

  • HAL Id : hal-04159413 , version 1

Citer

X Goblet, C Rey, A Collange. Hybridation opérationnelle des logiques OWL2 et ASP pour améliorer l'expressivité déclarative. 9ème Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle APIA@PFIA2023, AFIA-Association Française pour l'Intelligence Artificielle; ICube-laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie, Jul 2023, Strasbourg, France. pp.108-117. ⟨hal-04159413⟩
34 Consultations
26 Téléchargements

Partager

Gmail Facebook X LinkedIn More