"Reasoning About Actions Using Description Logics with General TBoxes."

Hongkai Liu et al. (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics