%0 Book Section %1 handbook-AR-2001 %A Calvanese, Diego %A Giacomo, Giuseppe De %A Lenzerini, Maurizio %A Nardi, Daniele %B Handbook of Automated Reasoning %D 2001 %E Robinson, Alan %E Voronkov, Andrei %I Elsevier Science Publishers %K DL %P 1581-1634 %T Reasoning in Expressive Description Logics

@incollection{handbook-AR-2001, added-at = {2008-10-23T12:03:25.000+0200}, author = {Calvanese, Diego and Giacomo, Giuseppe De and Lenzerini, Maurizio and Nardi, Daniele}, biburl = {https://www.bibsonomy.org/bibtex/26505d16c259de7a5c4614d2e72ef73ca/deynard}, booktitle = {Handbook of Automated Reasoning}, editor = {Robinson, Alan and Voronkov, Andrei}, interhash = {3c4a2650bf8d5c163e6d4c5110dfea3f}, intrahash = {6505d16c259de7a5c4614d2e72ef73ca}, keywords = {DL}, pages = {1581-1634}, publisher = {Elsevier Science Publishers}, timestamp = {2008-10-23T12:03:25.000+0200}, title = {Reasoning in Expressive Description Logics}, year = 2001 }