Fixed Parameter Tractable Reasoning in DLs via Decomposition

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Fixed Parameter Tractable Reasoning in DLs via Decomposition

František SimančíkFrantišek Simančík,  Boris MotikBoris Motik,  Markus KrötzschMarkus Krötzsch
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
  • 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}
}