Mapping Data to Higher-Order Description Logic Knowledge Bases

Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati.
In Proceedings of the 2011 International Workshop on Description Logic (DL 2011), 2011.

 

Abstract:

In this paper we introduce the notion of mapping-based knowledge base (MKB), to formalize those ontology-based data access (OBDA) scenarios where both the extensional and the intensional level of the ontology are determined by suitable mapping assertions involving the data sources. We study reasoning over MKBs in the context of Hi(DL-LiteR), a higher-order version of the DL DL-LiteR. We show that answering queries posed to MKBs expressed in Hi(DL-LiteR) can be done efficiently through FOL rewriting: hence, query answering can be delegated to a DBMS, as in the case of traditional OBDA systems.

Bibtex entry:

@String{DL-11 = "Proceedings of the 2011 International Workshop on Description Logic (DL~2011)"}

@Inproceedings{DDLR11,
author = "Floriana Di Pinto and Giuseppe De Giacomo and Maurizio Lenzerini and Riccardo Rosati",
title = "Mapping Data to Higher-Order Description Logic Knowledge Bases",
booktitle = DL-11,
year = 2011,
}

Link to electronic version of published paper