Andrea Acciarri

Learn More
One of the most important lines of research in Description Logics (DLs) is concerned with the trade-off between expressive power and computational complexity of sound and complete reasoning. Research carried out in the past on this topic has shown that many DLs with efficient, i.e., worstcase polynomial time, reasoning algorithms lack the modeling power(More)
  • 1