卷首与附录

关于这份中文版 · 术语表 · 文献

术语对照表、插图索引、与原书的出入清单

序关于这份中文版

这不是逐字直译。原文是英文技术写作,句子结构和中文差别很大,硬翻会变成“看得懂每个字、看不懂这句话”。所以这份中文版做了两件事:

  1. 意译:按中文的表达习惯重新组织句子,该拆的拆、该合的合。原文用从句套从句讲清的一层意思,中文里往往一句话就够了。
  2. 补背景:原文默认读者是 2000 年前后的知识工程圈子的人,有些名词没解释。这里凡是可能卡住人的地方,都在括号里当场说明。

另外,原文里有几处笔误(图号引错、个别词拼错),都在正文中用 〔译注〕 标出来了,方便你对照英文原版时不被带偏。

术语处理:全书核心术语第一次出现时给出英文原词。完整的对照表在下面的附录 A。

文档结构:

📌 本双语 HTML 版在此基础上补了两件事:① 第 1 章末尾补译了原书序言「关于本指南」(讲 OO 设计与本体设计的本质区别);② 每段中文都挂了对应的英文原文,可逐段切换。

A术语中英对照表

英文中文说明
Ontology本体术语及其关系的显式形式化规范
Knowledge base知识库本体 + 一组实例
Domain of discourse论述领域本体覆盖的那个领域
Class / Concept类 / 概念描述领域中的概念
Subclass / Superclass子类 / 父类(超类)层次中的上下级
Sibling兄弟(类)同一个类的直接子类
Instance / Individual实例 / 个体类的一个具体成员
Slot / Role / Property属性(也叫角色)描述类或实例的属性位
Facet / Role restriction属性的约束 / 角色约束对属性取值的限制
Domain定义域属性所描述的那个类
Range值域实例型属性的允许类
Cardinality基数属性能取几个值
Value type值类型String / Number / Boolean / Enumerated / Instance
Enumerated slot枚举属性预先限定一组允许值(Protégé 里叫 Symbol)
Inverse slot / Inverse relation逆属性 / 逆关系同一事实的相反方向表达
Default value默认值新建实例时自动填入、可改
Slot value属性值钉死的值,不可改
Multiple inheritance多重继承一个类可以有多个父类
Disjoint互斥两个类不可能有共同的实例
Abstract class抽象类不能有直接实例的类
Cycle环类层次里的循环依赖,等价于宣布两个类等价
is-a / kind-of是一种类层次的语义
Competency question能力问题本体该能回答的问题清单,充当“考卷”
Top-down / Bottom-up / Combination自顶向下 / 自底向上 / 中间开花建类层次的三种思路
Intrinsic / Extrinsic property内在 / 外在属性对象固有 vs 与外部关联中体现
Declarative声明式描述“是什么”而非“怎么做”
Frame-based system基于框架的系统用“框架+属性”表示知识的一类系统
Formalism形式化(语言)承载本体的形式语言,如 RDF、DAML

B插图索引

图原书位置文件名内容本版位置
图 1p.4fig01-…png酒领域中的类、实例与关系(黑=类,红=实例)第 2 章
图 2p.7fig02-…png分类法的三个层次:顶层 / 中间层 / 底层第 3 章
图 3p.8fig03-…pngWine 类的属性与约束(注意 maker 旁的 "I" = 有逆属性)第 3 章
图 4p.10fig04-…pngproduces 属性的定义:multiple / Instance / 允许类 Wine第 3 章
图 5p.12fig05-…pngBeaujolais 的一个实例及其全部属性值第 3 章
图 6ap.14fig06a-…png只有一个子类(建模问题信号)第 4 章
图 6bp.14fig06b-…png有两个兄弟子类的正确形态第 4 章
图 7ap.15fig07a-…png层次化分类(左图)第 4 章
图 7bp.15fig07b-…png平铺所有酒的扁平列表(右图)第 4 章
图 8p.19fig08-…png酒产区层次,"A" = 抽象类第 4 章
图 9p.21fig09-…png逆属性:填一边自动更新另一边第 5 章

图片说明:全部图片从原 PDF 中逐张提取。原 PDF 中插图内嵌为 96 DPI 位图,本文档将其放大 2 倍(LANCZOS 重采样)以适配屏幕阅读。图 9 例外——原图中连接两个窗口的箭头是矢量线条而非位图,因此改从 200 DPI 页面渲染中裁切,以保留箭头。

C与原书的出入记录

本文档在意译过程中发现的原文笔误与不一致,列出供对照原版时参考:

位置原书内容说明
4.2 节正文引用“(Figure 6a)”“(Figure 6b)”实际对应的图编号为图 7,属原文笔误。本文档已改标为图 7a / 7b 并加译注
4.5 节末“each rib playa and organs it protects”应为 “each rib plays”。原文排版错误(旧式 PDF 中 "y" 常被误渲染为 "a",但此处显然是 OCR/编码问题)
2 节“which property a slot describes”应为 “the classes which property a slot describes”,原文此处漏词
1 节“makes it possible t o change”应为 “to change”。原 PDF 存在若干 “t o” 断字,属排版问题
图 7 版面正文叙述顺序(先平铺后分层)与图中面板顺序(左分层、右平铺)相反本文档按图中实际位置标注 7a/7b,并加译注说明

D本文档的生成方式

环节做法
正文抽取pdftotext -layout
插图提取pdfimages -png(图 1–8)+ pdftoppm -r 200 后裁切(图 9,保留矢量箭头)
图片处理Pillow,LANCZOS 2× 重采样,PNG 无损保存
翻译意译,非直译。术语首次出现给英文原词,专有名词与参考文献保留原文
解剖部分按「知识解剖师」八步框架组织,每个知识点配公式 + 可运行 Java 代码(Java 17+)+ 逐行对照表

代码验证说明:三份报告中的 Java 代码均为自包含、可直接编译运行的程序;文中“运行结果”均已实际执行核对,与手工验算一致。代码中未使用任何外部依赖(仅 java.util 与 java.util.stream)。

谢致谢

Protégé-2000(http://protege.stanford.edu)由斯坦福医学信息学中心的 Mark Musen 团队开发。本书的部分插图用 Protégé-2000 的 OntoViz 插件生成。

最初的酒本体版本从 Ontolingua 本体库导入,该版本又源自 Brachman 等人(1991)发表、并随 CLASSIC 知识表示系统分发的一个版本。我们随后修改了这个本体,用来呈现面向声明式、基于框架本体的概念建模原则。

Ray Fergerson 和 Mor Peleg 对早期草稿的详尽意见,极大地改进了本文。

参参考文献

〔译注〕以下保留原文的文献信息不译——文献条目属于检索数据,翻译会造成引用困难。

← 报告三 🏠 回到目录