Finite entailment of non-local queries in description logics

Speaker(s)

Albert Gutowski

Affiliation

MIM UW

Date

June 30, 2021, 2:15 p.m.

Information about the event

online

Seminar

Seminar Automata Theory

---

We study the problem of finite entailment of ontology-mediated queries. In particular, we are interested in non-local queries. Recent studies show that a vast majority of user-issued CRPQs only use Kleene star over unions of roles. We show how to answer such simple CRPQs, mediated by ontologies expressed in the description logic ALCOI extended by allowing transitive closures of unions of roles, to match the expressive power of the queries. This is joint work with Filip Murlak, Víctor Gutiérrez-Basulto and Yazmín Ibáñez-García.

---