%0 Journal Article %1 SchlobachHCH07 %A Schlobach, Stefan %A Huang, Zhisheng %A Cornet, Ronald %A van Harmelen, Frank %D 2007 %J Journal of Automated Reasoning %K imported %N 3 %P 317-349 %T Debugging Incoherent Terminologies %V 39

@article{SchlobachHCH07, added-at = {2010-02-10T15:18:32.000+0100}, author = {Schlobach, Stefan and Huang, Zhisheng and Cornet, Ronald and van Harmelen, Frank}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/2889c2f6b9ab0c838dbbfc5fac4f07429/schlobac}, ee = {http://dx.doi.org/10.1007/s10817-007-9076-z}, interhash = {4e564312be392e46ee56c3f843931ddb}, intrahash = {889c2f6b9ab0c838dbbfc5fac4f07429}, journal = {Journal of Automated Reasoning}, keywords = {imported}, number = 3, pages = {317-349}, timestamp = {2010-02-10T15:18:33.000+0100}, title = {Debugging Incoherent Terminologies}, volume = 39, year = 2007 }