Answering Counting Queries over DL-Lite Ontologies

Abstract

Ontology-mediated query answering (OMQA) is a promising approach to data access and integration that has been actively studied in the knowledge representation and database communities for more than a decade. The vast majority of work on OMQA focuses on conjunctive queries, whereas more expressive queries that feature counting or other forms of aggregation remain largely unexplored. In this paper, we introduce a general form of counting query, relate it to previous proposals, and study the complexity of answering such queries in the presence of DL-Lite ontologies. As it follows from existing work that query answering is intractable and often of high complexity, we consider some practically relevant restrictions, for which we establish improved complexity bounds.

Cite

Text

Bienvenu et al. "Answering Counting Queries over DL-Lite Ontologies." International Joint Conference on Artificial Intelligence, 2020. doi:10.24963/IJCAI.2020/223

Markdown

[Bienvenu et al. "Answering Counting Queries over DL-Lite Ontologies." International Joint Conference on Artificial Intelligence, 2020.](https://mlanthology.org/ijcai/2020/bienvenu2020ijcai-answering/) doi:10.24963/IJCAI.2020/223

BibTeX

@inproceedings{bienvenu2020ijcai-answering,
  title     = {{Answering Counting Queries over DL-Lite Ontologies}},
  author    = {Bienvenu, Meghyn and Manière, Quentin and Thomazo, Michaël},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2020},
  pages     = {1608-1614},
  doi       = {10.24963/IJCAI.2020/223},
  url       = {https://mlanthology.org/ijcai/2020/bienvenu2020ijcai-answering/}
}