BIROn - Birkbeck Institutional Research Online

    Datalog+/-: a family of logical knowledge representation and query languages for new applications

    Calì, Andrea and Gottlob, G. and Lukasiewicz, T. and Marnette, B. and Pieris, A. (2010) Datalog+/-: a family of logical knowledge representation and query languages for new applications. In: UNSPECIFIED (ed.) 25th Annual IEEE Symposium on Logic in Computer Science. Washington, USA: IEEE Computer Society, pp. 228-242. ISBN 9780769541143.

    Full text not available from this repository.

    Abstract

    This paper summarizes results on a recently introduced family of Datalog-based languages, called Datalog+/-, which is a new framework for tractable ontology querying, and for a variety of other applications. Datalog+/- extends plain Datalog by features such as existentially quantified rule heads and, at the same time, restricts the rule syntax so as to achieve decidability and tractability. In particular, we discuss three paradigms ensuring decidability: chase termination, guardedness, and stickiness.

    Metadata

    Item Type: Book Section
    Keyword(s) / Subject(s): knowledge representation and reasoning, query answering, ontologies
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Research Centres and Institutes: Birkbeck Knowledge Lab
    Depositing User: Sarah Hall
    Date Deposited: 10 May 2013 09:20
    Last Modified: 09 Aug 2023 12:33
    URI: https://eprints.bbk.ac.uk/id/eprint/6685

    Statistics

    Activity Overview
    6 month trend
    0Downloads
    6 month trend
    334Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item