%0 Journal Article %1 journals/ai/SimancikMH14 %A Simancik, Frantisek %A Motik, Boris %A Horrocks, Ian %D 2014 %J Artif. Intell. %K %P 29-77 %T Consequence-based and fixed-parameter tractable reasoning in description logics. %U http://dblp.uni-trier.de/db/journals/ai/ai209.html#SimancikMH14 %V 209

@article{journals/ai/SimancikMH14, added-at = {2023-12-13T02:07:54.000+0100}, author = {Simancik, Frantisek and Motik, Boris and Horrocks, Ian}, biburl = {https://www.bibsonomy.org/bibtex/26139e3a5fc13a598a9cb1faee71a7a1f/admin}, ee = {https://www.wikidata.org/entity/Q56988536}, interhash = {7b4d0341485912171529b1a7d9323f3c}, intrahash = {6139e3a5fc13a598a9cb1faee71a7a1f}, journal = {Artif. Intell.}, keywords = {}, pages = {29-77}, timestamp = {2023-12-13T02:07:54.000+0100}, title = {Consequence-based and fixed-parameter tractable reasoning in description logics.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai209.html#SimancikMH14}, volume = 209, year = 2014 }