Boontawee Suntisrivaraporn, Guilin Qi, Qiu Ji, Peter Haase. A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments. In John Domingue, Chutiporn Anutariya, editors, The Semantic Web, 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings. Volume 5367 of Lecture Notes in Computer Science, pages 1-15, Springer, 2008. [doi]
Abstract is missing.