Towards Ontology Engineering摘要

 

Technical Report AI-TR-96-1, I.S.I.R., Osaka Univ：（日本大阪大学技术报告AI-TR-96-1）

Towards Ontology Engineering

Riichiro MIZOGUCHI and Mitsuru IKEDA

The Institute of Scientific and Industrial Research, Osaka University , 567 Japan

1．Introduction

l         该文认为，人工智能的研究可以分为基于形式逻辑的研究（Form-oriented）和基于内容的研究（Content-oriented）。如谓词运算之类的形式逻辑可以作为推理的工具，但并没有讨论知识及其有关问题。

l         由Feigenbaum提出的，已经成功在专家系统中应用的知识原理（Knowledge Principle）强调知识积累的重要性，但这种对于专家知识的表达规则并不能够解决知识在计算机之间，各人类代理之间的知识共用和重用问题。知识库技术也应该为下一步的知识媒介（Knowledge medium）作出贡献。本体工程（Ontology engineering）正是为知识媒介的研究提供了基础。

l         虽然基于内容的研究；越来越引起重视，但对于它的研究还没有较成熟的方法，现有的成果主要集中于知识库系统，并且还没有达到理论化的程度。本文作者提出以本体工程来实现该目的。即将本体工程作为一个基本的方法论对待，处理知识库设计原理，感兴趣问题的核心概念化，以及基本概念的明确定义手段。

2．What Is an Ontology

l         本文对本体论给出了三条简单化的定义

n         表示“存在理论”的哲学词汇

n         在人工智能领域中的定义为：概念化的明确表达

n         在知识库领域的定义为：用于建造人工系统的“词汇表/概念”理论

l         本文从以下五个方面对本体论进行了进一步的解释：

n         Ontology：根据Gaorino的提议，用大写的字母O代表哲学意义上的本体论，而小写的字母则指其它意义的本体论。哲学意义上的本体论解释“存在是什么”、“哪些性质可以解释存在”、“这些性质如何解释存在的区别”等问题。

n         ontology：有点像哲学意义的本体论的设计方法学，但目标仅仅是更为具体的事物而非一般意义上的存在。我们定义这个意义上的本体论为对目标对象的概念和它们之间相互关系的清晰的、无歧义的描述。因此，本体（ontologies，或者该译为本体条目？）和所描述的对象一样多。

n         形式本体Formal ontology：对于本体论的自说明描述，它回答关于本体论的容量（capability）问题。

n         公理（Axiom）：不需要证明的，对知识的定义和严密的表达。在谓词逻辑中，公理总是隐含存在其形式推理机。

u       公理在本体论中有如下两个作用：

l         精确表达概念的意义（或者部分意义）

l         在知识领域范围内，回答本体以及采用本体概念建立的事物的容量。

u       本体的容量问题在其评价中起到重要的作用，该问题被划分为如下两类：

l         本体及采用本体设计事物的形式特性问题。该类问题被称为能力问题

l         采用本体设计事物的行为问题。该类问题被称为性能问题

u       采用谓词运算的公理完全能够解决能力问题。但对于性能问题，往往需要过程机制才能处理。为了处理这类问题，该文作者建议采用如下的等价公理。

n         等价公理（Axiom equivalent）：等价公理不是基于形式推理机的严密定义公理。它只是基于过程解释机制部分定义知识以回答性能问题。等价公理是没有完全形式化的。等价公理和公理的区别是本质的。公理是清晰和严密的，但不能够处理知识工程中的复杂情况。公理是完全形式化的严密的，而等价公理则基于过程解释来处理这类情况。

3．Roles of Ontology Engineering

l         首先，本文作者提出本体工程的最终目标为：提供计算机科学感兴趣的所有事物的构造模型基础

l         本体用来表达设计意图（Design Rationale，本文简称DR）。作者认为，在机械设计中，新设计往往在已有的设计基础上修改。但理解原有设计时，为何设计者要做不同的决定，采用不同的方案，除了图纸表达的意义以外，设计者的意图是非常关键的，而且这些设计意图往往是隐含的，本文作者称之为DR问题。而在知识库设计的重用问题上，本体论可以起到与DR问题类似的作用。到目前为止，知识库的设计一直没有考虑到构造这类重用的信息。本体论正可以在这方面起到特定的作用。

l         如何使用本体论。本文作者总结了使用本体论的8个层次：

n         层次1：作为分布式代理通讯的公共词汇表

n         层次2：用于关系数据库的概念规划

n         层次3：在特定知识库中，用来作为提供给用户的中枢信息

n         层次4：用来回答能力问题

n         层次5：标准化，包括：

u       术语的标准化（与层次1对应）]

u       概念意义的标准化

u       目标对象构建标准化（本体论域）

u       任务构建标准化（任务域）

n         层次6：用来在采用不同概念规划手段的数据库间进行转化。这种转化需要结构转化和规划转化两个方面

n         层次7：用来在具有DR信息的知识库中实现知识重用

n         层次8：用来对具有DR信息的知识库实现重构

l         标准化，知识库的标准件。作者认为，标准件是工业大生产的基础。知识库工程中目前正是缺乏这样的标准件。而要达到这个目标，标准化是非常重要的。