"A Description Logic for reasoning with behavioural knowledge."

Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo (1997)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics