A Principle-based Framework for Repair Selection in Inconsistent Ontologies (Extended Abstract)

This paper investigates a general principle-based framework for retrieving preferred repairs from inconsistent ontologies under a broad family of strategies. To begin with, we define a set of principles that ensure rational behaviours of repair selection strategies. Then, we classify the strategies into two basic categories: (i) ranking repairs without requiring formula information; and (ii) ranking repairs based on formula information. Based on this classification, we introduce several novel repair selection strategies and show that our framework encompasses a range of popular existing strategies. Additionally, through a systematical analysis of these selection strategies using the proposed principles, we conclude that our principles allow for effective discrimination among the strategies. Finally, preliminary experimental results are presented to show the feasibility of our proposed framework.