-
维基数据印度政治家属性RDF数据转储
2026年2月15日 30 210 115
数据集概述 本数据集是使用wdumps工具生成的Wikidata印度政治家属性RDF转储，包含与印度政治家相关的结构化语义数据。数据集共4个文件，涵盖配置文件、规范文件、预览数据及压缩数据文件，可用于语义网相关的数据分析与研究。 文件详解 配置与规范文件 文件名称：info.json 文件格式：JSON...
-
mCRL2_Based_基于反链的精化检查基准测试数据
2026年1月30日 30 24 5
数据集概述 本数据集是一套基于反链的精化检查基准测试，包含可通过mCRL2工具集的ltscompare工具进行比较的mCRL2规范。数据集以压缩包形式提供，用于形式化方法领域的模型检测性能评估与工具验证。 文件详解 文件名称：antichain-benchmarks.zip 文件格式：ZIP...
-
Wikidata_RDF_Dump_人类性别信息语义网数据
2026年1月30日 30 95 92
数据集概述 本数据集是通过wdumps工具生成的Wikidata RDF转储，包含所有带有性别信息的人类实体相关数据。数据以多种格式存储，涵盖元数据、规范文件、预览数据及压缩数据文件，可用于语义网分析、数据挖掘等场景。 文件详解 元数据文件 文件名称：info.json 文件格式：JSON...
-
Wikidata_Fer_Based_RDF转储数据_基础信息
2026年1月28日 30 12 1
数据集概述 本数据集是通过wdumper工具生成的Wikidata RDF转储数据，包含四个文件，涉及JSON、NT和GZ三种格式。数据记录了转储工具版本、日期等元信息及生成规范，当前实体数、陈述数和三元组数均为零，可用于了解Wikidata转储流程及相关文件结构。 文件详解 信息文件（info.json） 文件名称：info.json...
-
Wiki_misc_Based_Wikidata_RDF转储文件集
2026年1月27日 30 96 51
数据集概述 本数据集为通过wdumps工具生成的Wikidata RDF转储文件集（wiki_misc），包含4个文件，涵盖配置文件、规范文件、压缩数据文件及预览文件。数据记录了转储的元信息、生成参数及示例数据，可用于了解Wikidata转储的结构与格式。 文件详解 配置与元信息文件 文件名称：info.json 文件格式：JSON...
-
RO_Crate_Based_计算工作流执行溯源规范数据_0_5版
2026年1月27日 30 201 196
数据集概述 本数据集为RO-Crate配置文件集合的一部分，用于记录计算工作流执行的溯源信息，可描述一个或多个工具执行同一计算任务的过程。数据集包含1个压缩文件，无目录结构，无训练/测试、数据/标签、原始/处理数据拆分。 文件详解 文件名称：process_run_crate-0.5.zip 文件格式：ZIP 字段映射介绍：压缩文件包含Process...
-
Wikidata_Based_Vancouver旅游信息RDF转储数据
2026年1月22日 30 43 21
数据集概述 本数据集是针对Vancouver旅游信息的Wikidata RDF转储数据，由wdumps工具生成。包含4个文件，涵盖配置信息、规范文件、预览数据和压缩数据文件，可用于获取Vancouver旅游相关的结构化信息。 文件详解 信息文件 文件名称：info.json 文件格式：JSON...
-
Wikidata_PopulatedPlaces_Based_Wikidata地理实体RDF_Dump数据
2025年12月30日 30 11 1
数据集概述 本数据集是通过wdumps工具生成的Wikidata中有人居住地点（Populated places）的RDF格式数据转储，包含4个相关文件，涵盖配置文件、规范文件、压缩数据文件和预览文件，可用于获取Wikidata中地理实体的结构化信息。 文件详解 配置与规范文件 文件名称：info.json 文件格式：JSON...
-
Linux内核任务调度器函数select_idle_core形式化验证案例研究数据集
2025年12月15日 30 99 46
数据集概述 该数据集包含针对Linux内核任务调度器函数select_idle_core进行形式化验证的实验代码与规范文件，支撑"Understanding Linux-Kernel Code Through Formal Verification..."论文研究，为内核代码验证提供实践数据。 文件详解 文件名称: artifact.zip 文件格式:...
-
生物多样性数据政策建议补充材料3
2025年12月11日 30 150 64
数据集概述 本数据集是《生物多样性数据政策建议》的补充材料3，包含一份关于注册中心和元数据目录的规范文件，为生物多样性数据管理相关研究与实践提供技术参考依据。 文件详解 文件名称：oo_80982.pdf 文件格式：PDF 文件内容：该文档为注册中心和元数据目录的规范说明，具体内容需查阅PDF文件获取 数据来源 EU BON Project...
