Skip to main content

Beyond OWL 2 QL in OBDA: Rewritings and Approximations

Botoeva, Elena, Calvanese, Diego, Santarelli, Valerio, Savo, Domenico Fabio, Solimando, Alessandro, Xiao, Guohui (2016) Beyond OWL 2 QL in OBDA: Rewritings and Approximations. In: AAAI'16: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence. . pp. 921-928. Association for the Advancement of Artificial Intelligence (doi:10.5555/3015812.3015950) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:91270)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.
Official URL:


Ontology-based data access (OBDA) is a novel paradigm facilitating access to relational data, realized by linking data sources to an ontology by means of declarative mappings. DL-LiteR, which is the logic underpinning the W3C ontology language OWL 2 QL and the current language of choice for OBDA, has been designed with the goal of delegating query answering to the underlying database engine, and thus is restricted in expressive power. E.g., it does not allow one to express disjunctive information, and any form of recursion on the data. The aim of this paper is to overcome these limitations of DL-LiteR, and extend OBDA to more expressive ontology languages, while still leveraging the underlying relational technology for query answering. We achieve this by relying on two well-known mechanisms, namely conservative rewriting and approximation, but significantly extend their practical impact by bringing into the picture the mapping, an essential component of OBDA. Specifically, we develop techniques to rewrite OBDA specifications with an expressive ontology to "equivalent" ones with a DL-LiteR ontology, if possible, and to approximate them otherwise. We do so by exploiting the high expressive power of the mapping layer to capture part of the domain semantics of rich ontology languages. We have implemented our techniques in the prototype system ONTOPROX, making use of the state-of-the-art OBDA system ONTOP and the query answering system CLIPPER, and we have shown their feasibility and effectiveness with experiments on synthetic and real-world data.

Item Type: Conference or workshop item (Paper)
DOI/Identification number: 10.5555/3015812.3015950
Uncontrolled keywords: Theory of computation; Logic
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 75 Electronic computers. Computer science
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Amy Boaler
Date Deposited: 02 Nov 2021 14:45 UTC
Last Modified: 10 Oct 2023 13:00 UTC
Resource URI: (The current URI for this page, for reference purposes)

University of Kent Author Information

Botoeva, Elena.

Creator's ORCID:
CReDIT Contributor Roles:
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.