找到3个数据集

标签: 推理算法

过滤结果

  • GeoQuestions1089_Based_YAGO2geo地理空间问答数据集_v1_1

    2026年1月13日 30 199 58

    数据集概述 本数据集是面向YAGO2geo知识图谱的众包地理空间问答数据集，包含1089组地理空间问题、对应答案及SPARQL/GeoSPARQL查询语句，可用于地理空间问答引擎的基准测试，提供v1.1版本，共2个JSON文件。 文件详解 文件名称：GeoQuestions1089.json 文件格式：JSON...
    packageimg

  • 基于规则的论证基础器ANGRY基准实例数据集

    2025年12月21日 30 53 31

    数据集概述 本数据集包含用于评估基于规则的论证基础器ANGRY的基准实例，按论文《使用Datalog为基于规则的论证建立基础》中描述的场景组织，涵盖不同场景的测试实例及实验结果文件。 文件详解 基准实例文件（evaluation.7z）：压缩文件，包含不同场景的基准实例，具体如下：...
    packageimg

  • 轻量级描述逻辑增量SAT公理定位实证评估数据集

    2025年12月20日 30 59 0

    数据集概述 该数据集包含论文《SATPin: Axiom Pinpointing for Lightweight Description Logics through Incremental SAT》中提出的程序的实证评估结果及对应输入数据，支持轻量级描述逻辑领域的公理定位方法研究。 文件详解 该数据集包含八个文件，具体说明如下： -...
    packageimg