  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.
