Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ.

Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus

Browse the full IJCAI paper archive.