Login / Signup
RIQ and SROIQ Are Harder than SHOIQ.
Yevgeny Kazakov
Published in:
KR (2008)
Keyphrases
</>
expressive description logics
description logics
np complete
np hard
owl dl
regular path queries
artificial intelligence
exptime complete
databases
reasoning tasks
query answering
reasoning systems