[DL] question: complex role inclusion axioms
baojie at cs.iastate.edu
Thu Oct 5 21:00:49 CEST 2006
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.
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 Grossi
> Intelligent Systems Group
> Institute of Information and Computing Sciences
> Universiteit Utrecht
> phone : +31 - 30 - 253 4432
> fax : +31 - 30 - 251 3791
> ** You received this mail via the description logic mailing list; for more **
> ** information, visit the description logic homepage at http://dl.kr.org/. **
More information about the dl