Evaluating a Visual Query Tracer and Builder for Learning Declarative Logic Programming
Julián Méndez (TUD Dresden University of Technology), Lukas Gerlach (TU Dresden), Tobias Wieland (TUD Dresden University of Technology), Alex Ivliev (TU Dresden University of Technology), Markus Krötzsch (TU Dresden), Raimund Dachselt (TUD Dresden University of Technology)
Jump to Discussion
Presentation
- Session
- Is the Model Even Thinking?
- Time
- Thursday, Nov 12, 08:00 – 08:09 (US/Eastern) · session 08:00 – 09:30
- Room
- Hall America south
Links
Sign in to access the Paper PDF.
- Preprint PDF(opens in new tab)
- Supplemental Material(opens in new tab)
Abstract
Nemo Explain Visualizer (nev) is an interactive visual query tracer and builder for Nemo, a powerful Datalog reasoner with extended features. Our tools were developed with and for expert users. However, considering the lack of resources to learn Datalog and similar declarative logic programming languages, we conducted a qualitative user study to assess how our tools might help students. The study, interviewing 14 participants with varying levels of involvement with the content of a university course on knowledge graphs, revealed a very positive assessment of our tools, which strengthens the value of visual explanation tools beyond their intended use.
For Practitioners
Certainly logicians, in particular involved with Declarative Logic Programming. Users of Datalog and any of its extensions, might find nev and the other tools of our Nemo environment interesting and useful.