Debugging unsatisfiable classes in OWL ontologies

From Tetherless World Wiki

\begin{bibtex} @article{DBLP:journals/ws/KalyanpurPSH05, title={Debugging unsatisfiable classes in OWL ontologies}, pages={268-293}, year={2005}, volume={3}, journal={J. Web Sem.}, number={4}, ee={http://dx.doi.org/10.1016/j.websem.2005.09.005}, url={http://www.informatik.uni-trier.de/~ley/db/journals/ws/ws3.html#KalyanpurPSH05}, author={Aditya Kalyanpur and Bijan Parsia and Evren Sirin and James A. Hendler} }\end{bibtex}