Finite Query Answering in Expressive Description Logics with Transitive Roles

Tomasz Gogacz, Yazmin Ibáñez-García, Filip Murlak

We study the problem of finite ontology mediated query answering (FOMQA), the variant of OMQA where the represented world is assumed to be finite, and thus only finite models of th…