Querying expressive DLs

1 Introduction A serious shortcoming of many Description Logic based knowledge representation systems is the inadequacy of their query languages. In this paper we show how the query answering technique presented in [7] for ALC can be extended for a DL featuring role restrictions like transitivity and role hierarchy