Evonne is web-based visualization tool for explaining reasoning. Within this project, we research and design visual explanations for logic and numerical reasoning. The main explanation component of Evonne is the interactive proof — a versatile explanation method that shows how an entailment can be derived from an ontology.
Online Demo & Examples:
- Demo of the tool: http://141.76.67.139:7007/
- User Studies Report: Report
- Benchmark resources: Concrete Domain explanations benchmark at NextCloud.
Source Code:
- Evonne lives in https://github.com/imldresden/evonne along with its installation instructions.
- Documentation: https://imldresden.github.io/evonne/
The latest update to Evonne focuses on combined logic and numerical reasoning. Entailments of this nature can be explained through combined proofs. However, considering the scalability requirements of the numerical reasoning, Evonne provides alternative visual explanations for numerical entailments. The numerical entailments supported in Evonne come from two Concrete Domains, dealing with linear equations and difference constraints, respectively.
Further Resources:
- Description Logics examples: DL examples at NextCloud.
- Ontology files: BioPortal snapshot and Modified Pizza Ontology.
Acknowledgements:
The active Evonne team greatly thanks Dr. Ricardo Langner, Dr. Ida Sri Rejeki Siahaan, Dr. Patrick Koopmann, Tamara Flemisch, and the students who have worked and contributed towards the current Evonne!
Related Publications (3)
@inproceedings{ABDKM25,
author = {Christian Alrabbaa and Franz Baader and Raimund Dachselt and Alisa Kovtunova and Juli\'{a}n M\'{e}ndez},
title = {The Concrete Evonne: Visualization Meets Concrete Domain Reasoning},
booktitle = {Frontiers of Combining Systems},
series = {Lecture Notes in Artificial Intelligence},
volume = {15979},
year = {2025},
month = {9},
location = {Reykjavík, Iceland},
doi = {10.1007/978-3-032-04167-8_1},
publisher = {Springer}
}List of additional material
@article{MAKLBD-CGF-2023,
author = {Juli\'{a}n M\'{e}ndez and Christian Alrabbaa and Patrick Koopmann and Ricardo Langner and Franz Baader and Raimund Dachselt},
title = {Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging},
journal = {Computer Graphics Forum},
volume = {42},
issue = {6},
year = {2023},
month = {3},
location = {Leipzig, Germany},
pages = {e14730},
doi = {10.1111/cgf.14730},
publisher = {John Wiley \& Sons, Ltd}
}List of additional material
@inproceedings{ABBDKM-IJCAR22,
author = {Christian Alrabbaa and Franz Baader and Stefan Borgwardt and Raimund Dachselt and Patrick Koopmann and Juli\'{a}n M\'{e}ndez},
title = {Evonne: Interactive Proof Visualization for Description Logics (System Description)},
booktitle = {Automated Reasoning},
series = {Lecture Notes in Computer Science},
year = {2022},
month = {8},
location = {Haifa, Israel},
doi = {10.1007/978-3-031-10769-6_16},
publisher = {Springer}
}List of additional material
Workshop Publications (8)
@article{ABDKMZ26ea,
author = {Christian Alrabbaa and Franz Baader and Raimund Dachselt and Pratistha Kansakar and Juli\'{a}n M\'{e}ndez and Afshin Zanganeh},
title = {Towards Visual Decision Support in Interactive Repair (Extended Abstract)},
booktitle = {Joint Workshop on Explainable Logic-Based Knowledge Representation (XLoKR) and Explanations with Constraints and Satisfiability (ExCoS)},
year = {2026},
month = {7},
location = {Lisbon, Portugal}
}List of additional material
@inproceedings{ABDKMZ26,
author = {Christian Alrabbaa and Franz Baader and Raimund Dachselt and Pratistha Kansakar and Juli\'{a}n M\'{e}ndez and Afshin Zanganeh},
title = {Towards Visual Decision Support in Interactive Repair},
booktitle = {Proceedings of the 39th International Workshop on Description Logics},
year = {2026},
month = {7},
location = {Lisbon, Portugal}
}List of additional material
@inproceedings{eaABDKM25,
author = {Christian Alrabbaa and Franz Baader and Raimund Dachselt and Alisa Kovtunova and Juli\'{a}n M\'{e}ndez},
title = {The Concrete Evonne: Visualization Meets Concrete Domain Reasoning (Extended Abstract)},
booktitle = {Proceedings of the 38th International Workshop on Description Logics},
year = {2025},
month = {9},
location = {Opole, Poland},
url = {https://ceur-ws.org/Vol-4091/paper18.pdf}
}List of additional material
@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}
}List of additional material
@inproceedings{ABFKMP-DL-2022,
author = {Christian Alrabbaa and Stefan Borgwardt and Tom Friese and Patrick Koopmann and Juli\'{a}n M\'{e}ndez and Alexej Popovič},
title = {On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne},
booktitle = {Proceedings of the 35th International Workshop on Description Logics},
year = {2022},
month = {8},
location = {Haifa, Israel},
url = {https://ceur-ws.org/Vol-3263/paper-2.pdf}
}List of additional material
@inproceedings{ABFKMP-XLoKR-22,
author = {Christian Alrabbaa and Stefan Borgwardt and Tom Friese and Patrick Koopmann and Juli\'{a}n M\'{e}ndez and Alexej Popovič},
title = {Explaining Description Logic Entailments in Practice with Evee and Evonne},
booktitle = {The Third Workshop on Explainable Logic-Based Knowledge Representation},
year = {2022},
month = {7},
location = {Haifa, Israel}
}List of additional material
@inproceedings{Flemisch2020,
author = {Tamara Flemisch and Ricardo Langner and Christian Alrabbaa and Raimund Dachselt},
title = {Towards Designing a Tool For Understanding Proofs in Ontologies through Combined Node-Link Diagrams},
booktitle = {5th International Workshop on Visualization and Interaction for Ontologies and Linked Data},
year = {2020},
month = {11},
location = {Online Conference},
numpages = {13}
}List of additional material
@inproceedings{Alraabba2020,
author = {Christian Alrabbaa and Franz Baader and Raimund Dachselt and Tamara Flemisch and Patrick Koopmann},
title = {Visualizing Proofs and the Modular Structure of Ontologies to Support Ontology Repair},
booktitle = {Proceedings of the 33rd International Workshop on Description Logics},
year = {2020},
month = {09},
location = {Online Conference},
numpages = {15}
}List of additional material
Related Student Theses:
Concepts for interactive exploration and explanation in proofs and ontologies
Markus Wieland May 9th, 2022 until October 10th, 2022
Supervision: Julián Méndez, Raimund Dachselt
Investigating Data-Driven Projections of Linear Equation Systems [CMS-PROJ, SS 24]
Nicolás Rojas Bernal May 13th, 2024 until September 2nd, 2024
Supervision: Julián Méndez, Rufat Rzayev