Evaluating a Visual Query Tracer and Builder for Learning Declarative Logic Programming

Julián MéndezJulián Méndez, Lukas GerlachLukas Gerlach, Tobias WielandTobias Wieland, Alex IvlievAlex Ivliev, Markus KrötzschMarkus Krötzsch, Raimund DachseltRaimund Dachselt

Download

Julián Méndez, Lukas Gerlach, Tobias Wieland, Alex Ivliev, Markus Krötzsch, Raimund Dachselt
Evaluating a Visual Query Tracer and Builder for Learning Declarative Logic Programming
VIS 2026, to appear

Details
Bibtex

KurzfassungAbstract
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.
Projekt:Project: CPEC
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

@inproceedings{MGWIKD2026,
  author    = {Juli{\'{a}}n M{\'{e}}ndez and Lukas Gerlach and Tobias Wieland
               and Alex Ivliev and Markus Kr{\"{o}}tzsch and Raimund Dachselt},
  title     = {Evaluating a Visual Query Tracer and Builder for Learning
               Declarative Logic Programming},
  booktitle = {VIS 2026},
  year      = {2026}
}