"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")."
