Existential Rule Sets with Equality
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/dcarralma/existential-rule-sets-with-equality
下载链接
链接失效反馈官方服务：
资源简介：
该数据集是一组用于验证与追逐算法在处理等式时的效率相关的存在性规则集合。此外，数据集还包含了用于实验'重命名'追逐变体的各种规则集合，以实证验证追逐终止效率的任务。
This dataset consists of a set of existential rules for verifying the efficiency-related properties of the chase algorithm when processing equalities. In addition, the dataset also includes various rule sets for conducting experiments on renamed chase variants, with the goal of empirically validating the termination efficiency of the chase algorithm.
提供机构：
github.com/dcarralma/existential-rule-sets-with-equality
