- From: Ian Horrocks <horrocks@cs.man.ac.uk>
- Date: Wed, 27 Sep 2006 22:18:37 +0100
- To: davide <davide@cs.uu.nl>
- Cc: www-rdf-logic@w3.org
On 27 Sep 2006, at 17:01, davide wrote: > > 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. Got my pointers slightly confused - sorry. Should have been: The OWL 1.1 proposal: http://owl1-1.cs.manchester.ac.uk/ OWL: Experiences and Directions workshop (at ISWC): http://owl-workshop.man.ac.uk/OWLWorkshop06.html Ian > > 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 21:18:54 UTC