Leider ist dieser Inhalt nur in Englisch verfügbar. Aus praktischen Gründen wird der Inhalt unten in dieser Sprache angezeigt.
nev is a web-based visual tool for querying and inspection of Nemo’s reasoning traces.
Prototype: Web-based Development Environment
-
Our tool nev is free and open source. GitHub repository with source code and Dockerfile: https://github.com/imldresden/nev
The Docker application also builds Nemo and Nemo Web for reasoning and code editing, respectively. For more information, please visit https://github.com/knowsys/nemo and https://github.com/knowsys/nemo-web.
-
We also provide a live version of Nemo’s web-based development environment at: https://tools.iccl.inf.tu-dresden.de/nemo
Video: Tool Walkthrough
Related Publications
@inproceedings{MGWIKR:2026:nev-eval,
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 = {2026 IEEE Visualization and Visual Analytics (VIS)},
year = {2026},
month = {11},
location = {Boston, USA},
publisher = {IEEE}
}Weitere Materialien
@inproceedings{MGWIKR:2026:nev,
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 = {nev: A Visual Query Tracer and Builder for Declarative Logic Programming on Nemo},
booktitle = {EuroVis 2026 - Posters and Demos},
year = {2026},
month = {6},
isbn = {978-3-03868-305-6},
location = {Nottingham, United Kingdom},
doi = {10.2312/evpd.20261006},
publisher = {The Eurographics Association}
}@inproceedings{DGHIKMM2026-eswc,
author = {Raimund Dachselt and Lukas Gerlach and Philipp Hanisch and Alex Ivliev and Markus Kr\"{o}tzsch and Maximilian Marx and Juli\'{a}n M\'{e}ndez},
title = {Nemo at v0.10: Explainable Web Rule Reasoning for RDF, SPARQL, and More},
booktitle = {The Semantic Web: ESWC 2026 Satellite Events},
series = {LNCS},
year = {2026},
month = {5},
numpages = {4},
publisher = {Springer}
}Weitere Materialien
@inproceedings{DGHIKMM2026,
author = {Raimund Dachselt and Lukas Gerlach and Philipp Hanisch and Alex Ivliev and Markus Kr\"{o}tzsch and Maximilian Marx and Juli\'{a}n M\'{e}ndez},
title = {Declarative Debugging for Datalog with Aggregation},
booktitle = {Proceedings of the Workshops of the EDBT/ICDT 2026 Joint Conference},
series = {CEUR Workshop Proceedings},
year = {2026},
month = {3},
location = {Tampere, Finland},
numpages = {8},
url = {https://ceur-ws.org/Vol-4192/TGD-paper4.pdf},
publisher = {CEUR-WS.org}
}Weitere Materialien
@article{gerlach2024evonnemo,
author = {Lukas Gerlach and Alex Ivliev and Juli\'{a}n M\'{e}ndez and Simon Meusel and Raimund Dachselt and Markus Kr\"{o}tzsch},
title = {EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization},
booktitle = {The Fifth Workshop on Explainable Logic-Based Knowledge Representation},
year = {2024},
month = {11},
location = {Hanoi, Vietnam}
}Weitere Materialien
Related Student Theses
Interactive Visualization for Datalog Query Tracing
Tobias Wieland 28. April 2025 bis 15. September 2025
Betreuung: Julián Méndez, Raimund Dachselt
Acknowledgements
This work was supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy: EXC-2068, 390729961 – Cluster of Excellence „Physics of Life“ and EXC 2050/2, 390696704 – Cluster of Excellence „Centre for Tactile Internet“ (CeTI) of TU Dresden, by DFG grant 389792660 as part of TRR 248 – CPEC (see https://cpec.science) and by the Federal Ministry of Research, Technology and Space (BMFTR, SCADS22B) and Saxon State Ministry for Science, Culture and Tourism (SMWK) by funding the competence center for Big Data and AI „ScaDS.AI Dresden/Leipzig“.