Hybridation opérationnelle des logiques OWL2 et ASP pour améliorer l'expressivité déclarative - Archive ouverte HAL Access content directly
Conference Papers Year : 2023

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

Abstract

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 stu- dies 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é é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
PFIA_2023.pdf (380.14 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Licence : CC BY NC ND - Attribution - NonCommercial - NoDerivatives

Dates and versions

hal-04490267 , version 1 (05-03-2024)

Licence

Attribution - NonCommercial - NoDerivatives

Identifiers

  • HAL Id : hal-04490267 , version 1

Cite

Xavier Goblet, Christophe Rey, Adrien Collange. Hybridation opérationnelle des logiques OWL2 et ASP pour améliorer l'expressivité déclarative. Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle (APIA), Jul 2023, Strasbourg, France. pp.108-117. ⟨hal-04490267⟩
11 View
11 Download

Share

Gmail Facebook X LinkedIn More