Skip to content

Changes

Page history
Konstantin.Schekotihin created page: onto debugger authored by Wolfgang Schmid's avatar Wolfgang Schmid
Show whitespace changes
Inline Side-by-side
home.md
View page @ a3e266d6
# 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.
...@@ -17,3 +16,6 @@ In general case the library can return many diagnoses as there may exists multip ...@@ -17,3 +16,6 @@ In general case the library can return many diagnoses as there may exists multip
# 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.
# 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