Logo image
Se connecter
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics
Acte de colloque   Open Access

First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics

Meghyn Bienvenu, Peter Hansen, Carsten Lutz et Frank Wolter
25th International Joint Conference on Artificial Intelligence
IJCAI: International Joint Conference on Artificial Intelligence (New York, United States, 09/07/2016–15/07/2016)
2016

Résumé

We study FO-rewritability of conjunctive queries in the presence of ontologies formulated in a description logic between EL and Horn-SHIF, along with related query containment problems. Apart from providing characterizations, we establish complexity results ranging from EXPTIME via NEXPTIME to 2EXPTIME, pointing out several interesting effects. In particular, FO-rewriting is more complex for conjunctive queries than for atomic queries when inverse roles are present, but not otherwise.

Fichiers et liens (1)

url
Find in HALAfficher

Indicateurs

1 Consultations de la notice

Détails

Logo image