数据集概述
本数据集是会议论文《Bridging between LegalRuleML and TPTP for Automated Normative Reasoning》的补充材料，包含LegalRuleML示例文件、NMF DSL转换文件及SDL、cJ、aqvist三种逻辑语言的输出文件，共十一个文件，用于支持法律规则与TPTP逻辑语言的桥接研究。
文件详解
- LegalRuleML示例文件
- 文件名称：ex1.lrml.xml、ex2.lrml.xml
- 文件格式：XML
- 字段映射介绍：包含法律规则的结构化表示，是桥接研究的原始输入示例
- NMF DSL转换文件
- 文件名称：ex1.dsl.p、ex2.dsl.p
- 文件格式：.p
- 字段映射介绍：将LegalRuleML示例转换为NMF DSL格式的中间文件
- 逻辑语言输出文件
- 文件名称：ex1.output.sdl.p、ex1.output.cJ.p、ex1.output.aqvist.p、ex2.output.sdl.p、ex2.output.cJ.p、ex2.output.aqvist.p
- 文件格式：.p
- 字段映射介绍：将NMF DSL文件进一步转换为SDL、cJ（Carmo Jones）、aqvist三种具体逻辑语言的输出文件
- 说明文件
- 文件名称：README.txt
- 文件格式：TXT
- 字段映射介绍：数据集的补充说明文档，描述文件组成与用途
数据来源
论文“Bridging between LegalRuleML and TPTP for Automated Normative Reasoning”（提交至2022年第6届国际规则与推理联合会议RuleML+RR 2022）
适用场景
- 自动规范推理研究：用于测试法律规则与TPTP逻辑语言的桥接方法有效性
- 法律知识表示转换：分析LegalRuleML到NMF DSL及具体逻辑语言的转换规则
- 逻辑语言适配验证：验证SDL、cJ、aqvist等逻辑语言对法律规则的表达能力
- 会议论文补充支撑：作为会议论文的辅助材料，提供实验示例与转换结果
