The KBD library implements a number of model-based diagnosis algorithms adapted to diagnosis of knowledge bases and logic programs.
...
...
@@ -16,4 +15,7 @@ In the standard implementation conflicts are computed using Junker's QuickXPlain
In general case the library can return many diagnoses as there may exists multiple ways to repair a KB. Therefore we developed an interactive debugging algorithm that allows a user to reduce the number of diagnoses by answering a number of queries, i.e. whether some set of formulas should be entailed by the target KB or not.
# Protégé Debugger Plug-in
Is a GUI for the debugger library implemented as a Protégé plug-in. Please see [Protégé Debugger Plug-in](onto-debugger) for more information.
\ No newline at end of file
Is a GUI for the debugger library implemented as a Protégé plug-in. Please see [Protégé Debugger Plug-in](onto-debugger) for more information.
# Protégé Debugger Plug-in for Developers
A [dokumentation](development-debugger) of how to set up the IDE for the development of Protégé Debugger Plug-In
