On Finite Entailment of Non-Local Queries in Description Logics.

Tomasz Gogacz, Vctor Gutirrez-Basulto, Albert Gutowski, Yazmn Ibez-Garca, Filip Murlak

Browse the full KR paper archive.