Walk-through video:


Online Demo:


Installation Instructions:

  1. Install Docker (https://docs.docker.com/get-docker/).
  2. Make sure that the Docker app is running! (in Terminal “open –background -a Docker”).
  3. Unzip tool.zip, and go to “evonne/” directory.
  4. Run “docker build . -t [your username]/evonne“.
  5. Run “docker run -dp 7007:3000 [your username]/evonne:latest“.
  6. In your browser, open “http://localhost:7007“.

Project description:

OWL is a powerful language to formalize terminologies in an ontology. Its main strength lies in its foundation on description logics, allowing systems to automatically deduce implicit information as logical consequences of an ontology through logical reasoning.
However, since ontologies are often complex, understanding the results of this reasoning process is not always straight-forward.

Our visualization tool Evonne is tailored towards explaining logical consequences.
In addition, it supports the debugging of unwanted consequences and allows interactive comparison of the impact of removing knowledge from the ontology.

Our visual approach combines:

  • Specialized views for the explanation of logical consequences and the structure of the ontology.
  • Employing multiple layout modes for iteratively exploring explanations.
  • Detailed explanations of specific reasoning steps.
  • Cross-view highlighting and color coding of the visualization components.
  • Features for dealing with visual complexity.
  • Comparison and exploration of possible fixes to the ontology.

Related Publications (1)

  • Evonne: Interactive Proof Visualization for Description Logics (System Description)

    Evonne: Interactive Proof Visualization for Description Logics (System Description)

    Alrabbaa, C.; Baader, F.; Borgwardt, S.; Dachselt, R.; Koopmann, P.; Méndez, J.

    In Automated Reasoning - 11th International Joint Conference, IJCAR 2022.IJCAR 2022, Haifa, Israel.Springer,2022.10.1007/978-3-031-10769-6_16

    @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 - 11th International Joint Conference, IJCAR 2022},
       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 (4)

  • 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.

    To appear 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}
    }

    List of additional material

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

    List of additional material

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

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

    Visualizing 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 = {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}
    }

Related Student Theses:

  • Markus Wieland

    Concepts for interactive exploration and explanation proofs and ontologies

    Markus Wieland May 9th, 2022 until October 10th, 2022

    Supervision: Julián Méndez