paper-with-me

홈 › Papers

Utilizing Description Logics for Global Explanations of Heterogeneous Graph Neural Networks

2024-05-21 · Dominik Köhler, Stefan Heindorf

Graph Neural Networks (GNNs) are effective for node classification in graph-structured data, but they lack explainability, especially at the global level. Current research mainly utilizes subgraphs of the input as local explanations or generates new graphs as global explanations. However, these graph-based methods are limited in their ability to explain classes with multiple sufficient explanations. To provide more expressive explanations, we propose utilizing class expressions (CEs) from the field of description logic (DL). Our approach explains heterogeneous graphs with different types of nodes using CEs in the EL description logic. To identify the best explanation among multiple candidate explanations, we employ and compare two different scoring functions: (1) For a given CE, we construct multiple graphs, have the GNN make a prediction for each graph, and aggregate the predicted scores. (2) We score the CE in terms of fidelity, i.e., we compare the predictions of the GNN to the predictions by the CE on a separate validation set. Instead of subgraph-based explanations, we offer CE-based explanations.

📄 PDF Abstract BibTeX arXiv:2405.12654

Code (1)

ds-jrg/xgnn-dl 공식 구현 pytorch

Tasks

Node Classification

Similar Papers 제목 키워드 기반

Rethinking Explanations: Formalizing Contrast in Description Logics

2026-05-02 · Yasir Mahmood, Arnab Sharma, Axel-Cyrille Ngonga Ngomo, Balram Tiwari arxiv

There has been a growing interest in explaining entailments over description logic (DL) knowledge bases. The existing explanation formalisms focus on justifications to explain true axioms, and abductive reasoning to expl…

Semiring Provenance for Lightweight Description Logics

2023-10-25 · Camille Bourgaux, Ana Ozaki, Rafael Peñaloza

We investigate semiring provenance--a successful framework originally defined in the relational database setting--for description logics. In this context, the ontology axioms are annotated with elements of a commutative …

Can You Tell the Difference? Contrastive Explanations for ABox Entailments

2025-11-14 · Patrick Koopmann, Yasir Mahmood, Axel-Cyrille Ngonga Ngomo, Balram Tiwari arxiv

We introduce the notion of contrastive ABox explanations to answer questions of the type "Why is a an instance of C, but b is not?". While there are various approaches for explaining positive entailments (why is C(a) ent…

A Cookbook for Temporal Conceptual Data Modelling with Description Logics

2012-09-25 · Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev

We design temporal description logics suitable for reasoning about temporal conceptual data models and investigate their computational complexity. Our formalisms are based on DL-Lite logics with three types of concept in…

Uniform and Modular Sequent Systems for Description Logics

2022-06-17 · Tim Lyon, Jonas Karge

We introduce a framework that allows for the construction of sequent systems for expressive description logics extending ALC. Our framework not only covers a wide array of common description logics, but also allows for s…