Integrating Action Calculi and Description Logics - Drescher, C; Thielscher, M (Proceedings of the 30th Annual German Conference on Artificial Intelligence (KI 2007), 2007)