First-Order Rewritability of Atomic Queries in Horn Description Logics.

Meghyn Bienvenu, Carsten Lutz, Frank Wolter

Browse the full IJCAI paper archive.