Skip to Main content Skip to Navigation
New interface
Conference papers

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

Cheikh Brahim El Vaigh 1 François Goasdoué 1 
1 SHAMAN - A Symbolic and Human-centric view of dAta MANagement
IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Abstract : 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.
Complete list of metadata

https://hal.inria.fr/hal-03347664
Contributor : François Goasdoué Connect in order to contact the contributor
Submitted on : Friday, September 17, 2021 - 1:48:10 PM
Last modification on : Saturday, August 6, 2022 - 3:33:12 AM
Long-term archiving on: : Saturday, December 18, 2021 - 6:46:15 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03347664, version 1

Citation

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⟩

Share

Metrics

Record views

33

Files downloads

86