BIROn - Birkbeck Institutional Research Online

    On the interaction of existential rules and equality constraints in ontology querying

    Calì, Andrea and Gottlob, G. and Orsi, G. and Pieris, A. (2012) On the interaction of existential rules and equality constraints in ontology querying. In: Erdem, E. and Lee, J. and Lierler, Y. and Pearce, D. (eds.) Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Lecture Notes in Computer Science 7265. Berlin, Germany: Springer, pp. 117-133. ISBN 9783642307423.

    Full text not available from this repository.

    Abstract

    Ontological query processing is an exciting research topic in database theory, knowledge representation, and logic programming. In many cases, ontological constraints are expressed over an extensional database by extending traditional Datalog rules to allow existential quantification and equality atoms in the head. The unrestricted use of these features causes undecidability of query answering and, therefore, their interaction must be controlled. This work provides a tutorial-like introduction to the problem of query answering under existential and equality constraints. We survey the most notable (semantic and syntactic) restrictions to such constraints ensuring decidability of query answering, and we discuss their practical application to conceptual modelling.

    Metadata

    Item Type: Book Section
    Additional Information: Essays on Logic-Based AI in Honour of Vladimir Lifschitz
    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 13:24
    Last Modified: 09 Aug 2023 12:32
    URI: https://eprints.bbk.ac.uk/id/eprint/6493

    Statistics

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

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item