Leider ist dieser Inhalt nur in Englisch verfügbar. Aus praktischen Gründen wird der Inhalt unten in dieser Sprache angezeigt.

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:

Source Code:

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:

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)

Workshop Publications (6)

  • Copy of The Concrete Evonne: Visualization Meets Concrete Domain Reasoning

    Copy of The Concrete Evonne: Visualization Meets Concrete Domain Reasoning

    Alrabbaa, C.; Baader, F.; Dachselt, R.; Kovtunova, A.; Méndez, J.

    Erscheint in Proceedings of the 38th International Workshop on Description Logics.DL'25, Opole, Poland.2025.

    @inproceedings{eaABDKM25,
       author = {Christian Alrabbaa and Franz Baader and Raimund Dachselt and Alisa Kovtunova and Juli\'{a}n M\'{e}ndez},
       title = {Copy of The Concrete Evonne: Visualization Meets Concrete Domain Reasoning},
       booktitle = {Proceedings of the 38th International Workshop on Description Logics.},
       year = {2025},
       month = {9},
       location = {Opole, Poland}
    }

    Weitere Materialien

  • EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization

    EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization

    Gerlach, L.; Ivliev, A.; Méndez, J.; Meusel, S.; Dachselt, R.; Krötzsch, M.

    In 5th Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024), co-located with the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024).XLoKR '24, Hanoi, Vietnam.2024.

    @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 = {5th Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024), co-located with the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)},
       year = {2024},
       month = {11},
       location = {Hanoi, Vietnam}
    }

    Weitere Materialien

  • On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne

    On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne

    Alrabbaa, C.; Borgwardt, S.; Friese, T.; Koopmann, P.; Méndez, J.; Popovič, A.

    In Proceedings of the 35th International Workshop on Description Logics.DL '22, Haifa, Israel.2022.

    @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}
    }

    Weitere Materialien

    Extended Version

  • Explaining Description Logic Entailments in Practice with Evee and Evonne

    Explaining Description Logic Entailments in Practice with Evee and Evonne

    Alrabbaa, C.; Borgwardt, S.; Friese, T.; Koopmann, P.; Méndez, J.; Popovič, A.

    In 3rd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2022), co-located with the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022).XLoKR '22, Haifa, Israel.2022.

    @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 = {3rd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2022), co-located with the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022)},
       year = {2022},
       month = {7},
       location = {Haifa, Israel}
    }

    Weitere Materialien

  • Towards Designing a Tool For Understanding Proofs in Ontologies through Combined Node-Link Diagrams

    Towards Designing a Tool For Understanding Proofs in Ontologies through Combined Node-Link Diagrams

    Flemisch, T.; Langner, R.; Alrabbaa, C.; Dachselt, R.

    In 5th International Workshop on Visualization and Interaction for Ontologies and Linked Data.VOILA '20, Online Conference.2020.

    @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}
    }

  • Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair

    Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair

    Alrabbaa, C.; Baader, F.; Dachselt, R.; Flemisch, T.; Koopmann, P.

    In Proceedings of the 33rd International Workshop on Description Logics.DL '20, Online Conference.2020.

    @inproceedings{Alraabba2020,
       author = {Christian Alrabbaa and Franz Baader and Raimund Dachselt and Tamara Flemisch and Patrick Koopmann},
       title = {Visualising 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}
    }

Related Student Theses:

  • Markus Wieland

    Concepts for interactive exploration and explanation in proofs and ontologies

    Markus Wieland 9. Mai 2022 bis 10. Oktober 2022

    Betreuung: Julián Méndez, Raimund Dachselt

  • Nicolás Rojas Bernal

    Investigating Data-Driven Projections of Linear Equation Systems [CMS-PROJ, SS 24]

    Nicolás Rojas Bernal 13. Mai 2024 bis 2. September 2024

    Betreuung: Julián Méndez, Rufat Rzayev