Counting Queries over ELHI⊥ Ontologies - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Counting Queries over ELHI⊥ Ontologies

Michaël Thomazo

Résumé

While ontology-mediated query answering most often adopts (unions of) conjunctive queries as the query language, some recent works have explored the use of counting queries coupled with DL-Lite ontologies. The aim of the present paper is to extend the study of counting queries to Horn description logics outside the DL-Lite family. Through a combination of novel techniques, adaptations of existing constructions, and new connections to closed predicates, we achieve a complete picture of the data and combined complexity of answering counting conjunctive queries (CCQs) and cardinality queries (a restricted class of CCQs) in ELHI⊥ and its various sublogics. Notably, we show that CCQ answering is 2EXP-complete in combined complexity for ELHI⊥ and every sublogic that extends EL or DL-Lite_H^pos. Our study not only provides the first results for counting queries beyond DL-Lite, but it also closes some open questions about the combined complexity of CCQ answering in DL-Lite.
Fichier principal
Vignette du fichier
kr2022-0006-bienvenu-et-al.pdf (220.36 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03820249 , version 1 (18-10-2022)

Identifiants

Citer

Meghyn Bienvenu, Quentin Manière, Michaël Thomazo. Counting Queries over ELHI⊥ Ontologies. KR 2022 - 19th International Conference on Principles of Knowledge Representation and Reasoning, Jul 2022, Haifa, Israel. pp.53-62, ⟨10.24963/kr.2022/6⟩. ⟨hal-03820249⟩
35 Consultations
28 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More