The DL-Lite Family and Relations

Abstract

The recently introduced series of description logics under the common moniker ‘DLLite’ has attracted attention of the description logic and semantic web communities due to the low computational complexity of inference, on the one hand, and the ability to represent conceptual modeling formalisms, on the other. The main aim of this article is to carry out a thorough and systematic investigation of inference in extensions of the original DL-Lite logics along five axes: by (i) adding the Boolean connectives and (ii) number restrictions to concept constructs, (iii) allowing role hierarchies, (iv) allowing role disjointness, symmetry, asymmetry, reflexivity, irreflexivity and transitivity constraints, and (v) adopting or dropping the unique name assumption. We analyze the combined complexity of satisfiability for the resulting logics, as well as the data complexity of instance checking and answering positive existential queries. Our approach is based on embedding DL-Lite logics in suitable fragments of the one-variable first-order logic, which provides useful insights into their properties and, in particular, computational behavior.

DOI: 10.1613/jair.2820

Extracted Key Phrases

8 Figures and Tables

05020082009201020112012201320142015201620172018
Citations per Year

501 Citations

Semantic Scholar estimates that this publication has 501 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Artale2009TheDF, title={The DL-Lite Family and Relations}, author={Alessandro Artale and Diego Calvanese and Roman Kontchakov and Michael Zakharyaschev}, journal={J. Artif. Intell. Res.}, year={2009}, volume={36}, pages={1-69} }