BIROn - Birkbeck Institutional Research Online

DL-lite with attributes and datatypes

Artale, A. and Ryzhikov, V. and Kontchakov, Roman (2012) DL-lite with attributes and datatypes. In: de Raedt, L. and Bessiere, C. and Dubois, D. and Doherty, P. and Frasconi, P. and Heintz, F. and Lucas, P. (eds.) Frontiers in Artificial Intelligence and Applications. Amsterdam, The Netherlands: IOS Press, pp. 61-66. ISBN 9781614990970.

[img]
Preview
Text
5784.pdf - Published Version

Download (512Kb) | Preview
Official URL: http://dx.doi.org/10.3233/978-1-61499-098-7-61

Abstract

We extend the DL-Lite languages by means of attributes and datatypes. Attributes -- a notion borrowed from data models -- associate concrete values from datatypes to abstract objects and in this way complement roles, which describe relationships between abstract objects. The extended languages remain tractable (with a notable exception) even though they contain both existential and (a limited form of) universal quantification. We present complexity results for two most important reasoning problems in DL-Lite: combined complexity of knowledge base satisfiability and data complexity of positive existential query answering.

Item Type: Book Section
School or Research Centre: Birkbeck Schools and Research Centres > School of Business, Economics & Informatics > Computer Science and Information Systems
Depositing User: Dr Roman Kontchakov
Date Deposited: 06 Dec 2012 17:27
Last Modified: 13 May 2013 10:16
URI: http://eprints.bbk.ac.uk/id/eprint/5784

Archive Staff Only (login required)

Edit/View Item Edit/View Item