Description and/or Hybrid Logics
Carlos Areces, Maarten de Rijke · 2000
Abstract: Improving on work by Schild, De Giacomo and Lenzerini, we establish a tight connection between description logics and hybrid logics, and use this to transfer results on complexity and expressive power from one to the other. Keywords: modal and description logic, hybrid logic, T-Box and A-Box reasoning, computational complexity, expressive power. 1