Decomposition-Based Optimization for Debugging of Inconsistent OWL DL Ontologies

Jianfeng Du, Guilin Qi. Decomposition-Based Optimization for Debugging of Inconsistent OWL DL Ontologies. In Yaxin Bi, Mary-Anne Williams, editors, Knowledge Science, Engineering and Management, 4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010. Proceedings. Volume 6291 of Lecture Notes in Computer Science, pages 88-100, Springer, 2010. [doi]

Abstract

Abstract is missing.