%0 Conference Paper %1 deng2005 %A Deng, Xi %A Haarslev, Volker %A Shiri, Nematollaah %B ExaCt %D 2005 %E Roth-Berghofer, Thomas %E Schulz, Stefan %I AAAI Press %K %P 55-61 %T A Framework for Explaining Reasoning in Description Logics. %U http://dblp.uni-trier.de/db/conf/exact/exact2005.html#DengHS05 %V FS-05-04 %@ 978-1-57735-250-1

@inproceedings{deng2005, added-at = {2023-12-13T07:02:14.000+0100}, author = {Deng, Xi and Haarslev, Volker and Shiri, Nematollaah}, biburl = {https://www.bibsonomy.org/bibtex/236818642be487ba080286a012317bdcc/admin}, booktitle = {ExaCt}, crossref = {conf/exact/2005}, date = {2007-10-25}, editor = {Roth-Berghofer, Thomas and Schulz, Stefan}, interhash = {b48a463b192b03ff8ead5efdb5629ef1}, intrahash = {36818642be487ba080286a012317bdcc}, isbn = {978-1-57735-250-1}, keywords = {}, pages = {55-61}, publisher = {AAAI Press}, series = {AAAI Technical Report}, timestamp = {2023-12-13T07:02:14.000+0100}, title = {A Framework for Explaining Reasoning in Description Logics.}, url = {http://dblp.uni-trier.de/db/conf/exact/exact2005.html#DengHS05}, volume = {FS-05-04}, year = 2005 }