%0 Book Section %1 baader2006dl %A Baader, Franz %A Lutz, Carsten %B The Handbook of Modal Logic %D 2006 %E Blackburn, P. %E van Benthem, J. %E Wolter, F. %I Elsevier %K baader descriptionlogics dl %P 757-820 %T Description Logic

@inbook{baader2006dl, added-at = {2013-10-17T07:12:09.000+0200}, author = {Baader, Franz and Lutz, Carsten}, biburl = {https://www.bibsonomy.org/bibtex/2e5e7a88de1d366e3e85f31be4084b383/francesco.k}, booktitle = {The Handbook of Modal Logic}, editor = {Blackburn, P. and van Benthem, J. and Wolter, F.}, interhash = {3c5ccc87a686f2b4f1102629826f939c}, intrahash = {e5e7a88de1d366e3e85f31be4084b383}, keywords = {baader descriptionlogics dl}, pages = {757-820}, publisher = {Elsevier}, timestamp = {2013-10-17T07:19:30.000+0200}, title = {Description Logic}, year = 2006 }