Meghyn Bienvenu

Answering Counting Queries over DL-Lite Ontologies

2020

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 …

Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments

2022 · arXiv (Cornell University)

We investigate practical algorithms for inconsistency-tolerant query answering over prioritized knowledge bases, which consist of a logical theory, a set of facts, and a priority relation between conflicting facts. We consider three well-known semantics (AR, …

Ontology-Mediated Queries: Combined Complexity and Succinctness of\n Rewritings via Circuit Complexity

2016 · arXiv (Cornell University)

We give solutions to two fundamental computational problems in ontology-based\ndata access with the W3C standard ontology language OWL 2 QL: the succinctness\nproblem for first-order rewritings of ontology-mediated queries (OMQs), and the\ncomplexity problem for OMQ answering. …