Integration of Pattern-Based Debugging Approach into RaDON

Download PDF
Open Webpage

Qiu Ji, Zhiqiang Gao, Zhisheng Huang

Published: 2013, Last Modified: 06 Jan 2026CSWS 2013EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: RaDON is a representative system for debugging and repairing both single ontologies and ontology mappings. However, the efficiency of its debugging algorithms is still a problem. In this paper, we implement an efficient debugging algorithm based on patterns in RaDON. As a result, RaDON could efficiently discover those minimal unsatisfiability-preserving subsets (MUPS) with the patterns specified by the users. Besides, RaDON could discover all MUPS by reusing those MUPS that have previously been found.