Ernesto Compatangelo Francesco M. Donini Giovanni Rumolo A Description Logic for reasoning with behavioural knowledge. 1997 conf/dlog/1997 Description Logics http://dl.kr.org/dl97/proceedings/donini.ps.gz db/conf/dlog/dlog1997.html#CompatengeloDR97