Zenodo Dataset

该数据集包含了与论文中扩展实验相关的材料，包括所考虑的工具、本体论和查询。此外，数据集还包含了各种逻辑编程工具的实现和评估结果，以及混合推理系统的评价任务。