Equipe BD
Equipe BD
Laboratoire d'InfoRmatique en Images et Systèmes d'information
UMR 5205 CNRS/INSA de Lyon/Université Claude Bernard Lyon 1/Université Lumière Lyon 2/Ecole Centrale de Lyon

You are here

Counting Queries over ELHI⊥ Ontologies

Quentin MANIERE & Michael THOMAZO
Thursday, June 2, 2022 - 10:00 to 12:00
Université Lyon1, Dép. Informatique, Bât. Nautibus, salle C5

"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. In a recent paper we 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."

Bio : "I'm a third year PhD student at the LaBRI research lab, in Bordeaux. I mostly work on counting queries in ontology-based data access, under the direction of Meghyn Bienvenu and Michaël Thomazo, and as a member of the RATIO research team ("Reasoning with data, knowledge, and constraints")."