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

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

From: Diego Calvanese <calvanese@inf.unibz.it>
Date: Wed, 13 Aug 2008 13:26:20 +0200
Message-Id: <8B392153-2C7D-48BA-B529-9ACD728E996F@inf.unibz.it>
To: Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>, public-owl-wg Group WG <public-owl-wg@w3.org>

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 11:27:04 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:41:51 UTC