Finite Entailment of UCRPQs over ALC Ontologies.

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

Browse the full KR paper archive.