An Automata-based algorithm for description logics around SRIQ.

Magdalena Ortiz

Published in: LA-NMR (2008)

Keyphrases

description logics
optimal solution
knowledge base
np hard
worst case
computational complexity
reasoning systems
knowledge representation and reasoning