Query Rewritings on Path Views
with Binding Patterns



Help
Each function has to be defined by a line of the following form:
     functionName: relation1, (*,) relation2, (*,), ..., relationk (,*)
The symbol * means that the second variable of the previous atom is existential.

The query is defined by a line of the following form:

     query: relation
 Examples
 Find Plan

For more information:

Full paper Julien Romero, Nicoleta Preda, Antoine Amarilli, Fabian M. Suchanek:
“Equivalent Rewritings on Path Views with Binding Patterns” (pdf)
Full paper at the Extended Semantic Web Conference  (ESWC) , 2020

@InProceedings{10.1007/978-3-030-49461-2_26,
    author="Romero, Julien
    and Preda, Nicoleta
    and Amarilli, Antoine
    and Suchanek, Fabian",
    editor="Harth, Andreas
    and Kirrane, Sabrina
    and Ngonga Ngomo, Axel-Cyrille
    and Paulheim, Heiko
    and Rula, Anisa
    and Gentile, Anna Lisa
    and Haase, Peter
    and Cochez, Michael",
    title="Equivalent Rewritings on Path Views with Binding Patterns",
    booktitle="The Semantic Web",
    year="2020",
    publisher="Springer International Publishing",
    address="Cham",
    pages="446--462",
    isbn="978-3-030-49461-2"
    }
Code The code is available on Github: https://github.com/Aunsiels/dangie
We use https://github.com/Aunsiels/query_rewriting and Pyformlang.