The notion of Abstraction in Ontology-based Data Management

We study a novel reasoning task in Ontology-based Data Management (OBDM), called Abstraction, which aims at associating formal semantic descriptions to data services. In OBDM a domain ontology is used to provide a semantic layer mapped to the data sources of an organization. The basic idea of the wo...

Full description

Saved in:
Bibliographic Details
Published inArtificial intelligence Vol. 323; p. 103976
Main Authors Cima, Gianluca, Poggi, Antonella, Lenzerini, Maurizio
Format Journal Article
LanguageEnglish
Published Elsevier B.V 01.10.2023
Subjects
Abstraction
Computational complexity
Ontology-based Data Management
Abstraction
Computational complexity
Ontology-based Data Management
Online AccessGet full text

Cover

More Information
Summary:We study a novel reasoning task in Ontology-based Data Management (OBDM), called Abstraction, which aims at associating formal semantic descriptions to data services. In OBDM a domain ontology is used to provide a semantic layer mapped to the data sources of an organization. The basic idea of the work presented in this paper is to explain the semantics of a data service in terms of a query over the ontology. We illustrate a formal framework for this problem, based on three different notions of abstraction, called sound, complete, and perfect, respectively. We present a thorough complexity analysis of two computational problems, namely verification (checking whether a query is an abstraction of a given data service), and computation (computing an abstraction of a given data service).
ISSN:0004-3702
1872-7921
DOI:10.1016/j.artint.2023.103976