First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics.

Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter

Browse the full IJCAI paper archive.