第 7 章

其他资源

机器替你体检:查环、查层级、查互斥

本书的例子使用 Protégé-2000 作为本体开发环境。Duineveld 等人(2000)描述并比较了若干其他本体开发环境。

本书只覆盖了本体开发最基础的部分,没有讨论许多进阶主题或替代方法论:Gómez-Pérez(1998) 和 Uschold & Gruninger(1996) 提出了替代性的本体开发方法论;Ontolingua 教程(Farquhar, 1997) 讨论了知识建模的一些形式化方面。

目前,研究者不仅强调本体开发,也强调本体分析。随着越来越多的本体被生成和复用,会有越来越多的工具可用于分析本体。比如 Chimaera(McGuinness et al., 2000)提供了分析本体的诊断工具:它的分析既包括检查本体的逻辑正确性,也包括对常见本体设计错误做诊断。本体设计者可以拿 Chimaera 对不断演进的本体跑一遍诊断,看看它是否符合常见的本体建模实践。

Wine 类树 RedWine WhiteWine Beaujolais 环?! 🩺 Chimaera 扫描一遍,毛病全列出: 环 ✅ 层级 ✅ 互斥 ✅
Chimaera 给演进中的本体做体检:逻辑正确性 + 常见设计错误。
〔说人话〕注意最后这句——这是把第 4 章那些“经验法则”落地的机制。4.1 节说“不要有环”、4.2 节说“兄弟要在同一层级”、4.8 节说“声明互斥”,但这些靠人眼盯几百个类是不现实的。Chimaera 这类工具就是把它们变成本体能跑的检查。

🧰工具与本体库一览

🧰

Protégé-2000

造本体的工作台。书里所有插图都是它画的。

🩺

Chimaera

体检医生。给不断演进的本体跑诊断。

📚

Ontolingua / DAML

斯坦福 KSL 和 DARPA 的本体库——第 3 章「先查现成」就是查它们。

🏷️

UNSPSC / RosettaNet / DMOZ

产品服务分类、电子元件标准、开放目录。现成轮子,能复用就复用。

← 上一章 下一章:结论 →