The necessity to manage inconsistency in Description Logics Knowledge Bases~(KBs) has come to the fore with the increasing importance gained by the Semantic Web, where information comes from different sources that constantly change their content and may contain contradictory descriptions when considered either alone or together. Classical reasoning algorithms do not handle inconsistent KBs, forcing the debugging of the KB in order to remove the inconsistency. In this paper, we exploit an existing probabilistic semantics called DISPONTE to overcome this problem and allow queries also in case of inconsistent KBs. We implemented our approach in the reasoners TRILL and BUNDLE and empirically tested the validity of our proposal. Moreover, we formally compare the presented approach to that of the repair semantics, one of the most established semantics when considering DL reasoning tasks.

翻译：在描述逻辑知识库中管理不一致性的必要性随着语义网的日益重要而凸显，语义网中的信息来源于不同来源，这些来源不断变化其内容，并且可能包含单独或联合考虑时相互矛盾的描述。经典推理算法无法处理不一致的知识库，迫使必须调试知识库以消除不一致性。本文利用一种名为DISPONTE的现有概率语义来克服这一问题，并允许在不一致知识库的情况下进行查询。我们在推理器TRILL和BUNDLE中实现了我们的方法，并通过实验验证了其有效性。此外，我们将所提出的方法与修复语义（描述逻辑推理任务中最成熟的语义之一）进行了形式化比较。