Finite entailment of UCRPQs over ALC ontologies (extended abstract)

Víctor Gutiérrez-Basulto,Albert Gutowski,Yazmín Ibáñez-García,Filip Murlak

IJCAI（2023）

Cited 1|Views9

No score

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 wellknown class of unions of conjunctive queries, with regular expressions over roles. We look at ontologies formulated using the description logic ALC, and show a tight 2EXPTIME upper bound for finite entailment of UCRPQs.

Translated text

AI Read Science

Must-Reading Tree

Example

Generate MRT to find the research sequence of this paper

Chat Paper

Summary is being generated by the instructions you defined