A Description Logic for reasoning with behavioural knowledge