数据集概述
本数据集采用回答集编程（ASP）方法，验证命名法原则在计算逻辑中的可处理性。基于《国际动物命名法规》核心原则设计20个假设分类单元用例，通过12个模式标本诊断特征重解释触发场景，生成36种命名修订方案，为逻辑化命名变更优化提供基础。
文件详解
- 文本文件（.txt格式）：
- FranzEtAl-2017-SupplementaryMaterials-S1.txt、S2.txt、S3.txt：包含ASP代码或相关文本信息，其中S3.txt预览显示有clingo命令行执行示例及物种命名节点数据
- 压缩文件（.zip格式）：
- FranzEtAl-2017-SupplementaryMaterials-S6.zip、S7.zip、S8.zip：可能存储补充数据或代码文件
- PDF文件（.pdf格式）：
- FranzEtAl-2017-SupplementaryMaterials-S5.pdf：提供文档类补充材料
- JAR文件（.jar格式）：
- FranzEtAl-2017-SupplementaryMaterials-S4.jar：可能为可执行的Java应用程序文件
适用场景
- 生物命名法规研究：验证《国际动物命名法规》核心原则的逻辑一致性
- 计算生物学应用：开发基于ASP的命名变更自动化处理工具
- 分类学数据管理：为全球命名注册系统提供逻辑验证服务支持
- 命名法设计优化：评估现有命名原则的设计偏差，指导大数据标识符方案开发
