Zenodo Dataset
收藏arXiv2025-09-30 收录
数据链接：
官方服务：
资源简介：
该数据集包含了与论文中扩展实验相关的材料，包括所考虑的工具、本体论和查询。此外，数据集还包含了各种逻辑编程工具的实现和评估结果，以及混合推理系统的评价任务。
This dataset contains materials related to the extended experiments in the paper, including the considered tools, ontologies, and queries. Furthermore, it includes implementations and evaluation results of various logic programming tools, as well as evaluation tasks for hybrid reasoning systems.
提供机构：
Zenodo搜集汇总
数据集介绍
背景与挑战
背景概述
该数据集包含了用于评估多种Datalog工具（包括Prolog、纯Datalog和答案集编程）在OWL 2 QL元推理中表现的实验文件。实验表明，基于Datalog的方法对于处理大规模本体的元查询具有实用性。数据集以压缩包（436.1 MB）形式提供，采用Creative Commons Attribution 4.0国际许可协议。
以上内容由遇见数据集搜集并总结生成
