本体综述(《豆钱子糊豆先生博客》).doc

资料来源：/blog/static/51380183200861373316920/ 本体作为一种能在语义和知识层次上描述领域概念的建模工具，其目标是捕获相关领域的知识，确定 该领域内共同认可的词汇，通过概念之间的关系来描述概念的语义，提供对该领域知识的共同理解。语义Web（the Semantic Web）是在本体理论基础之上对现有Web所进行的扩展[15]，其目标是使Web上的信息具有计算机可以理解的语义，在本体的支持下实现信息系统间语义 上的互操作性，以及对Web资源所进行的智能访问和检索[16]。充分实现语义Web的潜力，需要大规模采用基于本体的方法来共享信息和资源，本体是语义 Web得以实现的基础和关键。 本章主要介绍论文工作涉及的本体、语义Web、语义Web服务等基本概念。 1.1 Ontology Ontology的概念最早源于亚里士多德（公元前384-322年）对事物存在本质的研究， 在哲学上的定义为“对世界上客观存在物的系统地描述，即存在论”，是客观存在的一个系统的解释或说明，关心客观现实的抽象本质[17]。近几 年，Ontology作为信息抽象和知识描述的工具，被计算机领域所采用。 计算机领域的Ontology是否应该叫做“本体”，存在一定的争议。目前，Ontology 主要有“本体”和“本体论”两种中文译法。大连海事大学智能信息处理学科梯队的黄映辉教授从人工智能引入Ontology时候Ontology的定义开 始，分析了Ontology的哲学意义和Ontology被引入到计算机领域后的实质内容，认为计算机领域的Ontology不应该译作“本体”或者“本 体论”。Ontology作为从哲学领域借用的术语，其实质是“概念模型”，应该被翻译为“本体论模型”[19]。 将Ontology翻译成“本体”已经是计算机领域一个约定俗成的做法。本文在讨论Ontology的时候，为了行文方便并符合业界习惯，仍然使用“本体”的说法。这里讨论的本体的相关知识，均限于计算机领域的本体。 1.1.1 本体的定义 本体在计算机领域的定义经历了一个演化过程。在人工智能界，最早给出本体定义的是Neches 等人，他们将本体定义为“给出构成相关领域词汇的基本术语和关系，以及利用这些术语和关系构成的规定这些词汇外延的规则的定义[19]”。1993 年，Gruber给出了本体的一个最为流行的定义，即“本体是概念模型的明确的规范说明[20]”。后来，Borst在此基础上，给出了本体的另外一种定 义：“本体是共享概念模型的形式化规范说明[21]”。 Studer等人在对本体做了深入研究后，扩展了Gruber的定义，认为“本体是共享概念模 型的明确的形式化规范说明（An ontology is a formal, explicit specification of a shared conceptualisation.）[22]”。该定义包含四层含义： 1）概念模型（Conceptualization），即本体是通过抽象客观世界的概念而得到的模型，它表示的含义独立于具体的环境状态； 2）明确性（Explicit），即本体所使用的概念及在这些概念之上的约束都有明确的定义，没有二义性； 3）形式化（Formal），即本体是计算机可处理的，而不是自然语言； 4）共享（Shared），即本体体现的是共同认可的知识，反映的是相关领域中公认的概念集合，它所针对的是团体而不是个体。 本体的目标是捕获相关的领域的知识，提供对该领域知识的共同理解，确定该领域内共同认可的词汇，并从不同层次的形式化模式上给出这些词汇和词汇之间相互关系的明确定义[23]。 1.1.2 本体建模元语 本体中的知识是通过类、关系、函数、公理和实例来形式化地表示的[20]。Perez等人用分类法组织了本体，归纳出5个基本的建模元语[24]： 1)????????? 类（Classes）或概念（Concepts） 指任何事务，如工作描述、功能、行为、策略和推理过程。从语义上讲，它表示的是对象的集合，其定义包括概念的名称，与其他概念之间的关系的集合，以及用自然语言对概念的描述。 2)????????? 关系（Relations） 在领域中概念之间的交互作用，形式上定义为n维笛卡儿积的子集。如子类关系（subClassOf）。在语义上关系对应于对象元组的集合。 3)????????? 函数（Functions） 一类特殊的关系。该关系的前n－1个元素可以唯一决定第n个元素。形式化的定义为F: C1×C2×…×Cn-1→Cn。如motherOf就是一个函数，motherOf(x, y)表示y是x的母亲。 4)????????? 公理（Axioms） 代表永真断言，如概念乙属于概念甲的范围。 5)???