%0 Journal Article %1 journals/ai/SimancikMH14 %A Simancik, Frantisek %A Motik, Boris %A Horrocks, Ian %D 2014 %J Artif. Intell. %K dblp %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 = {2022-04-12T00:00:00.000+0200}, author = {Simancik, Frantisek and Motik, Boris and Horrocks, Ian}, biburl = {https://www.bibsonomy.org/bibtex/26139e3a5fc13a598a9cb1faee71a7a1f/dblp}, ee = {https://www.wikidata.org/entity/Q56988536}, interhash = {7b4d0341485912171529b1a7d9323f3c}, intrahash = {6139e3a5fc13a598a9cb1faee71a7a1f}, journal = {Artif. Intell.}, keywords = {dblp}, pages = {29-77}, timestamp = {2024-04-08T17:20:12.000+0200}, 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 }