AI 中文总结
研究旨在评估用于学习声明式逻辑编程的可视化查询跟踪器和构建器Nemo Explain Visualizer，通过对14名参与大学知识图谱课程的学生进行定性研究，发现该工具获高度评价，增强了可视化解释工具的价值。
AI 中文摘要
Nemo Explain Visualizer（nev）是用于Nemo的交互式可视化查询跟踪器和构建器，Nemo是具有扩展功能的强大Datalog推理器。我们的工具是为专家用户开发的。鉴于学习Datalog和类似声明式逻辑编程语言资源匮乏，我们进行了定性用户研究以评估其对学生的帮助。研究采访了14名参与大学知识图谱课程内容程度不同的参与者，结果显示对我们工具评价很高，这增强了可视化解释工具超出预期用途的价值。
英文摘要
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.
CommentsAuthor version of accepted short paper at IEEE VIS 2026
