A Well-founded Graph-based Summarization Framework for Description Logics - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2021

A Well-founded Graph-based Summarization Framework for Description Logics


The quotient operation from graph theory offers an elegant graph summarization framework that has been widely investigated in the literature, notably for the exploration and efficient management of large graphs; it consists in fusing equivalent vertices according to an equivalence relation. In this paper, we study whether a similar operation may be used to summarize ABoxes. Towards this goal, we define and examine the quotient operation on an ABox: we establish that a quotient ABox is more specific than the ABox it summarizes, and characterize to which extent it is more specific. This preliminary investigation validates the interest of a quotient-based ABox summarization framework, and paves the way for further studies on it in the description logic setting, e.g., to devise equivalence relations suited to the optimization of typical data management and reasoning tasks on large ABoxes or to the visualization of large ABoxes, and on its utilization in related settings, e.g., Semantic Web.
Fichier principal
Vignette du fichier
main.pdf (347.72 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03347664 , version 1 (17-09-2021)


  • HAL Id : hal-03347664 , version 1


Cheikh Brahim El Vaigh, François Goasdoué. A Well-founded Graph-based Summarization Framework for Description Logics. International worshop on Description Logics, Sep 2021, Bratislava, Slovakia. ⟨hal-03347664⟩
49 View
99 Download


Gmail Mastodon Facebook X LinkedIn More