Logik und Formale Methoden

On the Semantic Relationship between Datalog and Description Logics