找到2个数据集

格式: ZIP 标签: TPTP

过滤结果

  • LegalRuleML_TPTP_Based_自动规范推理桥接补充数据_2022

    2026年1月15日 30 50 27

    数据集概述 本数据集是会议论文《Bridging between LegalRuleML and TPTP for Automated Normative Reasoning》的补充材料，包含LegalRuleML示例文件、NMF...
    packageimg

  • ChEBI中肽定义的补充数据集

    2025年12月7日 30 194 132

    数据集概述 本数据集是论文《Defining Peptides in ChEBI》的补充数据，包含肽本体修订文件、一阶逻辑定义文件、PubChem和ChEBI分子分类结果、人工评估表格及专家调查问卷等8个文件，为肽类化合物的定义与分类研究提供支撑。 文件详解 Additional File 1: chemlog.omn，格式为OWL...
    packageimg