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.
|
Text
5784.pdf - Published Version Download (512Kb) | Preview |
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 Informatics |
| 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 |
