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. - DiegoReceived 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