Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract).

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

Browse the full IJCAI paper archive.