[DL] question: complex role inclusion axioms

[davide]

I have been looking in the literature for DLs enabling role hierarchies 
including comlex inclusion axioms such as, for instance:
R \bullet S \sqsubseteq Q (the composition of R and S is a sub-role of Q).

For DLs as expressive as Dynamic logic (or some relevant fragments) this 
shouldn't be anything problematic since such axioms seem to be 
translatable in  Dynamic logic. For instance:
[Q]p \rightarrow [R][S]p

Is this a correct intuition? Are there any references systematically 
adressing the issue of complex role inclusions?
Thanks a lot for your attention.

Davide

-- 
===============================================
Davide Grossi
Intelligent Systems Group
Institute of Information and Computing Sciences
Universiteit Utrecht
phone : +31 - 30 - 253 4432
fax   : +31 - 30 - 251 3791
http://www.cs.uu.nl/staff/davide.html 
===============================================