BIROn - Birkbeck Institutional Research Online

    DL-lite with attributes and datatypes

    Artale, A. and Ryzhikov, Vladislav 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 of Record

    Download (524kB) | 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.

    Metadata

    Item Type: Book Section
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Roman Kontchakov
    Date Deposited: 06 Dec 2012 17:27
    Last Modified: 09 Aug 2023 12:32
    URI: https://eprints.bbk.ac.uk/id/eprint/5784

    Statistics

    Activity Overview
    6 month trend
    246Downloads
    6 month trend
    311Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item