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

Simple item page
dc.contributor.authorMéndez, J.en_US
dc.contributor.authorAlrabbaa, C.en_US
dc.contributor.authorKoopmann, P.en_US
dc.contributor.authorLangner, R.en_US
dc.contributor.authorBaader, F.en_US
dc.contributor.authorDachselt, R.en_US
dc.contributor.editorHauser, Helwig and Alliez, Pierreen_US
dc.date.accessioned2023-10-06T11:58:54Z
dc.date.available2023-10-06T11:58:54Z
dc.date.issued2023
dc.description.abstractOWL 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 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 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.en_US
dc.description.number6
dc.description.sectionheadersORIGINAL ARTICLES
dc.description.seriesinformationComputer Graphics Forum
dc.description.volume42
dc.identifier.doi10.1111/cgf.14730
dc.identifier.issn1467-8659
dc.identifier.urihttps://doi.org/10.1111/cgf.14730
dc.identifier.urihttps://diglib.eg.org:443/handle/10.1111/cgf14730
dc.publisher© 2023 Eurographics ‐ The European Association for Computer Graphics and John Wiley & Sons Ltd.en_US
dc.rightsAttribution 4.0 International License
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/
dc.subjectinteraction
dc.subjectvisualization
dc.titleEvonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debuggingen_US
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
v42i6_31_14730.pdf
Size:
1.59 MB
Format:
Adobe Portable Document Format
Download
Collections
42-Issue 6