将Lisp实现的EngMath工程数学本体转换为OWL的最简方法

前置背景 #

1994年OWL规范尚未正式制定时，Thomas R. Gruber与Gregory R. Olsen发布了面向数学领域的《工程数学本体》（简称EngMath）。受限于当时没有专门的本体定义语言，该本体采用Lisp实现，公开可获取的原始代码无法被现代OWL本体工具直接导入、调用。

最小成本适配路径 #

• 优先摒弃全量手动转写的思路：这类早期Lisp编写的本体本质是Gruber提出的标准本体模型的代码化落地，核心仅包含类层级、属性规则、实例定义三类结构化信息，不存在复杂的业务运行逻辑，完全不需要逐行拆解、理解Lisp语法做人工转写
• 批量转换环节复用现成的框架能力：这批EngMath的Lisp代码严格遵循Gruber团队当年主导的Ontolingua语法规范，直接使用对应框架的官方遗留转换脚本，即可批量把Lisp中的本体声明内容抽取、转成基础RDF格式的OWL文件，整体工作量仅相当于手动转写的5%不到
• 仅做少量兼容修正：脚本输出的初始OWL文件可能存在少量不兼容现代OWL 2规范的语法瑕疵，用Protege打开做基础的层级对齐、属性约束补全校验即可，不需要重新梳理、调整本体的原有逻辑
• 校验完成即可直接对接工具链：修正后的标准OWL文件可以直接导入所有主流OWL编辑器、推理机、知识检索系统，不需要额外做格式转换。

内容的提问来源于stack exchange，提问作者cknoll