- From: Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>
- Date: Wed, 13 Aug 2008 17:45:14 +0100
- To: Diego Calvanese <calvanese@inf.unibz.it>
- Cc: public-owl-wg Group WG <public-owl-wg@w3.org>
Good -- thanks! Ian On 13 Aug 2008, at 12:26, Diego Calvanese wrote: > Hi Ian, hi all, > > regarding the inclusion of top/bottom roles in DL-Lite, we have > analyzed the problem and they do not constitute a problem wrt the > computational properties of the fragment. > > They introduce the need to address satisfiability of the TBox alone > (without bottom roles, a DL-Lite TBox is always satisfiable), and > hence to modify the query answering algorithms, but this can be > taken into account. > > - Diego >
Received on Wednesday, 13 August 2008 16:45:57 UTC