Complexité des bornes de complexité clarifient la réponse aux requêtes à chemins avec règles existentielles gardées

Une équipe composée de Jean‑François Baget, Meghyn Bienvenu, Marie‑Laure Mugnier et Michaël Thomazo a publié un nouvel article le 29 juillet 2026 détaillant les limites computationnelles pour répondre à des requêtes régulières à deux sens ((C)RPQ) sur des bases de connaissance dont l’ontologie est exprimée par des règles existentielles gardées. L’étude apparaît dans le Journal of Artificial Intelligence Research (JAIR), disponible via ¹

Les auteurs commencent par examiner le sous‑ensemble des règles existentielles linéaires. Dans cette situation ils démontrent que répondre à des RPQ et CRPQ est NL‑complet en complexité des données — c’est‑à‑dire lorsque seule l’instance de base varie, la tâche nécessite un espace logarithmique. Cette borne correspond à celle connue pour les RPQ ordinaires sur des graphes sans ontologie ¹. Cependant, lorsqu’on considère la complexité combinée – taille du query plus de l'ontologie –, leurs résultats diffèrent nettement des hypothèses antérieures. Pour les règles gardées générales, ils montrent que la réponse aux (C)RPQ atteint 2ExpTime‑complète, tandis que les versions avec arité prédicative bornée passent à ExpTime‑complète; la complexité des données reste PTime‑complète dans tous les cas ¹.

Pour établir ces bornes, Baget et al. construisent une réduction non triviale du cas linéaire vers celui gardé, montrant qu’une simple contrainte ontologique peut provoquer d’importantes explosions computationnelles. Ils identifient également des seuils précis: si l’arité des prédicats est limitée, la réponse aux RPQ devient PTime‑complète alors que la réponse aux CRPQ tombe encore en PSPACE‑complète, soulignant comment de légères variations dans la structure des règles influencent la tractabilité.

Ces découvertes théoriques portent des implications pratiques. Les notes expertes indiquent que des résultats NP‑complets pour les règles existentielles gardées ont été observés auparavant dans le raisonnement avec logiques de description telles que OWL, ce qui suggère que même modestes couches ontologiques peuvent accroître considérablement les coûts de raisonnement. Dans le domaine biomédical où les ontologies sont essentielles mais requêtes doivent rester efficaces, cette recherche signale que la conception prudente des jeux de règles est cruciale afin d’éviter les barrières 2ExpTime.

Le travail s’appuie sur plusieurs décennies de recherches sur l’answering de requêtes sur graphe de connaissance, remontant à Bogdan Movre au début des années 2000. En fournissant une classification précise des complexités pour (C)RPQ sous règles linéaires et existentielles gardées, Baget et collègues offrent aux praticiens une carte plus claire de quand l’évaluation efficace reste possible et quand elle peut devenir infeasible à cause d’une explosion combinatoire.

En résumé, l’article délimite un paysage nuancé: la complexité en données demeure basse pour les règles linéaires tandis que la complexité combinée peut atteindre le double exponentiel dès qu’on introduit la généralité gardée; l’arité bornée offre un soulagement partiel mais laisse encore beaucoup de cas hors du temps polynomial. Pour ceux construisant des systèmes IA reposant sur des requêtes à chemins dans des bases enrichies par ontologie — surtout dans des domaines exigeants comme la biomedicine — le message est clair: structurez vos règles soigneusement ou risquez d’affronter des exigences computationnelles prohibitives.