Presentations

First-Order Rewritability of Atomic Queries in Horn Description Logics

Meghyn Bienvenu, Carsten Lutz, Frank Wolter

You are not currently permitted to view this paper. If you have an account for this conference website, you may need to log in to view content.