Re: ACTION 162 (Investigate top/bottom roles in dl-lite)

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
>