Login / Signup
SRIQ and SROIQ are Harder than SHOIQ.
Yevgeny Kazakov
Published in:
Description Logics (2008)
Keyphrases
</>
expressive description logics
description logics
np complete
regular path queries
exptime complete
np hard
owl dl
reasoning tasks
expressive power
data complexity