%0 Book Section %1 books/el/RV01/CalvaneseGLN01 %A Calvanese, Diego %A Giacomo, Giuseppe De %A Nardi, Daniele %A Lenzerini, Maurizio %B Handbook of Automated Reasoning %D 2001 %E Robinson, John Alan %E Voronkov, Andrei %I Elsevier and MIT Press %K dblp %P 1581-1634 %T Reasoning in Expressive Description Logics. %U http://dblp.uni-trier.de/db/books/collections/RobinsonV01.html#CalvaneseGLN01 %@ 0-262-18223-8

@incollection{books/el/RV01/CalvaneseGLN01, added-at = {2021-04-09T00:00:00.000+0200}, author = {Calvanese, Diego and Giacomo, Giuseppe De and Nardi, Daniele and Lenzerini, Maurizio}, biburl = {https://www.bibsonomy.org/bibtex/23223b725f463d38576f92ae8d49154fe/dblp}, booktitle = {Handbook of Automated Reasoning}, crossref = {books/el/RobinsonV01}, editor = {Robinson, John Alan and Voronkov, Andrei}, ee = {https://doi.org/10.1016/b978-044450813-3/50025-4}, interhash = {3c4a2650bf8d5c163e6d4c5110dfea3f}, intrahash = {3223b725f463d38576f92ae8d49154fe}, isbn = {0-262-18223-8}, keywords = {dblp}, pages = {1581-1634}, publisher = {Elsevier and MIT Press}, timestamp = {2024-04-10T11:20:28.000+0200}, title = {Reasoning in Expressive Description Logics.}, url = {http://dblp.uni-trier.de/db/books/collections/RobinsonV01.html#CalvaneseGLN01}, year = 2001 }