Thorsten Liebig Dietmar Rösner Action Hierarchies in Description Logics. 1997 conf/dlog/1997 Description Logics http://dl.kr.org/dl97/proceedings/liebig.ps.gz db/conf/dlog/dlog1997.html#LiebigR97