Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Infinity in reasoning about data and knowledge

2018/30/E/ST6/00042

Keywords:

database theory knowledge representation logic FPGA circuit complexity static analysis query containment ontology-mediated query answering

Descriptors:

  • ST6_4: Formal methods, foundations of computer science, including theoretical computer science, quantum algorithms
  • ST6_7: Artificial intelligence, intelligent systems, multi-agent systems
  • ST6_10: Web and information systems, database systems, internet technologies, including information retrieval and digital libraries

Panel:

ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution :

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr hab. Filip Murlak 

Number of co-investigators in the project: 5

Call: SONATA BIS 8 - announced on 2018-06-15

Amount awarded: 1 967 100 PLN

Project start date (Y-m-d): 2019-04-12

Project end date (Y-m-d): 2025-04-11

Project duration:: 60 months (the same as in the proposal)

Project status: Pending project

Project description

Download the project description in a pdf file

Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.

Information in the final report

  • Publication in academic press/journals (3)
  • Articles in post-conference publications (14)
  1. All‐Instances Restricted Chase Termination for Linear TGDs
    Authors:
    Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris
    Academic press:
    KI - Künstliche Intelligenz (rok: 2020, tom: 34, strony: 465–473), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s13218-020-00690-7 - link to the publication
  2. Answering regular path queries mediated by unrestricted SQ ontologies
    Authors:
    Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
    Academic press:
    Artificial Intelligence (rok: 2023, tom: 314, strony: 103808), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.artint.2022.103808 - link to the publication
  3. Threshold Queries in Theory and in the Wild
    Authors:
    Angela Bonifati, Stefania Dumbrava, George Fletcher, Jan Hidders, Matthias Hofer, Wim Martens, Filip Murlak, Joshua Shinavier, Slawek Staworko, Dominik Tomaszuk
    Academic press:
    Proceedings of the VLDB Endowment (rok: 2022, tom: 15, strony: 1105-1118), Wydawca: VLDB Endowment
    Status:
    Published
    DOI:
    10.14778/3510397.3510407 - link to the publication
  1. On Finite Entailment of Non-Local Queries in Description Logics
    Authors:
    Tomasz Gogacz, Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak
    Conference:
    17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) (rok: 2020, ), Wydawca: IJCAI Organization
    Data:
    konferencja September 12-18, 2020
    Status:
    Published
  2. Static Analysis of Graph Database Transformations
    Authors:
    Iovka Boneva, Benoît Groz, Jan Hidders, Filip Murlak, Slawek Staworko
    Conference:
    42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS) (rok: 2023, ), Wydawca: ACM
    Data:
    konferencja 18-23 czerwca 2023
    Status:
    Published
  3. GPC: A Pattern Calculus for Property Graphs
    Authors:
    Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc
    Conference:
    42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS) (rok: 2023, ), Wydawca: ACM
    Data:
    konferencja 18-23 czerwca 2023
    Status:
    Published
    DOI:
    link to the publication
  4. PG-Keys: Keys for Property Graphs
    Authors:
    Renzo Angles, Angela Bonifati, Stefania Dumbrava, George Fletcher, Keith W. Hare, Jan Hidders, Victor E. Lee, Bei Li, Leonid Libkin, Wim Martens, Filip Murlak, Josh Perryman, Ognjen Savković, Michael Schmidt, Juan Sequeda, Sławek Staworko, and Dominik Tomaszuk
    Conference:
    2021 International Conference on Management of Data (SIGMOD '21) (rok: 2021, ), Wydawca: ACM
    Data:
    konferencja June 20–25, 2021
    Status:
    Published
  5. Register Automata with Extrema Constraints, and an Application to Two-Variable Logic
    Authors:
    Szymon Toruńczyk, Thomas Zeume
    Conference:
    LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (rok: 2020, ), Wydawca: ACM
    Data:
    konferencja June 8–11, 2020
    Status:
    Published
  6. Stackless Processing of Streamed Trees
    Authors:
    Corentin Barloy, Filip Murlak, and Charles Paperman
    Conference:
    40th ACM SIGMOD-SIGACTSIGAI Symposium on Principles of Database Systems (PODS '21) (rok: 2021, ), Wydawca: ACM
    Data:
    konferencja June 20– 25, 2021
    Status:
    Published
  7. Supporting Descendants in SIMD-Accelerated JSONPath
    Authors:
    Mateusz Gienieczko, Filip Murlak, Charles Paperman
    Conference:
    28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) (rok: 2023, ), Wydawca: ACM
    Data:
    konferencja 25-29 marca 2023
    Status:
    Published
  8. Finite Entailment of UCRPQs over ALC Ontologies
    Authors:
    Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak
    Conference:
    19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022) (rok: 2022, ), Wydawca: IJCAI Organization
    Data:
    konferencja July 31–August 5, 2022
    Status:
    Published
    DOI:
    link to the publication
  9. PG-Schema: Schemas for Property Graphs
    Authors:
    Renzo Angles, Angela Bonifati, Stefania Dumbrava, George Fletcher, Alastair Green, Jan Hidders, Bei Li, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Stefan Plantikow, Ognjen Savkovic, Michael Schmidt, Juan Sequeda, Slawek Staworko, Dominik Tomaszuk, Hannes Voigt, Domagoj Vrgoc, Mingxi Wu, Dusan Zivkovic
    Conference:
    SIGMOD Conference (rok: 2023, ), Wydawca: ACM
    Data:
    konferencja 18-23 czerwca 2023
    Status:
    Published
  10. Data Complexity of Finite Query Entailment in Description Logics with Transitive Roles
    Authors:
    Jakub Kuklis
    Conference:
    33rd International Workshop on Description Logics (DL 2020) (rok: 2020, ), Wydawca: CEUR-WS.org
    Data:
    konferencja September 12th to 14th, 2020
    Status:
    Published
  11. Ontology Focusing: Knowledge-Enriched Databases on Demand
    Authors:
    Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Filip Murlak, Magdalena Ortiz, Mantas Simkus
    Conference:
    24th European Conference on Artificial Intelligence (ECAI 2020) (rok: 2020, ), Wydawca: IOS Press
    Data:
    konferencja August 29 - September 8, 2020
    Status:
    Published
  12. A Researcher's Digest of GQL
    Authors:
    Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc
    Conference:
    26th International Conference on Database Theory (ICDT) (rok: 2023, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
    Data:
    konferencja 28-31 marca 2023,
    Status:
    Published
    DOI:
    link to the publication
  13. All-Instances Restricted Chase Termination
    Authors:
    Tomasz Gogacz, Jerzy Marcinkowski, and Andreas Pieris
    Conference:
    39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS'20) (rok: 2020, ), Wydawca: ACM
    Data:
    konferencja June 14–19, 2020
    Status:
    Published
  14. Graph Pattern Matching in GQL and SQL/PGQ
    Authors:
    Alin Deutsch, Nadime Francis, Alastair Green, Keith Hare, Bei Li, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Wim Martens, Jan Michels, Filip Murlak, Stefan Plantikow, Petra Selmer, Oskar van Rest, Hannes Voigt, Domagoj Vrgoc, Mingxi Wu, Fred Zemke
    Conference:
    2022 International Conference on Management of Data (SIGMOD '22) (rok: 2022, ), Wydawca: ACM
    Data:
    konferencja June 12 - 17, 2022
    Status:
    Published

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy