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