Intensional and Extensional Views in DL-Lite Ontologies

Intensional and Extensional Views in DL-Lite Ontologies

Marco Console, Giuseppe De Giacomo, Maurizio Lenzerini, Manuel Namici

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence
Main Track. Pages 1822-1828. https://doi.org/10.24963/ijcai.2021/251

The use of virtual collections of data is often essential in several data and knowledge management tasks. In the literature, the standard way to define virtual data collections is via views, i.e., virtual relations defined using queries. In data and knowledge bases, the notion of views is a staple of data access, data integration and exchange, query optimization, and data privacy. In this work, we study views in Ontology-Based Data Access (OBDA) systems. OBDA is a powerful paradigm for accessing data through an ontology, i.e., a conceptual specification of the domain of interest written using logical axioms. Intuitively, users of an OBDA system interact with the data only through the ontology's conceptual lens. We present a novel framework to express natural and sophisticated forms of views in OBDA systems and introduce fundamental reasoning tasks for these views. We study the computational complexity of these tasks and present classes of views for which these tasks are tractable or at least decidable.
Keywords:
Knowledge Representation and Reasoning: Description Logics and Ontologies
Knowledge Representation and Reasoning: Knowledge Representation Languages
Knowledge Representation and Reasoning: Reasoning about Knowledge and Belief