Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging

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 through logical reasoning. However, since ontologies are often complex, understanding the outcome of the reasoning process is not always straightforward. Unlike already existing tools for exploring ontologies, our visualization tool Evonne is tailored towards explaining logical consequences. In addition, it supports the debugging of unwanted consequences and allows for an interactive comparison of the impact of removing statements from the ontology. Our visual approach combines (1) specialized views for the explanation of logical consequences and the structure of the ontology, (2) employing multiple layout modes for iteratively exploring explanations, (3) detailed explanations of specific reasoning steps, (4) cross‐view highlighting and colour coding of the visualization components, (5) features for dealing with visual complexity and (6) comparison and exploration of possible fixes to the ontology. We evaluated Evonne in a qualitative study with 16 experts in logics, and their positive feedback confirms the value of our concepts for explaining reasoning and debugging ontologies.

• Publication year

  2023

• Venue

  Computer graphics forum (Print)

• Publication date

  2023-03-12

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1111/cgf.14730
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

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

  2022cited by this paper
• Visual notations for viewing RDF constraints with UnSHACLed

  2021cited by this paper
• Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)

  2021cited by this paper
• Towards Designing a Tool For Understanding Proofs in Ontologies through Combined Node-Link Diagrams

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

  2020cited by this paper
• Defeasible reasoning in Description Logics: an overview on DLN

  2020cited by this paper
• Interactive Visual Data Analysis

  2020cited by this paper
• Deductive Module Extraction for Expressive Description Logics (Extended Abstract)

  2020cited by this paper
• Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)

  2020cited by this paper
• crowd: A Visual Tool for Involving Stakeholders into Ontology Engineering Tasks

  2020cited by this paper
• ChImp: Visualizing Ontology Changes and their Impact in Protégé

  2020cited by this paper
• Modular Structures and Atomic Decomposition in Ontologies

  2020cited by this paper
• Structure-Based Suggestive Exploration: A New Approach for Effective Exploration of Large Networks

  2019cited by this paper
• WebProtégé: A Cloud-Based Ontology Editor

  2019cited by this paper
• Graphicle: Exploring Units, Networks, and Context in a Blended Visualization Approach

  2019cited by this paper
• Ontology visualization methods and tools: a survey of the state of the art

  2018cited by this paper
• Faceted Answer-Set Navigation

  2018cited by this paper
• Reasoning in the Defeasible Description Logic εℒ - computing standard inferences under rational and relevant semantics

  2018cited by this paper
• SIVA: An Educational Tool for the Tableau Reasoning Algorithm

  2018cited by this paper
• Making Repairs in Description Logics More Gentle (Extended Abstract)

  2018cited by this paper
• WebVOWL Editor: Device-Independent Visual Ontology Modeling

  2018cited by this paper
• An Introduction to Description Logic by Franz Baader

  2017cited by this paper
• Inference Inspector: Improving the verification of ontology authoring actions

  2017cited by this paper
• Towards Reusable Explanation Services in Protege

  2017cited by this paper
• Advancing ELK: Not Only Performance Matters

  2015cited by this paper
• The role of ontologies in biological and biomedical research: a functional perspective

  2015cited by this paper
• The protégé project: a look back and a look forward

  2015cited by this paper
• An overview of ontologies and data resources in medical domains

  2014cited by this paper
• The Incredible ELK - From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies

  2014cited by this paper
• Literature review of SNOMED CT use.

  2014cited by this paper
• Konclude: System description

  2014cited by this paper
• Applying the User Experience Questionnaire (UEQ) in Different Evaluation Scenarios

  2014cited by this paper
• HermiT: An OWL 2 Reasoner

  2014cited by this paper
• A Study on the Atomic Decomposition of Ontologies

  2014cited by this paper
• Visualization Analysis and Design

  2014cited by this paper
• The modular structure of an ontology : atomic decomposition and its applications

  2013cited by this paper
• Indented Tree or Graph? A Usability Study of Ontology Visualization Techniques in the Context of Class Mapping Evaluation

  2013cited by this paper
• A survey of two-dimensional graph layout techniques for information visualisation

  2013cited by this paper
• Collaborative ontology engineering: a survey

  2013cited by this paper
• OWL 2 Web Ontology Language Primer (Second Edition)

  2012cited by this paper
• Beyond Mouse and Keyboard: Expanding Design Considerations for Information Visualization Interactions

  2012cited by this paper
• Justification based explanation in ontologies

  2012cited by this paper
• Towards an ontology modeling tool. A validation in software engineering scenarios

  2012cited by this paper
• DeMoSt : a Tool for Exploring the Decomposition and the Modular Structure of OWL Ontologies

  2011cited by this paper
• Fluid interaction for information visualization

  2011cited by this paper
• The OWL API: A Java API for OWL ontologies

  2011cited by this paper
• Root Justifications for Ontology Repair

  2011cited by this paper
• Answer set programming at a glance

  2011cited by this paper
• A review of overview+detail, zooming, and focus+context interfaces

  2009cited by this paper
• User-Friendly Ontology Editing and Visualization Tools: The OWLeasyViz Approach

  2009cited by this paper
• Extending Decidable Cases for Rules with Existential Variables

  2009cited by this paper
• Semantic Modularity and Module Extraction in Description Logics

  2008cited by this paper
• The Aberdeen University Ontology Reuse Stack

  2008cited by this paper
• BioPortal: A Web Portal to Biomedical Ontologies

  2008cited by this paper
• Taming the Infinite Chase: Query Answering under Expressive Relational Constraints

  2008cited by this paper
• State of the Art: Coordinated & Multiple Views in Exploratory Visualization

  2007cited by this paper
• Just the right amount: extracting modules from ontologies

  2007cited by this paper
• VisLink: Revealing Relationships Amongst Visualizations

  2007cited by this paper
• Repairing Unsatisfiable Concepts in OWL Ontologies

  2006cited by this paper
• Ontologies and the semantic web

  2006cited by this paper
• TreePlus: Interactive Exploration of Networks with Enhanced Tree Layouts

  2006cited by this paper
• Debugging OWL ontologies

  2005cited by this paper
• About the authors

  2004cited by this paper
• OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns

  2004cited by this paper
• Gene Ontology Consortium: The Gene Ontology (GO) database and informatics resource

  2004cited by this paper
• PaintingClass: interactive construction, visualization and exploration of decision trees

  2003cited by this paper
• Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies

  2003cited by this paper
• TreeWiz: interactive exploration of huge trees

  2002cited by this paper
• Jambalaya: Interactive visualization to enhance ontology authoring and knowledge acquisition in Protégé

  2001cited by this paper
• Resolution Theorem Proving

  2001cited by this paper
• What you Always Wanted to Know About Datalog (And Never Dared to Ask)

  1989cited by this paper
• A view of the origins and development of Prolog

  1988cited by this paper
• Brushing scatterplots

  1987cited by this paper

• SOLID-M: An ontology-aware quality framework for conceptual models discovered from event data

  2026cites this paper
• The Concrete Evonne: Visualization Meets Concrete Domain Reasoning

  2025cites this paper
• Explaining Reasoning Results for Description Logic Ontologies (Invited Paper)

  2025influential citation
• The Shape of EL Proofs: A Tale of Three Calculi

  2025cites this paper
• The Shape of ℰℒ Proofs: A Tale of Three Calculi (Extended Version)

  2025influential citation
• Interpolation in Knowledge Representation

  2025cites this paper
• TrustME: A Context-Aware Explainability Model to Promote User Trust in Guidance

  2025cites this paper
• Supporting Companion Planting with the CoPla Ontology

  2024cites this paper
• Explaining Reasoning Results for OWL Ontologies with Evee

  2024cites this paper
• Using ADFs for Inconsistency-Tolerant Query Answering with Existential Rules

  2024cites this paper
• A digital twin modeling method of production lines based on flexible manufacturing

  2024cites this paper
• ExpO: Towards Explaining Ontology-Driven Conceptual Models

  2024cites this paper
• Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version

  2024cites this paper
• Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report)

  2023cites this paper
• Why Not? Explaining Missing Entailments with Evee (Technical Report)

  2023cites this paper
• How Does Explainability Look in Hybrid User Interfaces?

  2023cites this paper
• Repairing EL⊥ Ontologies using Debugging, Weakening and Completing (Extended Abstract)

  2023cites this paper
• Causality-Based Visual Analysis of Questionnaire Responses

  2023cites this paper
• EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization

  year unknowncites this paper