BIROn - Birkbeck Institutional Research Online

    Ontological reasoning with F-Logic Lite and its extensions

    Calì, Andrea and Gottlob, G. and Kifer, M. and Lukasiewicz, T. and Pieris, A. (2010) Ontological reasoning with F-Logic Lite and its extensions. In: UNSPECIFIED (ed.) Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence. AAAI 10. Palo Alto, California, USA: AAAI Publications, pp. 1660-1665. ISBN 9781577354635.

    Full text not available from this repository.


    Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In the database area, checking query containment is an important query optimization and schema integration technique. In knowledge representation it has been used for object classification, schema integration, service discovery, and more. In the presence of a knowledge base, the problem of query containment is strictly related to that of query answering; indeed, the two are reducible to each other; we focus on the latter, and our results immediately extend to the former.


    Item Type: Book Section
    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: 09 May 2013 10:17
    Last Modified: 09 Aug 2023 12:33


    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