%0 Conference Paper %1 conf/dlog/DengHS05 %A Deng, Xi %A Haarslev, Volker %A Shiri, Nematollaah %B Description Logics %D 2005 %E Horrocks, Ian %E Sattler, Ulrike %E Wolter, Frank %I CEUR-WS.org %K %T A Resolution Based Framework to Explain Reasoning in Description Logics. %U http://dblp.uni-trier.de/db/conf/dlog/dlog2005.html#DengHS05 %V 147

@inproceedings{conf/dlog/DengHS05, added-at = {2023-12-14T14:51:38.000+0100}, author = {Deng, Xi and Haarslev, Volker and Shiri, Nematollaah}, biburl = {https://www.bibsonomy.org/bibtex/2b77297ca8cc83b89a164ded2ef17c75f/admin}, booktitle = {Description Logics}, crossref = {conf/dlog/2005}, editor = {Horrocks, Ian and Sattler, Ulrike and Wolter, Frank}, ee = {http://ceur-ws.org/Vol-147/43-XiDeng.pdf}, interhash = {e4122e930bae9a810c82355da80c95e0}, intrahash = {b77297ca8cc83b89a164ded2ef17c75f}, keywords = {}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2023-12-14T14:51:38.000+0100}, title = {A Resolution Based Framework to Explain Reasoning in Description Logics.}, url = {http://dblp.uni-trier.de/db/conf/dlog/dlog2005.html#DengHS05}, volume = 147, year = 2005 }