Finite Entailment of UCRPQs over ALC OntologiesInternational Conference on Principles of Knowledge Representation and Reasoning (KR), 2022 |
Satisfiability and Query Answering in Description Logics with Global and
Local Cardinality ConstraintsEuropean Conference on Artificial Intelligence (ECAI), 2020 |
Dichotomies in Ontology-Mediated Querying with the Guarded FragmentACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), 2017 |
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity
is your Friend!Journal of Artificial Intelligence Research (JAIR), 2010 |