On the Semantic Relationship between Datalog and Description Logics