[DL] question: complex role inclusion axioms

[Jie Bao]

Hi, Davide

The DL SRIQ supports  comlex role inclusion axioms

Ian Horrocks, Oliver Kutz, and Ulrike Sattler. The irresistible SRIQ.
In Proc. of the First OWL Experiences and Directions Workshop, 2005.
http://www.cs.man.ac.uk/~horrocks/Publications/download/2006/HoKS05a.pdf

Regards

Jie

On 9/22/06, davide <davide at cs.uu.nl> wrote:
> 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
> ===============================================
>
> ---
> **  You received this mail via the description logic mailing list; for more  **
> **  information, visit the description logic homepage at http://dl.kr.org/.  **
>

-- 
Jie Bao