[DL] question: complex role inclusion axioms
davide at cs.uu.nl
Fri Sep 22 16:26:10 CEST 2006
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.
Intelligent Systems Group
Institute of Information and Computing Sciences
phone : +31 - 30 - 253 4432
fax : +31 - 30 - 251 3791
More information about the dl