%0 Conference Paper %1 conf/csemws/ZhouQ13 %A Zhou, Zhangquan %A Qi, Guilin %B CSWS %D 2013 %E Qi, Guilin %E Tang, Jie %E Du, Jianfeng %E Pan, Jeff Z. %E Yu, Yong %I Springer %K dblp %P 235-238 %T Implementation and Evaluation of a Backtracking Algorithm for Finding All Justifications in OWL 2 EL. %U http://dblp.uni-trier.de/db/conf/csemws/csws2013.html#ZhouQ13 %V 406 %@ 978-3-642-54024-0

@inproceedings{conf/csemws/ZhouQ13, added-at = {2017-05-24T00:00:00.000+0200}, author = {Zhou, Zhangquan and Qi, Guilin}, biburl = {https://www.bibsonomy.org/bibtex/2c5d95a35f33fe928559e94953280e1e8/dblp}, booktitle = {CSWS}, crossref = {conf/csemws/2013}, editor = {Qi, Guilin and Tang, Jie and Du, Jianfeng and Pan, Jeff Z. and Yu, Yong}, ee = {https://doi.org/10.1007/978-3-642-54025-7_21}, interhash = {b24be74da475d7b4e45fbb22a6aded40}, intrahash = {c5d95a35f33fe928559e94953280e1e8}, isbn = {978-3-642-54024-0}, keywords = {dblp}, pages = {235-238}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2019-04-03T11:49:52.000+0200}, title = {Implementation and Evaluation of a Backtracking Algorithm for Finding All Justifications in OWL 2 EL.}, url = {http://dblp.uni-trier.de/db/conf/csemws/csws2013.html#ZhouQ13}, volume = 406, year = 2013 }