I have recently been looking in the literature for DLs enabling role hierarchies which include complex 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 ===============================================Received on Wednesday, 27 September 2006 16:01:17 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 27 September 2006 16:01:18 GMT