语义Web的发展促使大量OWL本体在Web上发布并互连成链接数据。这种开放链接方式下，本体自身演化或本体间链接更新都可能导致逻辑冲突。通常可采用本体调试技术，通过找出一组最小冲突公理集合作为调试信息的方法来帮助定位并解释冲突原因。目前尚无证据表明已有的本体调试技术及优化方法能有效处理含十亿数量级三元组的OWL本体。当前急需新的OWL本体调试技术来解决在Web 规模本体上进行有效逻辑冲突调试及推理结果解释等问题。课题拟采用分布式处理技术突破I/O和主存对大规模OWL本体存储和处理能力的限制，研究大规模OWL本体的高效调试和解释方法，内容涉及分布式环境下支持OWL本体调试的存储结构设计；求取本体调试信息（最小冲突公理集合）的分布式算法及优化技术；存储更新和增量式求取算法；面向用户的调试信息度量和Top-k算法；近似调试算法。拟将成果用于构建一个提供大规模OWL本体在线调试和解释服务的原型系统。

With the recent development of the semantic Web, a large number of OWL ontologies have been published and linked on the Web as a so-called Linking Open Data set. Logical conflicts are inevitable in such open linked ontologies considering the evolution of themselves and the update of links. Usually, the conflicts can be pinpointed and explained utilizing ontology debugging techniques which try to find a set of minimal conflict subsets of axioms as the debugging information. However, existing ontology debugging approaches and optimization techniques have not been proven to have the ability of handling OWL ontologies consisting of more than one billion RDF triples. Obviously, it is necessary to propose novel ontology debugging techniques for OWL to fulfill the requirements of efficient logical conflicts debugging and explaining on billion-scale OWL ontologies. In this research, we will adapt distributed computing technologies to break through the limitation of I/O and main memory on storing and processing large-scale OWL ontologies, based on which we will develop efficient ontology debugging and explanation approaches for large-scale OWL ontologies. The main research contents include: design of the distributed storage structure supporting the ontology debugging for OWL; distributed minimal conflict subsets finding algorithms and optimization techniques; storage updating algorithms and incremental finding algorithms; user oriented debuging information measurements and corresponding Top-k ranking algorithms; and approximate algorithms for distributed OWL debugging. The research results will be applied in a prototype system that provides services of online ontology debugging and explaining for billion-scale real OWL ontologies.