Finite entailment of non-local queries in description logics

Prelegent(ci)

Albert Gutowski

Afiliacja

MIM UW

Termin

30 czerwca 2021 14:15

Informacje na temat wydarzenia

online

Seminarium

Seminarium „Teoria automatów”

---

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.

---