Fixed Parameter Tractable Reasoning in DLs via Decomposition

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

Download

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., Proc. 24th International Workshop on Description Logics (DL'11), volume 745 of CEUR Workshop Proceedings, 400-410, July 2011. CEUR-WS.org

Details
Bibtex

KurzfassungAbstract
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.
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

@inproceedings{SMK2011,
  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},
  editor    = {Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev},
  booktitle = {Proc. 24th International Workshop on Description Logics (DL'11)},
  series    = {CEUR Workshop Proceedings},
  volume    = {745},
  publisher = {CEUR-WS.org},
  year      = {2011},
  month     = {July},
  pages     = {400-410}
}