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

Open in new window