Albert Gutowski

Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract)

We investigate the problem of finite entailment of ontology-mediated queries. We consider the expressive query language, unions of conjunctive regular path queries (UCRPQs), extending the well-known class of unions of conjunctive queries, with regular expressions over roles. We look at ontologies…