%0 Conference Paper %1 conf/rweb/GlimmK19 %A Glimm, Birte %A Kazakov, Yevgeny %B Reasoning Web %D 2019 %E Krötzsch, Markus %E Stepanova, Daria %I Springer %K dblp %P 1-64 %T Classical Algorithms for Reasoning and Explanation in Description Logics. %U http://dblp.uni-trier.de/db/conf/rweb/rweb2019.html#GlimmK19 %V 11810 %@ 978-3-030-31423-1

@inproceedings{conf/rweb/GlimmK19, added-at = {2019-09-19T00:00:00.000+0200}, author = {Glimm, Birte and Kazakov, Yevgeny}, biburl = {https://www.bibsonomy.org/bibtex/2a0f97e1eef2eb8b482df251386acd0cc/dblp}, booktitle = {Reasoning Web}, crossref = {conf/rweb/2019}, editor = {Krötzsch, Markus and Stepanova, Daria}, ee = {https://doi.org/10.1007/978-3-030-31423-1_1}, interhash = {699814b1313e3de6ae15fd14242e5dc0}, intrahash = {a0f97e1eef2eb8b482df251386acd0cc}, isbn = {978-3-030-31423-1}, keywords = {dblp}, pages = {1-64}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-20T11:39:15.000+0200}, title = {Classical Algorithms for Reasoning and Explanation in Description Logics.}, url = {http://dblp.uni-trier.de/db/conf/rweb/rweb2019.html#GlimmK19}, volume = 11810, year = 2019 }