Adding Causal Relationships to DL-based Action Formalisms

In the reasoning about actions community, causal relationships have been proposed as a possible approach for solving the ramification prob-lem, i. e., the problem of how to deal with indirect effects of actions. In this paper, we show that causal relationships can be added to action for-malisms based on Description Logics without destroying the decidability of the consistency and the projection problem.