基于Protege的本体建模研究综述

２ １ 年第 １ ０ １ 期 ４ ３
基 Ｐｏ ｇ 于 ｒｔ ｅ的本体建模研究综述 ｅ
章 勇 ， 吕俊 白
（国立华侨 大学计 算机 学 院 福 建 泉 州 ３ ２ ２ ６ ０ １）
【 摘
要 】 本 体是 目前 信 息 处理 和 知 识 工 程 领 域 的研 究热 点 。 通 过 对 本 体语 言 ＯＷ Ｌ和 建 模 工 具 ：
计 算机科 学技术 的发展 ．人 工 智能 领域 的学 者将 本体 描 述概 念 和概念 之 间的关 系 ．作为 使 用者 之 间达 成 的 这个 概念 应用 到 了人工 智能 领 域 以及 计 算机 知识 工程 共 识 。 因此 ． 体的用 途包 括交 流 、 本 共享 、 操 作 、 互 重用 领域 本 体 的概 念被 越来 越 多 的应用 于计 算机 知识 工 等 利 用本 体对应 用 领域相 关 知识进 行 建模 能 够有 效 程领 域 ． 于对 客观 世界 的存 在进 行 系统 化描 述 ． 便 地 支撑信 息 的语义 共享 ．本 体及 其形 式 化 规范 还 能够 用 方 知识 的重用 和交 互 人 们 已经从 不 同的角 度和 方 面对 应用 于人 一 机通信 、 机 通信 与信息 交换 ， 力地 支 撑 机一 有 本 体 论 概 念 进 行 了定 义 。 在人 工 智 能 界 ．最 早 给 出 系统 的语 义集成 与互 操 作 因此 现在 本 体在 很多 领域 Ｏ ｔｌ 定 义 的是 Ｎ ｃ ｅ 等人 ，他们 将 Ｏ ｔ ｏｙ定义 得 到 了应 用 ， ｎｏ ０ ｅｈｓ ｎｏ ｇ ｌ 比如 语 义 Ｗｅ 、 ｂ服 务 、 ｂ Ｗｅ 电子 商 务 、 数 为 ” 出构成 相 关领 域词 汇 的基本 术 语 和关 系 ． 给 以及利 字图 书馆 等阁 用 这些术 语 和关 系构成 的 规定 这些 词 汇外延 的规 则 的 ２ 本 体 建模 语言 ＯＷＬ 、 定义 ” Ｎ ｃ ｅ 认 为 ：本 体定 义 了组成 主题领 域 的词 汇 。 ｅｈｓ ” 通 过 本体 语 言 ， 人们 可 以方便 的创 建 本体 。通 常 ． 表 的基本术 语及 其关 系 ．以及结 合 这些术 语 和关 系来 本 体语 言提 供 了概 念 、 念 之 间的关 联 、 念 的实例 等 概 概 定义词 汇表 外延 的规则 。 ” 信息 系统 、 在 知识 系统等 领 基本 的建 模元 素 。 ＷＬ等语 言为 描述概 念 之间 的关联 Ｏ 域， 越来 越 多 的人 研 究 Ｏ ｔｌ ． 给 出 了许 多不 同的 提供 了非 常 丰富 的建模元 素 ， 如 ， 念 之 间的对 象属 ｎｏｏ 并 ｙ ｇ 例 概 定 义 。其 中最 著 名 并 被 引用 得 最 为广 泛 的定 义 是 由 性 可 以具 有 传 递 性 Ｔａ ｓ ｉ ）互 逆 性（ ｖｒｅ和对 称 ｒｎ ｉｖ 、 ｔｅ Ｉ ｅｓ１ ｎ Ｇｕ ｅ 提 出 的 ， ｒｂ ｒ ”本体 是概 念 化 的明确 的规 范说 明” ［ Ｓ ｍ ｔ ｅ。这 些丰 富 的语 义 能 够更 加 有 效 地 支持 【 ” ￣（ｙ ｍｅ ｉ ｒ） 这说 明本 体 的概念包 含 了 ４层 含 义 ： 念模 型ｆｏ ｃｐ 逻 辑推 理 。本 体语 言包 含 了 丰富 的操 作 符 ， ａ ｄ、ｒ 概 ｃｎ ｅ — 如 ｎ ｏ
Ｐｏｅｅ的研 究 ，对 于本 体研 究 中的 关键 问题进 行 了讨论 ，并在此 基础 上 实现 了一 个基 于本 体 的查 询 ， ｒｔ ｇ 最 后 ． 于 当前本 体研 究的瓶 颈 问题 进行 了总结 ， 对 并且提 出 了未 来的研 究方 向。
【 关键词 】 本 体 ； ： 本体 建模 ；ｒｔｇ ； Ｌ ＰｏｅｅＯＷ
（）形 式 化 ” 指 本 体 是 能 够 为 计 算 机所 理 解 、 ３” 是 处 Ｏ （ｎｏ ｇ ｅ ｎｕ ｇ） 括三 个 子语 言 ． 别 ＷＬｏ ｔｌ ｙｗ ｂｌ ｇ ａｅ包 ｏ ａ 分 理的。 为 Ｏ ｉ ， ＷＬ Ｄ ’ ＷＬ Ｆ ｌ 其 中 ０ ｉ 仅 仅 ＷＬ Ｌｔ ０ Ｌ Ｏ ｕｌ ｅ 。 ＷＬＬｔ ｅ （ ” 享 ” 本 体 中 体 现 的是 共 同认 可 的知 识 ， ４ 共 ） 指 反 提供 了简单 的分 类层 次 和属 性描 述机 制 。Ｏ Ｌ提 ＷＬＤ 映 的是相 关 领域 中公认 的概 念 集 ．也 即本 体针对 的是 供 了逻 辑 推理 能力 。 于 Ｏ Ｌ的推 理具 有 完 备 和 基 Ｌ Ｗ Ｄ 团体而非 个 体 的共识 可信 性 。Ｏ ｕｌ 供 了最 强 的表 达 能力 ． Ｌ Ｗ Ｆ ｌ提 但是 基 于
ｔａ ｚｔ ｎ、 明 确 ｆ ｐｉｉ、 形 式 化 （ ｒ ａ ｕｌ ａｉ ） ｉ ｏ ｅ ｌｔ ｘ ｃ） ｆｍ １ ｏ ）和共 享 和 ｎ ｇｔ ｎ 它基 于的逻 辑允 许它 能够定 义 概念 或描 述 ｅａｏ ． ｉ
概念 ，能够在 简单 的概 念定 义之 上 建立 更加 复 杂 的概 （ ａｅ。 ｓ ｒ） ｈ ｆ） 念 模 型” 的是 通 过 抽象 出现 实 世 界 中的 一 念 ，而且 建立 的逻辑 模 型允 许使用 推理 机检 查本 题 中 １” 概 指 些现象 的相关 概 念而得 到 的模 型 概 念模 型所 表示 的 的命 题 （ ａ ｍｅ ｃ ｓ ｔ ｎ１ ｔｅ 和定 义 是 否具有 一 致 性 ， 时可 以识 同 含 义独立 于具 体 的环境 状态 别 具 体 哪个 概念 属于 哪个 定 义 ． 推理 机 ｅａ有助 于维 ｎ１ （）明确 ” 指 的是 使 用 的概 念 以及 使 用这 些 概 念 护本体 模 型 的层 次结 构 ．这在 处理 多 父类 的类 时很有 ２” 所 的约 束都有 明确 的定 义 用。
１ 引言 、
有 不 同的描 述 ． 但是 从 内涵 上来 看 ． 们 都是 把本 体 当 他
本体 是一 个 源 于哲 学 的概 念 ， 从哲 学 的 范畴 来说 ． 作某 个 领域 内不 同主 体ｆ 、 人 代理 、 机器 等 １ 间进 行交 之 本 体是 客观存 在 的一个 系 统 的解 释或说 明 后 来 随着 流 的一种 语义 基础 ． 由本体 提供 明确 定 义 的词 汇表 ． 即