BIROn - Birkbeck Institutional Research Online

    Unique characterisability and learnability of Temporal Instance Queries

    Fortin, M. and Konev, B. and Ryzhikov, Vladislav and Savateev, Yury and Wolter, F. and Zakhariyashchev, Michael (2022) Unique characterisability and learnability of Temporal Instance Queries. In: 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, 31 Jul - 05 Aug 2022, Haifa, Israel.

    [img]
    Preview
    Text
    KR22-short.pdf - Published Version of Record

    Download (383kB) | Preview

    Abstract

    We aim to determine which temporal instance queries can be uniquely characterised by a (polynomial-size) set of positive and negative temporal data examples. We start by considering queries formulated in fragments of propositional linear temporal logic \LTL{} that correspond to conjunctive queries (CQs) or extensions thereof induced by the until operator. Not all of these queries admit polynomial characterisations but by restricting them further to path-shaped queries we identify natural classes that do. %imposing a further restriction to path-shaped queries we identify natural classes that do. We then investigate how far the obtained characterisations can be lifted to temporal knowledge graphs queried by 2D languages combining LTL with concepts in description logics EL or ELI (i.e., tree-shaped CQs). While temporal operators in the scope of description logic constructors can destroy polynomial characterisability, we obtain general transfer results for the case when description logic constructors are within the scope of temporal operators. Finally, we apply our characterisations to establish (polynomial) learnability of temporal instance queries using membership queries in the active learning framework.

    Metadata

    Item Type: Conference or Workshop Item (Paper)
    Additional Information: Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning — Main Track. Pages 163–173. ISSN: 2334-1033, ISBN: 9781956792010
    Keyword(s) / Subject(s): Learning spatial and temporal theories, Geometric, spatial, and temporal reasoning, Explanation finding, diagnosis, causal reasoning, abduction, Description logics
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Vladislav Ryzhikov
    Date Deposited: 21 Mar 2023 13:37
    Last Modified: 09 Aug 2023 12:53
    URI: https://eprints.bbk.ac.uk/id/eprint/48209

    Statistics

    Activity Overview
    6 month trend
    26Downloads
    6 month trend
    43Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item