Prioritized Default Logic presents an optimal solution for addressing real-world problems characterized by incomplete information and the need to establish preferences among diverse scenarios. Although it has reached great success in the theoretical aspect, its practical implementation has received less attention. In this article, we introduce Borhan, a system designed and created for prioritized default logic reasoning. To create an effective system, we have refined existing default logic definitions, including the extension concept, and introduced novel concepts. In addition to its theoretical merits, Borhan proves its practical utility by efficiently addressing a range of prioritized default logic problems. In addition, one of the advantages of our system is its ability to both store and report the explanation path for any inferred triple, enhancing transparency and interpretability. Borhan is offered as an open-source system, implemented in Python, and even offers a simplified Java version as a plugin for the Protege ontology editor. Borhan thus represents a significant step forward in bridging the gap between the theoretical foundations of default logic and its real-world applications.

翻译：优先缺省逻辑为处理包含不完整信息且需在不同场景间建立偏好的实际问题提供了一种最优解。尽管该理论已取得显著成功，其实际实现却较少受到关注。本文介绍了Borhan——一个专为优先缺省逻辑推理而设计与构建的系统。为构建高效系统，我们完善了现有缺省逻辑定义（包括扩展概念），并引入了新概念。除理论优势外，Borhan通过高效解决一系列优先缺省逻辑问题证明了其实用价值。此外，该系统的一大优势在于能够存储并报告任意推理三元组的解释路径，从而增强透明性与可解释性。Borhan以开源系统形式提供，基于Python实现，并提供了简化版Java插件以适配Protégé本体编辑器。因此，Borhan在弥合缺省逻辑理论基础与实际应用之间的鸿沟方面迈出了重要一步。