已成为 Ｏ ＷＬ技 术推 广应用 的 主要瓶 颈 。将 语义 Ｗｅ ｂ 规 则 语言 （ Ｓ ｅ ｍ ａ ￣ｉ ｃ Ｗｅ ｂ Ｒ ｕ ｌ ｅ Ｌ ａ ｎ ｇ ｕ ａ ｇ ｅ ， Ｓ ＷＲ Ｌ ） 引 入 到本 体 中 ， 能 大
大改 善本体 的推 理能 力 ， 从 而挖 掘 出许 多新 的隐含知 识 。文 中将 本 体 引入 到 故 障树 领 域 中 ， 对 如 何 构建 故 障 树本 体 及相 应的 Ｓ ＷＲ Ｌ 规 则进 行 了研究 。首先 采 用 Ｏ ＷＬ语 言 构 建 故 障 树 领 域 本 体 ， 然 后 将 故 障树 中事 件 之 间 的逻 辑 关 系 转 化 成
中图分类 号 ： Ｔ Ｐ ３ １ １ 文献标 识码 ： Ａ 文章 编号 ： １ ６ ７ ３ — ６ ２ ９ Ｘ （ ２ ０ １ ５ ） １ ０ — ０ ０ ６ ７ — ０ ４
ｄ ｏ ｉ ： １ ０ ． ３ ９ ６ ９ ／ ｊ ． ｉ ｓ ｓ ｎ ． １ ６ ７ ３ — ６ ２ ９ Ｘ． ２ ０ １ ５ ． １ ０ ． ０ １ ４
ｐ ｒ ｏ ｖ ｅ ｔ ｈ ｅ ａ ｂ ｉ ｌ ｉ ｔ ｙ ｏ ｆ ｒ ｅ ａ ｓ ｏ ｎ ｉ ｎ ｇ ｂ ｙ ｉ ｎ ｒ ｔ ｏ ｄ ｕ ｃ ｉ ｎ ｇ Ｓ ｅ ｍａ ｎｔ ｉ ｃ Ｗｅ ｂ Ｒ ｕ ｌ ｅ Ｌ ｎｇ ａ ｕ ａ ｇ ｅ（ Ｓ ＷＲ Ｌ）ｉ ｎ ｔ ｏ ｏ ｎ ｔ ｏ ｌ ｏ ｇ ｙ， ｗ ｈ ｉ ｃ ｈ Ｃ ｎ ａ ｇ ｉｎ ａ ｉ ｍｐ ｌ ｉ ｃ ｉ ｔ ｎｏ ｋ ｗｌ ｅ ｄ ｇ ｅ ．
Ｓ ＷＲ Ｌ 规 则语 言 ， 最 后将故 障树 领域 本体 和 Ｓ ＷＲ Ｌ规则 放入 Ｊ Ｅ Ｓ Ｓ 推 理机 中进 行推理 ， 能挖 掘 出故 障树 中的 隐含 知识 ， 从 而
解决系统故障的快速定位。通过实验证明了文中提出方法的可行性和有效性。
关键 词 ： 本体 ； 故 障树 ； 语 义 Ｗｅ ｂ 规 则语 言 ； 推 理规 则
ｄ ｏ ｍａ ｉ ｎ ｏ ｎ ｔ ｏ ｌ ｏｇ ｙ ｂ ｙ Ｗｅ ｂ Ｏｎ ｔ ｏ ｌ ｏ ｇ ｙ Ｌａ ｎ ｇ ｕ ａ ｇ ｅ ． Ｓ ｅ ｃ ｏ ｎ ｄ， ｔ ｒ ａ ｎ ｓ ｆ ｏ ｒ ｍ ｔ ｈ ｅ ｌ ｏ ｇ ｉ ｃ ａ ｌ ｒ ｅ ｌ ａ ｔ ｉ ｏ ｎ ｓ ｈｉ ｐ ａ ｍｏ ｎ ｇ ｅ ｖ ｅ ｎ ｔ ｓ ｏ ｆ ＦＦ ｉ ｎ ｔ ｔ
周 亮 ， 黄 志球 ， 倪 川
（ 南 京航 空航 天大 学 计 算机 科 学与技 术 学院 ， 江 苏 南京 ２ １ ０ ０ １ ６ ）
摘 要： 本体具 有较 强 的知识 表达 能力 ， 目前 已经成 为计 算机 学科 的一个 研究 热 点 。本体 在 知识 推 理方 面 的能 力 比较 弱 ，
Ｉ ｎ ｔ ｈ ｉ ｓ ｐ ａ ｐ ｅ ｒ ． ｉ ｎ ｔ ｒ ｏ ｄ ｕ ｃ ｅ ｏ ｎ ｔ ｏ ｌ ｏ ｇ ｙ ｉ ｎ ｔ ｏ ｆ ａ ｕ ｌ ｔ ｔ ｒ ｅ ｅ ｄ ｏ ｍａ ｉｎ ａ ｎ ｄ ｓ ｔ ｕ ｄ ｙ ｈ ｏ ｗ ｔ ｏ ｃ ｏ ｎ ｓ ｔ ｒ ｕ ｃ ｔ ａ Ｆ Ｔ ｄ ｏ ｍａ ｉｎ ｏ ｎ ｔ ｏ ｌ ｏ ｇ ｙ ｎｄ ａ Ｓ Ｗ ＲＬ． Ｆｉ ｒ ｓ ｔ ， ｃ ｏ ｎ ｓ ｔ ｒ ｕ ｃ ｔ ａ Ｆｒ
Ｒｅ ｓ ｅ ａ ｒ ｃ ｈ ｏ ｎ Ｏｎ ｔ ｏ ｌ ｏ ｇ ｙ Ｒｅ ａ ｓ ｏ ｎ ｉ ｎ ｇ Ｂａ ｓ ｅ ｄ Ｏ Ｒ Ｓ Ｗ ＲＬ Ｒｕ ｌ ｅ ｓ
ＺＨ ＯＵ Ｌｉ ａ ｎ ｇ， ＨＵ ＡＮ Ｇ Ｚｈ ｉ －ｑ ｉ ｕ， ＮＩ Ｃｈｕ ａ ｎ
（ Ｓ ｃ ｈ ｏ ｏ ｌ ｏ ｆ Ｃ ｏ ｍｐ ｕ ｔ ｅ ｒ Ｓ ｃ ｉ ｅ ｎ ｃ ｅ ａ ｎ ｄ Ｔ ｅ ｃ ｈ ｎ ｏ ｌ ｏ ｇ ｙ ， Ｎ ｎｊ ａ ｉ ｎ ｇ Ｕｎ ｉ ｖ ｅ ｒ ｓ ｉ ｔ ｙ ｏ ｆ Ａｅ ｒ ｏ ｎ ａ ｕ ｔ ｉ ｃ ｓ ａ ｎ ｄ Ａ ｓ ｔ ｒ ｏ ｎ ａ ｕ ｔ ｉ ｃ ｓ ， Ｎａ ｎ ｊ ｉ ｎ ｇ ２ １ ０ ０ １ ６ ， Ｃ ｈ ｉ ｎ ａ ）
第２ ５卷 第 １ ０期 ２ ０ １ ５年 １ ０月
计 算 机 技 术 与 发 展
Ｃ ０ＭＰ ＵＴ ＥＲ Ｔ ＥＣＨＮＯＬ ＯＧＹ ＡＮＤ ＤＥ ＶＥ ＬＯＰ ＭＥＮＴ
Ｖｏ １ ． ２ ５ Ｎｏ． １ ０ ０ｃ ｔ ． ２ ０１ ５
基于 Ｓ ＷＲ Ｌ规 则 的本 体 推 理研 究
ｔ ｏ ｌ ｏ ｇ ｙ ｈ ａ ｓ ａ ｗｅ ａ ｋ ａ ｂ ｉ ｌ ｉ ｔ ｙ ｉ ｎ ｋ ｎ ｏ ｗｌ ｅ ｄ ｇ ｅ ｒ ｅ ａ ｓ ｏ ｎ ｉ ｎ ｇ． ｗｈ ｉ ｃ ｈ ｍａ ｋｅ ｓ ｉ ｔ ａ ｍａ ｉ ｎ ｂ ｏ ｍｅ ｎ ｅ ｃ ｋ ｉ ｎ ｓ ｐ ｍａ ￣ｎ ｇ ｏ ｎ ｔ ｏ ｌ ｏ ｇ ｙ ｔ ｅ ｃ ｈ ｎ ｏ ｌ ｏ ｇ ｙ ． Ｉ ｔ ｗｉ ｌ ｌ ｇ ｍａ ｌ ｆ ｙ ｉ ｍ－
Ａｂ ｓ ｔ ｒ ａ ｃ ｔ ： Ｏｎ ｔ ｏ ｌ ｏ ｇ ｙ ｈ ａ ｓ ａ ｓ ｔ ｒ ｏ ｎ ｇ ａ ｂｉ ｌ ｉ ｔ ｙ ｔ ｏ ｅ ｘ ｐ ｒ ｅ ｓ ｓ ｋ ｎ ｏ ｗｌ ｅ ｄ ｇ ｅ ａ ｎ ｄ ｈ ａ ｓ ｂ ｅ ｃ ｏ ｍｅ ａ ｈ ｏ ｔ ｒ ｅ ｓ ｅ ａ ｒ ｃ ｈ ｔ ｏ ｐ ｉ ｃ ｉ ｎ ｃ ｏ ｍｐ ｕ ｔ ｅ ｒ ｓ ｃ ｉ ｅ ｎ ｃ ｅ ｃ ｕ ｒ ｒ ｅ ｎ ｔ ｌ ｙ ． Ｂｕ ｔ ｏ ｎ