Browse wiki

@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 23rd International Workshop
                 on Description Logics (DL'10)},
    editors   = {Riccardo Rosati and Sebastian Rudolph and
                 Michael Zakharyaschev}
    publisher = {CEUR-WS.org},
    series    = {CEUR Workshop Proceedings},
    year      = {2011},
    note      = {to appear}
}