Fixed Parameter Tractable Reasoning in DLs via Decomposition
From korrekt.org
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
- František Simančík, Boris Motik, Markus Krötzsch. Fixed Parameter Tractable Reasoning in DLs via Decomposition. In Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev, eds.: Proceedings of the 24th International Workshop on Description Logics (DL-11), pp. 400–410. CEUR Workshop ProceedingsProperty "Publisher" has a restricted application area and cannot be used as annotation property by a user. 2011.
@inproceedings{SMK11:dlfpt,
author = {Franti\v{s}ek Siman\v{c}\'{i}k and Boris Motik
and Markus Kr{\"o}tzsch},
title = {Fixed Parameter Tractable Reasoning in {DLs}
via Decomposition},
booktitle = {Proceedings of the 24th International Workshop
on Description Logics (DL'11)},
editors = {Riccardo Rosati and Sebastian Rudolph and
Michael Zakharyaschev}
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
year = {2011},
pages = {400--410}
}
author = {Franti\v{s}ek Siman\v{c}\'{i}k and Boris Motik
and Markus Kr{\"o}tzsch},
title = {Fixed Parameter Tractable Reasoning in {DLs}
via Decomposition},
booktitle = {Proceedings of the 24th International Workshop
on Description Logics (DL'11)},
editors = {Riccardo Rosati and Sebastian Rudolph and
Michael Zakharyaschev}
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
year = {2011},
pages = {400--410}
}
