|
|
|
|
|
# Knowledge-base debugger (KBD)
|
|
# Knowledge-base debugger (KBD)
|
|
|
|
|
|
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 |
|
|
|
\ No newline at end of file |