arXiv:2306.09138v5 公告类型: 替换 摘要：随着语义网的重要性日益增加，描述逻辑知识库（KBs）中矛盾管理的需求愈发凸显。在这种背景下，信息来源多样且不断变化，单独或共同考虑时可能会包含矛盾的描述。经典推理算法无法处理不一致的知识库，迫使人们对知识库进行调试以去除不一致性。在本文中，我们利用现有的概率语义学DISPONTE来克服这一问题，并允许在不一致的知识库中执行查询。我们已在TRILL和BUNDLE推理器中实现了该方法，并进行实证测试以验证我们的提案。此外，我们还正式比较了本文提出的方法与修复语义学方法，后者在描述逻辑推理任务中是最为成熟的一种语义学。