Intensional and Extensional Views in DL-Lite Ontologies
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. Main Track. Pages 1822-1828.
https://doi.org/10.24963/ijcai.2021/251
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
Abstract
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.
@inproceedings{ijcai2021p251,
title = {Intensional and Extensional Views in DL-Lite Ontologies},
author = {Console, Marco and De Giacomo, Giuseppe and Lenzerini, Maurizio and Namici, Manuel},
booktitle = {Proceedings of the Thirtieth International Joint Conference on
Artificial Intelligence, {IJCAI-21}},
publisher = {International Joint Conferences on Artificial Intelligence Organization},
editor = {Prof. Zhi-Hua Zhou},
pages = {1822--1828},
year = {2021},
month = {8},
note = {Main Track},
doi = {10.24963/ijcai.2021/251},
url = {https://doi.org/10.24963/ijcai.2021/251},
}
TY - CPAPER TI - Intensional and Extensional Views in DL-Lite Ontologies AU - Console, Marco AU - De Giacomo, Giuseppe AU - Lenzerini, Maurizio AU - Namici, Manuel T2 - Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21 PB - International Joint Conferences on Artificial Intelligence Organization PY - 2021 SP - 1822 EP - 1828 DO - 10.24963/ijcai.2021/251 UR - https://doi.org/10.24963/ijcai.2021/251 ER -Copied
Machine-readable versions of this paper, for tools and AI agents: