Home » Publication » 18400

Dettaglio pubblicazione

2019, Proceedings of the twenty-eighth international joint conference on artificial intelligence, Pages -

Semantic characterization of data services through ontologies (04b Atto di convegno in volume)

Cima Gianluca, Lenzerini Maurizio, Poggi Antonella

We study the problem of associating formal semantic descriptions to data services. We base our proposal on the Ontology-Based Data Access paradigm, where a domain ontology is used to provide a semantic layer mapped to the data sources of an organization. The basic idea 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 the notion of source-to- ontology (s-to-o) rewriting, which comes in three variants, called sound, complete and perfect, respectively. We present a thorough complexity analysis of two computational problems, namely verification (checking whether a query is an s-to-o rewriting of a given data service), and computation (computing an s-to-o rewriting of a data service).
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma