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

C Alrabbaa, F Baader, S Borgwardt, R Dachselt… - … Joint Conference on …, 2022 - Springer
Explanations for description logic (DL) entailments provide important support for the
maintenance of large ontologies. The “justifications” usually employed for this purpose in …

Visual analysis of hyperproperties for understanding model checking results

T Horak, N Coenen, N Metzger, C Hahn… - … on Visualization and …, 2021 - ieeexplore.ieee.org
Model checkers provide algorithms for proving that a mathematical model of a system
satisfies a given specification. In case of a violation, a counterexample that shows the …

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

C Alrabbaa, S Borgwardt, T Friese, P Koopmann… - Description Logics, 2022 - imld.de
When working with description logic ontologies, understanding entailments derived by a
description logic reasoner is not always straightforward. So far, the standard ontology editor …

In the head of the beholder: Comparing different proof representations

C Alrabbaa, S Borgwardt, A Hirsch… - … Joint Conference on …, 2022 - Springer
Ontologies provide the logical underpinning for the Semantic Web, but their consequences
can sometimes be surprising and must be explained to users. A promising kind of …

[HTML][HTML] VisCI: A visualization framework for anomaly detection and interactive optimization of composite index

Z Zhou, Y Li, Y Ni, W Xu, G Hu, Y Lai, P Chen, W Su - Visual Informatics, 2024 - Elsevier
Composite index is always derived with the weighted aggregation of hierarchical
components, which is widely utilized to distill intricate and multidimensional matters in …

[PDF][PDF] In the Hand of the Beholder: Comparing Interactive Proof Visualizations.

C Alrabbaa, S Borgwardt, N Knieriemen… - Description …, 2021 - ceur-ws.org
Although logical inferences are interpretable, actually explaining them to a user is still a
challenging task. While sometimes it may be enough to point out the axioms from the …

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

C Alrabbaa, S Borgwardt, T Friese… - arXiv preprint arXiv …, 2022 - arxiv.org
When working with description logic ontologies, understanding entailments derived by a
description logic reasoner is not always straightforward. So far, the standard ontology editor …

Evonne: Interactive Proof Visualization for Description Logics (System Description)--Extended Version

C Alrabbaa, F Baader, S Borgwardt, R Dachselt… - arXiv preprint arXiv …, 2022 - arxiv.org
Explanations for description logic (DL) entailments provide important support for the
maintenance of large ontologies. The" justifications" usually employed for this purpose in …

[PDF][PDF] Explaining Description Logic Entailments in Practice with Evee and Evonne

C Alrabbaa, S Borgwardt, T Friese, P Koopmann… - lat.inf.tu-dresden.de
Explaining Description Logic Entailments in Practice with Evee and Evonne Page 1 Christian
Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovič …