Fixed Parameter Tractable Reasoning in DLs via Decomposition.

Frantisek Simancik Boris Motik Markus Krötzsch

Published in: Description Logics (2011)

Keyphrases

fixed parameter tractable
computational problems
parameterized complexity
reasoning tasks
abstract argumentation
description logics
knowledge base
conjunctive queries
np complete
np hard
automated reasoning
query language
global constraints
xml documents
probabilistic reasoning