The KBD library implements a number of model-based diagnosis algorithms adapted to diagnosis of knowledge bases and logic programs.
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
...
@@ -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.
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
# 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.
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
# 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
