Fixed Parameter Tractable Reasoning in DLs via Decomposition

From korrekt.org

Jump to: navigation, search


František Simančík, Boris Motik, Markus Krötzsch

Fixed Parameter Tractable Reasoning in DLs via Decomposition



Abstract. In this paper, we present a method for fixed parameter reasoning in description logics. Our method is inspired by the work on treewidth, which we generalized in order to handle existential quantifiers.

Published at DL2011 (Workshop paper)

Download PDF (last update: June 26 2011)

Citation details

Topics

Description logics

Personal tools