基于推理信息的本体模块化方法
合集下载
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
ｓ ｍｐ ｉ ｎ ｔ ａ ￣ｏ ｉｈ ａ ｅ ｉ ｈ ａ ｉ ｉ ｌＲｅ ｓ ｎｎ ｅ ａ ｅ ｈ ｇ ｏ ｅ ｉｎ， ｕ ｔ ｏ ｉｓ ｌ ａ ｃ ｌ ｔｓ ｕ ｔ ｈ ｔａ ｍｓ ｗｈ ｃ ｒ ｎ ｔ ｅ ｓ ｍｅ Ｍ ｎ ｍ ａ ｏ ｉ ｇ Ｓ ｔ ｈ ｖ ｉ ｈ ｃ ｈ ｓｏ ｏ ｒ ｍｅ ｈ ｄ ｆ ｔｙ ｃ ｌｕ ａ ｅ ｏ ａ ｒ
Ｍ ｉｉ ｌ ａ ｓ ｎｎ ｔ ｆｅ ｅ ｙｒａ ｎｎ ａ ｋ ｂ ｎ ｌｚｎ ｈ ｒ ｃ ｓ ｆｒａ ｏ ｉｇ，ｈ ｎ ｃ ｈ ｓ ｎ ｂ ｔ ｅ ￣ｏ ｎ ｎｍ ａ Ｒｅ ｏ ｉｇ Ｓ ｖ ｒ ｅ ｓ ｉｇ ｔｓ ｙａ ａｙ ｉｇ ｔ ｅｐ ｏ ｅ ｓｏ ｅｓ ｎｎ ｔ ｅ ｏ ｅ ｉ ｅｗｅ ｎ ａ ｍｓｉ ｅ ｏ ｏ ｏ
Ｒｅ ｓ ｎｉ ｇ Ｉ ｏ ｍ ａ ｉ ｎ Ｂａ ｅ Ｏｎ ｏ ｏ ｙ Ｍ ｏ ｌ ｒｚ ｔｏ ａ ｏ ｎ ｎｆ ｒ ｔｏ ｓ ｄ ｔ ｌ ｇ ｄｕ ａ ｉ ａ ｉ ｎ ＦＡＮＧ ｕ ＧＵＯ ｉ Ｗ ＡＮＧ ａ － ｏ ｇ Ｊｎ Ｌｅ Ｘｉｏ ｄ ｎ
（ Ｃｏｌ ｇｅｏ ｔｍ ａｉｎ， ｏ ｗ ｅｔ ｍ ｌｔ ｃ ｎ ｃ ｌ ｎｖ ｒ ｉｙ， ’ ｎ ７ ００ ２， ｉａ ｌ ｆＡｕ ｏ ｔ ｅ ｏ Ｎ ￣ｈ ｓｅ Ｐｏｙ ｅｈ ｉａ ｉｅ ｓｔ Ｘｉａ ｉｔ ｔ ｈ ｃ ｌｂｌ ｙａ ｄ ｒ－ ｓ ｆｏ ｔ ｌｇ ． ｗ Ｏｐ ｒｉｏ ｎ ｌｇ ｕ ｍ ａｉａｌ ｈ ｒｍａｙｉｓ ｅ ｎ ｏ ｄ ｒｔ ｆｃｌａｅｔ ｅｓ ａａ ｉ ｔ ｎ ｅｕ ｅｏ ｎ ｏ ｙ Ｈｏ ｔ ａ ｔ ｉｎｏ ｔ ｏ ｙａ ｔ Ｏ ｉ ｉ Ｏ ｔ Ｏ Ｏ ｔ ｌ ｉ ｔ ｅｐ ｉ ｒ ｕ ， ｃ ｙｓ ｓ ｃ ｒｅ ｔｒｓａ ｃ ｒ ａ ｏ ｕ ｅ ｎ ｒ －ｓ ｆ ｎ ｏｏ ｙ Ｉ ｈ ａ ｅ ， ｅ ｓ ｎｎ ｎｏ ｍ ａｉｎ ｂ ｓｄｏ ｔｌｇ ｄ ｌｒ ｕ ｒｎ ｅ ｅ ｒｈｗｏ ｋ ｈ ｓｆｃ ｓｄ ｏ ｅｕ ｅｏ ｔｌｇ ． ｎｔ ｅｐ ｐ ｒ ａｒ ｏ ｉｇ ｉｆｒ ｔ ａ ｅ ｎ ｏ ｙｍｏ ｕａ — ｏ ａ ｏ Ｏ ｉａｉｎｍｅｈ ｄ ｉ ｐ ｅ ｅ ｔｄ ｆｒｔ ｅｐ ｒｏ ｅｏ ｎ ａ ｃｎ ｈ ｅ ｓ ｎｎ ｅ ｆｒ ｎ ｅ ｉ ｎ ｌｇ ． ｃ ｒｉｇ ｔ ｈ ｓ ｚ ｔ ｔｏ ｓ ｒｓ ｎｅ ｈ ｕ ｐ ｓ ｆｅ ｈ ｎ ｉｇ ｔ ｅｒ ａｏ ｉｇ ｐ ｒ ｍａ ｃ ｎＯ ｔ ｏ ｙ Ａｃ ｏ ｄｎ ｔｅ ａ — ｏ ｏ ｏ Ｏ Ｏ
ｔ ｅ ｓ ｍ ｅ Ｍ ｉ ｉ ｌＲｅ ｓ ｎ ｎ ｔｉ ｎ ｒ ｓ ；ｆｎ ｌ ｎ ｏ ｏ ｙ ｉ ｐ ｒ ｉｉｎ ｄ ｉ ｔ ｄ ｌ ｓ ａ ｃ ｒ ｉ ｇ ｔ ｏ ｅ ｉｎ Ｉ ｈ ｈ ａ ｎ ｍ ａ ｏ ｉ ｇ Ｓ ｓｉ ｃ ｅ ｅ ｉ ａ ｌ ｏ ｔ ｌｇ ｓ ａ ｔ ｏ ｅ ｎ ｍｏ ｕ ｅ ｃ ｏ ｎ ｃ ｈ ｓｏ ． ｎ ｔ ｅ ａ ｅ ａ ｄ ｙ ｔ Ｏ ｄ Ｏ ｅ ａ ｕ ｔ ｎ ｓ ａ ｅ ｔ ａｎ ｎ ￣ｏ ｒ ｓ ｄ ｌ ｒ ｅｏ ｔ ｌ ｇ ｉ ｔ ｔ ｅ ｏ ｅ ｔ ｍｏ ｒ ａ ｒｅ ｖ ｓ ｉ ａ ｅ ｖ ｌ ａ ｉ ｔ ｇ ， ｒ ｉ ｉ ｇ ａ ｍｓａ ｅｕ ｅ ｔ ｍｏ ｕ ａ ｉ ｎ ｏ ｙ ｆ ｓ ｌ ｈ ｎ ｓ ｍｅ ｔ ｓ ｏ ｄ Ｏ ｚ Ｏ ｒ ｙ， ａ ｍｓ ａ ｅ ｃ ｒ ｉｄ ｔ ｉ ｅ ｔ ｔ Ｏ ｎ ｇ ｔ ｅ ｅ ａ ｃ ｍｅ ｔ ｏ ｅ ｓ ｎ ｎ ｅ ｆ ｒ ｎ ｅ ｈ ｎ ｎ ｅ ｎ ｆ ｒ ａ ｏ ｉ ｇ ｐ ｒｏ ｍａ ｃ ．Ｔｈ ｅ ｘ ｅ ｉ ｎ ｓ ａ ｅ ｕ ｅ ｖ ｌ ａ ｅ ｏ ｒ ｏ ｔ ｌｇ ｄ ｌ ｒ ａ ｉ ｎ ａ — ｈ ｒｅ ｅ ｐ ｒ ｍｅ ｔ ｒ ｓ ｄ ｔ ｅ ａ ｕ ｔ ｕ ｎ ｏ ｏ ｙ ｍｏ ｕ ａ ｉ ｔ ｐ Ｏ ｚ ｏ
维普资讯
计 算 机 科 学 ２ ０ Ｖｏ． ５ ｏ ７ ０ ８ １ Ｎ ． ３
基 于 推 理 信 息 的 本 体 模 块 化 方 法
方 俊 郭 雷 王 晓东 （ 北工 业大 学 自动化 学 院 西 安 ７ ０ ７ ） 西 １ ０ ２
摘 要 本体模块化在 本体推理和复用等应 用中有 着极 为重要 的作用 。怎 么样将本体划分成 小的模块是 最基 本的 问
在 同一 较 小 范 围 ， 练 公 理 和 测 试 公 理 不 限定 范 围 ， 练 公 理 和 测 试 公 理 的 范 围 实现 三 次 不 同的 改 变 。 实验 的 结 果 尤 训 训
其是符合 实际应 用情 况的实验三的结果证明 了基 于推理信 息的本 体模 块化 方法的有效性 。
关键词 本 体 ， 块化 ， 理 ， 理 模 推 公
题， 目前本体模块化的 工作主要 集中在本 体复用的 目的上 。在这篇文章 中， 我们提 出了一种基 于推理信 息的本 体模块
化 方 法 ， 方 法 以提 高推 理 的性 能 为 目的 。在 基 于 同一 最 小 推 理 集 合 内的 公 理 之 间 内聚性 将 会 增 强 的 合 理 假 设 下 ， 该 我 们 的 模 块 化 方 法通 过 分析 每 次推 理 的 过 程 ， 到 推 理 的 最 小推 理 集 合 ， 后 增 强 最 小推 理 集 合 内公 理 之 间 的 内 聚 得 然 度 ， 后 根 据 内聚 度 将 本 体 划分 成 模 块 。在 评 估 阶段 ， 们 首 先使 用 训 练 公 理 划 分 本 体 ， 后 通 过 测 试 公 理 来 调 查 本 最 我 然 体 推 理 性 能提 高 的程 度 。根 据训 练 公 理 和 测 试 公 理 所 属 范 围 的不 同， 们 使 用 了三 组 实验 ： 练 公 理 和 测 试 公 理 限 定 我 训
Ａｂ ｔａ ｔ Ｔｈ ｒ ｒ ｗｉ ｇ ｎ ｅ ｏ ｐ ｌ ｉ ｇ ｔ ｅ ｐ ｉｃ ｐ ｅｏ ｄ ｌｒｔ Ｏ ｒ ｐ ｅ ｅ ｔ ｔ ｎ ｆ ｎ ｏｏ ｉａ ｎ ｗｌｄ ｅ ｓｒ ｃ ｅ ｅ ｉ ａ ｇ ｏ ｎ ｅ ｄ ｆ ｒａ ｐ ｙｎ ｈ ｒｎ ｉ ｌ ｆｍｏ ｕ ａ ｉ ｔ ｅ ｒ ｓ ｎ ａ ｉ ｓ ｏ ｔ ｌ ｇ ｃ ｌ ｏ ｅ ｇ ｓ ｙ ｏ ｏ ｋ
Ｍ ｉｉ ｌ ａ ｓ ｎｎ ｔ ｆｅ ｅ ｙｒａ ｎｎ ａ ｋ ｂ ｎ ｌｚｎ ｈ ｒ ｃ ｓ ｆｒａ ｏ ｉｇ，ｈ ｎ ｃ ｈ ｓ ｎ ｂ ｔ ｅ ￣ｏ ｎ ｎｍ ａ Ｒｅ ｏ ｉｇ Ｓ ｖ ｒ ｅ ｓ ｉｇ ｔｓ ｙａ ａｙ ｉｇ ｔ ｅｐ ｏ ｅ ｓｏ ｅｓ ｎｎ ｔ ｅ ｏ ｅ ｉ ｅｗｅ ｎ ａ ｍｓｉ ｅ ｏ ｏ ｏ
Ｒｅ ｓ ｎｉ ｇ Ｉ ｏ ｍ ａ ｉ ｎ Ｂａ ｅ Ｏｎ ｏ ｏ ｙ Ｍ ｏ ｌ ｒｚ ｔｏ ａ ｏ ｎ ｎｆ ｒ ｔｏ ｓ ｄ ｔ ｌ ｇ ｄｕ ａ ｉ ａ ｉ ｎ ＦＡＮＧ ｕ ＧＵＯ ｉ Ｗ ＡＮＧ ａ － ｏ ｇ Ｊｎ Ｌｅ Ｘｉｏ ｄ ｎ
（ Ｃｏｌ ｇｅｏ ｔｍ ａｉｎ， ｏ ｗ ｅｔ ｍ ｌｔ ｃ ｎ ｃ ｌ ｎｖ ｒ ｉｙ， ’ ｎ ７ ００ ２， ｉａ ｌ ｆＡｕ ｏ ｔ ｅ ｏ Ｎ ￣ｈ ｓｅ Ｐｏｙ ｅｈ ｉａ ｉｅ ｓｔ Ｘｉａ ｉｔ ｔ ｈ ｃ ｌｂｌ ｙａ ｄ ｒ－ ｓ ｆｏ ｔ ｌｇ ． ｗ Ｏｐ ｒｉｏ ｎ ｌｇ ｕ ｍ ａｉａｌ ｈ ｒｍａｙｉｓ ｅ ｎ ｏ ｄ ｒｔ ｆｃｌａｅｔ ｅｓ ａａ ｉ ｔ ｎ ｅｕ ｅｏ ｎ ｏ ｙ Ｈｏ ｔ ａ ｔ ｉｎｏ ｔ ｏ ｙａ ｔ Ｏ ｉ ｉ Ｏ ｔ Ｏ Ｏ ｔ ｌ ｉ ｔ ｅｐ ｉ ｒ ｕ ， ｃ ｙｓ ｓ ｃ ｒｅ ｔｒｓａ ｃ ｒ ａ ｏ ｕ ｅ ｎ ｒ －ｓ ｆ ｎ ｏｏ ｙ Ｉ ｈ ａ ｅ ， ｅ ｓ ｎｎ ｎｏ ｍ ａｉｎ ｂ ｓｄｏ ｔｌｇ ｄ ｌｒ ｕ ｒｎ ｅ ｅ ｒｈｗｏ ｋ ｈ ｓｆｃ ｓｄ ｏ ｅｕ ｅｏ ｔｌｇ ． ｎｔ ｅｐ ｐ ｒ ａｒ ｏ ｉｇ ｉｆｒ ｔ ａ ｅ ｎ ｏ ｙｍｏ ｕａ — ｏ ａ ｏ Ｏ ｉａｉｎｍｅｈ ｄ ｉ ｐ ｅ ｅ ｔｄ ｆｒｔ ｅｐ ｒｏ ｅｏ ｎ ａ ｃｎ ｈ ｅ ｓ ｎｎ ｅ ｆｒ ｎ ｅ ｉ ｎ ｌｇ ． ｃ ｒｉｇ ｔ ｈ ｓ ｚ ｔ ｔｏ ｓ ｒｓ ｎｅ ｈ ｕ ｐ ｓ ｆｅ ｈ ｎ ｉｇ ｔ ｅｒ ａｏ ｉｇ ｐ ｒ ｍａ ｃ ｎＯ ｔ ｏ ｙ Ａｃ ｏ ｄｎ ｔｅ ａ — ｏ ｏ ｏ Ｏ Ｏ
ｔ ｅ ｓ ｍ ｅ Ｍ ｉ ｉ ｌＲｅ ｓ ｎ ｎ ｔｉ ｎ ｒ ｓ ；ｆｎ ｌ ｎ ｏ ｏ ｙ ｉ ｐ ｒ ｉｉｎ ｄ ｉ ｔ ｄ ｌ ｓ ａ ｃ ｒ ｉ ｇ ｔ ｏ ｅ ｉｎ Ｉ ｈ ｈ ａ ｎ ｍ ａ ｏ ｉ ｇ Ｓ ｓｉ ｃ ｅ ｅ ｉ ａ ｌ ｏ ｔ ｌｇ ｓ ａ ｔ ｏ ｅ ｎ ｍｏ ｕ ｅ ｃ ｏ ｎ ｃ ｈ ｓｏ ． ｎ ｔ ｅ ａ ｅ ａ ｄ ｙ ｔ Ｏ ｄ Ｏ ｅ ａ ｕ ｔ ｎ ｓ ａ ｅ ｔ ａｎ ｎ ￣ｏ ｒ ｓ ｄ ｌ ｒ ｅｏ ｔ ｌ ｇ ｉ ｔ ｔ ｅ ｏ ｅ ｔ ｍｏ ｒ ａ ｒｅ ｖ ｓ ｉ ａ ｅ ｖ ｌ ａ ｉ ｔ ｇ ， ｒ ｉ ｉ ｇ ａ ｍｓａ ｅｕ ｅ ｔ ｍｏ ｕ ａ ｉ ｎ ｏ ｙ ｆ ｓ ｌ ｈ ｎ ｓ ｍｅ ｔ ｓ ｏ ｄ Ｏ ｚ Ｏ ｒ ｙ， ａ ｍｓ ａ ｅ ｃ ｒ ｉｄ ｔ ｉ ｅ ｔ ｔ Ｏ ｎ ｇ ｔ ｅ ｅ ａ ｃ ｍｅ ｔ ｏ ｅ ｓ ｎ ｎ ｅ ｆ ｒ ｎ ｅ ｈ ｎ ｎ ｅ ｎ ｆ ｒ ａ ｏ ｉ ｇ ｐ ｒｏ ｍａ ｃ ．Ｔｈ ｅ ｘ ｅ ｉ ｎ ｓ ａ ｅ ｕ ｅ ｖ ｌ ａ ｅ ｏ ｒ ｏ ｔ ｌｇ ｄ ｌ ｒ ａ ｉ ｎ ａ — ｈ ｒｅ ｅ ｐ ｒ ｍｅ ｔ ｒ ｓ ｄ ｔ ｅ ａ ｕ ｔ ｕ ｎ ｏ ｏ ｙ ｍｏ ｕ ａ ｉ ｔ ｐ Ｏ ｚ ｏ
维普资讯
计 算 机 科 学 ２ ０ Ｖｏ． ５ ｏ ７ ０ ８ １ Ｎ ． ３
基 于 推 理 信 息 的 本 体 模 块 化 方 法
方 俊 郭 雷 王 晓东 （ 北工 业大 学 自动化 学 院 西 安 ７ ０ ７ ） 西 １ ０ ２
摘 要 本体模块化在 本体推理和复用等应 用中有 着极 为重要 的作用 。怎 么样将本体划分成 小的模块是 最基 本的 问
在 同一 较 小 范 围 ， 练 公 理 和 测 试 公 理 不 限定 范 围 ， 练 公 理 和 测 试 公 理 的 范 围 实现 三 次 不 同的 改 变 。 实验 的 结 果 尤 训 训
其是符合 实际应 用情 况的实验三的结果证明 了基 于推理信 息的本 体模 块化 方法的有效性 。
关键词 本 体 ， 块化 ， 理 ， 理 模 推 公
题， 目前本体模块化的 工作主要 集中在本 体复用的 目的上 。在这篇文章 中， 我们提 出了一种基 于推理信 息的本 体模块
化 方 法 ， 方 法 以提 高推 理 的性 能 为 目的 。在 基 于 同一 最 小 推 理 集 合 内的 公 理 之 间 内聚性 将 会 增 强 的 合 理 假 设 下 ， 该 我 们 的 模 块 化 方 法通 过 分析 每 次推 理 的 过 程 ， 到 推 理 的 最 小推 理 集 合 ， 后 增 强 最 小推 理 集 合 内公 理 之 间 的 内 聚 得 然 度 ， 后 根 据 内聚 度 将 本 体 划分 成 模 块 。在 评 估 阶段 ， 们 首 先使 用 训 练 公 理 划 分 本 体 ， 后 通 过 测 试 公 理 来 调 查 本 最 我 然 体 推 理 性 能提 高 的程 度 。根 据训 练 公 理 和 测 试 公 理 所 属 范 围 的不 同， 们 使 用 了三 组 实验 ： 练 公 理 和 测 试 公 理 限 定 我 训
Ａｂ ｔａ ｔ Ｔｈ ｒ ｒ ｗｉ ｇ ｎ ｅ ｏ ｐ ｌ ｉ ｇ ｔ ｅ ｐ ｉｃ ｐ ｅｏ ｄ ｌｒｔ Ｏ ｒ ｐ ｅ ｅ ｔ ｔ ｎ ｆ ｎ ｏｏ ｉａ ｎ ｗｌｄ ｅ ｓｒ ｃ ｅ ｅ ｉ ａ ｇ ｏ ｎ ｅ ｄ ｆ ｒａ ｐ ｙｎ ｈ ｒｎ ｉ ｌ ｆｍｏ ｕ ａ ｉ ｔ ｅ ｒ ｓ ｎ ａ ｉ ｓ ｏ ｔ ｌ ｇ ｃ ｌ ｏ ｅ ｇ ｓ ｙ ｏ ｏ ｋ