scispace - formally typeset
D

Domenico Lembo

Researcher at Sapienza University of Rome

Publications -  139
Citations -  7050

Domenico Lembo is an academic researcher from Sapienza University of Rome. The author has contributed to research in topics: Ontology (information science) & Description logic. The author has an hindex of 34, co-authored 133 publications receiving 6643 citations.

Papers
More filters
Journal ArticleDOI

Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family

TL;DR: It is shown that, for the DLs of the DL-Lite family, the usual DL reasoning tasks are polynomial in the size of the TBox, and query answering is LogSpace in thesize of the ABox, which is the first result ofPolynomial-time data complexity for query answering over DL knowledge bases.
Book ChapterDOI

Linking data to ontologies

TL;DR: This paper presents a new ontology language, based on Description Logics, that is particularly suited to reason with large amounts of instances and a novel mapping language that is able to deal with the so-called impedance mismatch problem.
Proceedings Article

Data complexity of query answering in description logics

TL;DR: In this article, the authors study the data complexity of answering conjunctive queries over Description Logic knowledge bases and show that the Description Logics of the DL-Lite family are the maximal logics that allow query answering over very large ABoxes.
Proceedings ArticleDOI

On the decidability and complexity of query answering over inconsistent and incomplete databases

TL;DR: This paper identifies the maximal class of inclusion dependencies under which query answering is decidable in the presence of key dependencies and establishes decidability and complexity results for query answering under different assumptions on data.
Journal ArticleDOI

The MASTRO system for ontology-based data access

TL;DR: MASTRO is a Java tool for ontology-based data access (OBDA) developed at Sapienza Universita di Roma and at the Free University of Bozen-Bolzano that provides optimized algorithms for answering expressive queries, as well as features for intensional reasoning and consistency checking.