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

Open in new window