RSPQL Containment Checker

The RSPQL Containment Checker is a tool which determines if there is a Query Containment 1 relation present among the queries. The tool builds up on the SPeCS Containment Solver 2 for SPARQL 3 Queries and extends it to support RSP-QL 4 queries as well.

The tool is implemented with Typescript and is available on Github5. Please refer to the README file for instructions on how to use the tool. Feel free to open an issue if you encounter any problems or have any questions or send me an email.

Footnotes

  1. https://www.sciencedirect.com/topics/computer-science/query-containment ↩

  2. https://www.sciencedirect.com/science/article/pii/S1570826822000543 ↩

  3. https://en.wikipedia.org/wiki/SPARQL ↩

  4. https://re.public.polimi.it/retrieve/e0c31c0e-f3df-4599-e053-1705fe0aef77/RSP-QL-Semantics-A-Unifying%20Query%20Model%20to%20Explain%20Heterogeneity_11311-964309_Della%20Valle.pdf ↩

  5. https://github.com/SolidLabResearch/rspql-containment-checker ↩