BIROn - Birkbeck Institutional Research Online

    A logical toolbox for ontological reasoning

    Calì, Andrea and Gottlob, G. and Lukasiewicz, T. and Pieris, A. (2011) A logical toolbox for ontological reasoning. ACM SIGMOD Record 40 (3), pp. 5-14. ISSN 0163-5808.

    Full text not available from this repository.


    In ontology-enhanced database systems, an ontology on top of the extensional database expresses intensional knowledge that enhances the database schema. Queries posed to such systems are to be evaluated considering all the knowledge inferred from the data by means of the ontology; in other words, queries are to be evaluated against the logical theory constituted by the data and the ontology. In this context, tractability of query answering is a central issue, given that the data size is normally very large. This paper surveys results on a recently introduced family of Datalog-based languages, called Datalog+/-, which is a useful logical toolbox for ontology modeling and for ontology-based query answering. We present different Datalog+/- languages and related complexity results, showing that Datalog+/- can be successfully adopted due to its clarity, expressiveness and its good computational properties.


    Item Type: Article
    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: 26 Apr 2013 16:48
    Last Modified: 09 Aug 2023 12:32


    Activity Overview
    6 month trend
    6 month trend

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item