W3C home > Mailing lists > Public > public-owl-wg@w3.org > August 2008

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

From: Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>
Date: Wed, 13 Aug 2008 17:45:14 +0100
Message-Id: <DE31B913-2992-49B4-8A7A-74822924EE6F@comlab.ox.ac.uk>
Cc: public-owl-wg Group WG <public-owl-wg@w3.org>
To: Diego Calvanese <calvanese@inf.unibz.it>

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 13 August 2008 16:45:57 GMT