First-Order Rewritability of Atomic Queries in Horn Description Logics

Open in new window