Expressiveness Revisited

We consider two recently proposed definitions of the expressive power of description logics, one due to Baader, the other due to Kurtonina and de Rijke. The proposals are non-equivalent, and we explain their differences, similarities, as well as ways in which they are related. We also map out a research agenda resulting from efforts to combine the two approaches.

• Type: Conference
• Year: 1998
• Where: DLOG
• Authors: Carlos Areces, Maarten de Rijke
• Keywords: Automated Reasoning, Description Logics, DLOG 1998, Expressive Power