本体构建中基于细分锁的并发控制方法
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
响到的相关节点加上意向锁 。利用意向锁 限制用户对节点某
些操作 ，如 用户不能对加了意向锁 的节 点再执行删除节点 的 操作 ，但是可 以编辑节点的属性 、实例等 。
定义 ５父节点）给定概念 Ｃ （ Ｃ， 其祖先概念定义为概念 Ｃ的父概念集合 ， Ｐ ｒｎ（） ｎｃ）３ｃ，） ａ ｅ ｔ ＝｛（ｉＩ（ｉ ∈Ｈ｝ ｃ ｃ 。 定义 ６相关节点）给定概念 Ｃ （ ∈Ｃ， 其对象属性 域对应 的
［ ｂｔａｔ ｏｌ ｏａ ｖ ｎｔ ｃ ｏ ｆ ｎｏ ｇ ｖ ｒ ｃ ｍ ｌ ａ ｄ ａｋ Ｉｏｔ ｑ ｉ ｓ ａｙ ｅｅ ｐｒ ｔ ｗ ｒ ｌ ｂ ｒ ｉ ｌ Ｈ ｗ ｖ ｒ Ａ ｓ ｃ］Ｃ ｌ ｂ ｒｔ ｅ ｏ ｓｕ ｔ ｎｏ ｔｌ ｙ ｓ ｙ ｏ ｐｉ ｔ ｓ．ｔ ｆ ｎ ｅ ｕ ｅ ｍ ｎ ｖ ｌ ｅ ｏｋ ｏ ａ ｏ ｔ ｅ ． ｏ ｅ ｅ ｒ ａ ｉ ｃ ｒ ｉ ｏ ｏ ｉａ ｅ ｃｅ ｔ ｅｒ ｒ ｄ ｏ ｓｏ ｃ ｌ ａｖ ｙ ，
Ｒ Ｃ× ｒｃ，，∈Ｒ表示 与 ｃ之间存在 ｒ Ｃ，（ｉ ） Ｃ ， 关系。
允许客户端 同步地访 问服务器 上的本体 。两者都支持基 本通
对 本体的基本操作是针对节点 的。下面给出节点相关的
定义 ：
信 方法 ，如聊天或论坛 。然而它们不支持版本控制 ，没有使 用任何加锁技术控制并发性 。文献【］ ５提出基于锁粒 度的协 同
中 分 号 Ｔ３ 圈 类 ： Ｐ９ １
本体构 建 中基 于细分锁 的并发控制 方法
李秀华 ，谢 强 ，丁秋林
（ 南京航 空航天 大学信息科 学与技术学院 ，南京 ２ ０ １） １０ ６
摘
要 ：本体 的协 同构建任务较为复杂 ，通常需要 多个开发人 员协 同工作才能完成 ，而当前的本体构建工具和方法缺乏对本体协 同构建 的
享的工作空间 中；（） ｏｌｂ ｒｔ ｅ ｒｔ ６ Ｊ ２Ｃ ｌ ｏａｉ ｏｔ 【，基于 Ｃ Ｓ结构 ， ａ ｖＰ ｇ４ ／
念的实例 ； ， 表示概 念的实例集 合 ；Ｈ 表示概念之间 的层次 关系 ， Ｈ￡Ｃ Ｃ （ ， ） ｘ ， ∈Ｈ 表示 Ｃ是 ｃ 的子概念 ；Ｒ表示概 ｃｃ ｉ ｆ 念 之 间除 了层 次关 系之 外 的所有 其 他 关系 的集 合 。
支持 。 此， 出一种基 于细分锁的并发控制方法 。 为 提 对节点 的操作进行划 分， 将最 小粒 度锁定到节点的操作单元上 ； 对锁 的类型进行细分 ，
针对不 同的操作对象 加上不同的锁 ，同时设计细分加锁算法 。应 用结果表 明 ，该方法能有效提高协 同开发的并发性和集成性 。 关健诃 ：本体 ；细分锁 ；协同构建 ；并发控制 ；锁粒度
［ ｅ ｏ ｄ ］ｏ ｔ ｏ ｙ ｓｂ ｉ ｓ ｎ ｏｋ ｃｌ ｂ ｒ ｉ ｎｔ ｃ ｏ ；ｏ ｃ ｒ ｎ ｃ ｎ ｏ ｌ ｋ ｒ ｕａ ｔ Ｋ ｙｗ ｒｓ ｎ ｌ ； ｄ ｉ ｏ ｃ ；ｏｌ ｏａ ｖ ｃ ｓ ｕ ｔ ｎ ｃｎ ｕ ｅ ｔ ｏ ｔ ｌ ｏ ａ ｌ ｉ ｏ ｇ ｕ ｖｉ ｌ ａ ｔｅｏ ｒ ｉ ｒ ； ｃ ｇｎ ｒｙ
据类 型属性 的域 类型是 基本 的数据 类型（ Ｓｒ ｇ ｎｅｅ， 如 ｔ ｎ ，Ｉｔｇｒ ｉ Ｃ ｒｉａ， ｌａ， ｏ ｌ ｎ Ｄ ｔ 等） ａｄｎｌＦｏｔＢ ｏｅ ， ａｅ ，而对象属性 的域类型是概 ａ
然而 ，目前现有 的 Ｏ ｔｌｇ ｎｏｏ ｙ构建工具有些是单机版 ，不 支持协 同，有 些能够在一 定程度 上支 持协同 ， 能力有限。 但 Ｏ ｔＥ ｉ２ 用事务和加锁机制来解决协 同问题 ， Ｏｎｏ ｄｔ ｎｏ ｄｔ］ ［采 但 ｔＥ ｉ 中对概念层次 中的一颗 完整 的子树进行加锁 ，并行开 发能力 很有 限，而且没有角色 的区分 ，普通开发者也 可以对本体操 作 ，可能会导致错误和冲突 。Ｐｏｔ６有 ２种方法支持协同操 ｒｔｇ 作 ：（） １插件 Ｃ —ｒｔｇ” ，支持 用户将 自己的资源 发布 到共 ｏＰ ｏｔ６ Ｊ
第３ ７卷 第 １ 期 ３
Ｖ＿ ．７ ０ ３ １
・
计
算
机
工
程
２１ ０ １年 ７月
Ｊ ｌ ｕ ｙ ２０１ １
Ｎｏ．３ １
Ｃｏ ｐ ｔ ｒＥｎｇ ｎ ｅ ｉ ｇ ｍ ｕｅ ｉ ｅ ｒｎ
软件技术与数据库 ・
文章 号 ０ ３ ８ ０ ）＿ ｏ — ３ 文 标 码ｔ 编 ｔ ０ ４ （ ｎ１＿ ７ ０ １ － ２ ２ ３ ０ １ － 献 识 Ａ
ＤＯｈ １ ．９ ９ ．ｓ．０ ０３ ２ ． １ ． ．２ ０３ ６ ／ｉ ｎ１０ —４ ８２ １１ ０ ２ ｊｓ ０ ３
１ 概 述
近年来 ，本体 日益成为企 业信 息系统中实现语 义驱动的 知识管理 的关键技术…。随着 企业信息化程度 的不 断提 高 ，
同本体构建意味着 多个 用户在不 同地方不 同时间或同一 时间 共 同对一个本体进行操作 。为 了控制多人操作 的并行性 ，本 文提出基于细分锁的并发控制方法。
以及本体在信 息系统中的广 泛应 用 ，本体 的规模变得越 来越 大 ，本体 的复杂度也越来越高 ，本体 的构建往往 需要多人协
同工作来完成 。
２ 本体的定义 ． １ 定义 ｌＯ ｔｌｇ ）定义 Ｏ ｔｌｇ 为元 组Ｏ＝（ Ｐ，日， ） （ ｎｏｏ ｙ ｎｏｏ ｙ ｃ，，， Ｒ ，
其 中， Ｃ表示概念集合 ，即 Ｃ：｛ Ｃ 一 ＣＪ； Ｐ表示概念 Ｃ， ，ｎ 的属性集合 ，即概念实例所具有 的属性集合 。属性分为数据 类型属性和对象属性 ，主要 区别在于属性域 的类型不 同。数
２ １ 年 ７月 ５日 ０１
定义 ４子孙节点）给定概念 Ｃ 其子孙概念定义 为概 （ Ｃ， ｅ 念 ｃ所 有下 层概念 集合 ， Ｄ ｓ ｎ（ ＝ ｌ（， ， ， ｅ ｅｔ ） ｛（）３ｃ （ Ｃ） ｃ ｃ ）ｃ …，
（， １ ， ） ∈日） 。Baidu Nhomakorabea
统 的并发度 。为此 ，本文引入意向锁 的概念 ，将节点可能影
也要加上相应的锁 ， 以防止对节点的操作导致本体的不一致 。
根据本文提 出的细分锁方法 ，加锁对象是节点 的操作单
元 。下面给出锁的定义 ：
定义 ７ （ 操作锁） 操作锁的集合Ⅳ （ ＝ ｎ（）Ｃ ＾ ＝，， Ｌｃ ｛ｌ Ｉ ∈Ｃ ｉ １ ） ｃ ２
…
加锁算法描述如 下： 。
，
集合 。
定义 ３子节点）给定概念 ｃ （ ∈Ｃ， 其子概 念定义为概念 Ｃ 所有子概念集合 ，Ｃ ｉ （ ＝｛（）３ｃｃ ∈Ｈ｝ ｈｌ ｃ ｎｃ Ｉ（， ） ｄ） １ ｉ 。
作者倚介 ： 李秀华（ ８ 一 ， 硕士研究 生， １ ５ ） 女， ９ 主研 方向 ： 知识工程 ，
人机交互 ；谢 强 ，副教授 、博士 ；丁秋林 ，教授 、博士 生导师
ｃ ｒｅ ｔｏ ｔ ｏ ｙ ｄ ｖ ｌ ｐ ｎ ｏ ｌ ｎ ｔ ｏ ｓ ａ ｅ ｌｃ ｕ ｐ ｒｉ ｇ ｔ ｔ Ｔｈ ｒ ｆ ｒ ， ｏ ｃ ｎ ｅ ｔｃ ｎ ｒ ｌｍｅ ｈ ｄ ｂ ｓ ｄ ｏ ｏ ｋ ｓ ｂ ｉ ｉ ｉ ｎ ｉ ｕ ｒ ｎ ｎ ｏｌ ｇ ｅ ｅ ｏ ｍｅ ｔｔ ｏ ｓ ａ ｄ ｍｅ ｄ ｒ ａ ｋ ｏｆｓ ｐ ｏ ｔ ｏ ｉ． ｅ ｅ ｏ ｅ ａ ｃ ｎ ｔＴ ｎ ｏ ｔｏ ｔ ｏ ａ ｅ ｎ ｌ ｃ ｕ ｄ ｖ ｓｏ ｓ ｈ ｎ ｐｒ ｐｏ ｅ ，ｗｈ ｃ ｉ ｉ ｅ ｏ ｓｉ ｔ ｏ ｅｓ ａｌ ｒｕ ｉｓａ ｃ ｒ ｉ ｏ ｔ ｅ ｏ ｅ ａ ｏ ｓｔ ｏ ｅ ， ｋｉ ｇ ｔ ｅ ｍｉ ｍａ ｒ ｎ ｌ ｒｔ ｆｌ ｃ ｅ ｔ ｅ ｏ ｒ ｔｏ ｏ ｓｄ ｉ ｈ ｄ ｖ ｄ ｓｎ ｄｅ ｎ ｏ ｓ ｍ ｍ ｌ ｅ ｎ ｔ ｃ ｏ ｄ ｎｇ ｔ ｐ ｒ ｔ ｎ ｏ ｎ ｄ ｓ ｍａ ｎ ｎｉ ｌｇ ａ ｕ ａ ｉ ｏ ｋ ｂ ｐｅ ａ ｎ ｈ ｉ ｈ ｙ ｏ ｈ ｉ ｕｎ ｔｏ ｏ ｅ ，ａ ｄ ａｓ ｕ ｄ ｖ ｄ ｓ ｔ ｅ ｌ ｃ ａ ｃ ｒ ｉ ｇ ｔ ｈ ｐ ｒ ｔ ｙ ｅ ｌ ｃ ｓ ｔ ｅ ｃ ｒｅ ｐ ｎ ｅ ｎ ｔ Ｆｕ ｔ ｒ ｒ ， ｈ ｏ ｋ ｎ ｌ ｏ ｔ ｍ ｓ ｉ ｆ ｎ ｄ ｓ ｎ ｏ ｓ ｂ ｉ ｉ ｅ ｈ ｏ ｋ， ｃ ｏ ｄ ｎ ｏ ｔ ｅ ｏ ｅ ａｉ ｔ ｐ ， ｏ ｋ ｈ ｏ ｒ ｓ ｏ ｄ ｎｔｕ ｉ． ｒ ｌ ｏｎ ｈｅ ｍｏ ｅ ｔ ｅ ｌ ｃ ｉ ｇ ａ ｇ ｒｈ ｉ ｉ
Ｃｏ ｃ ｒ ｅ ｔＣｏ ｔｏ ｅｈ ｄＢａ ｅ ｎ Ｓ ｂ ｉ ｉｉ ｎ Ｌｏ ｋ ｎ ｕ ｒｎ ｎｒ ｌ Ｍ ｔ ｏ ｓ ｄ ０ ｕ ｄ ｖｓ０ ｃ
ｉ ｔｌｇ ｎ ｔｕ ｔ ｎ ｎ Ｏｎ ｏ ｏ ｙ Ｃｏ ｓｒ ｃ ｉ ｏ
Ｌ ｕｈ ａＸｍ ａ ｇ ＤＩ Ｑｉ—ｎ Ｉ Ｘｉ－ｕ ， Ｑｉｎ ， ＮＧ ｕｌ ｉ
２ 细分镇
Ｏ ｔ ｏｙ的构建是一个非常复杂过程 ，不是一个人能完 ｎｌ ｏｇ 成 的，需要 很多领 域专家的参 与以及开发者的共同努力 。协
收稿 日期 ：２ １—２ １ ００１— ２
Ｅｍａ ：ｘ ｈａ９ ｍ ｉ ｏ － ｉ ｉ ｕ０ ＠ｇ ａ． ｍ ｌ ｕ ｌ ｃ
７ ２
计
算 机
工 程
定义 ２节点）给定概念 Ｃ Ｃ，其节点表示为 ：Ⅳ（ ＝ （ ∈ ｃ ）
｛（ ）Ｃ∈ｃ ； （ｆ＝（ ， Ｒ ，‘ 。其中 ， Ｐ 是 Ｃ的属性 ｃ ｌ ｆ ｉ ） ｃ ｃ Ｐ ， ， ） ） ｆ ｉ
集合 ； Ｒ 是 Ｃ ｔ 与其他概念之 间的关系集合 ； ， 是 Ｃ的实例 ｉ
本体开发方法 ，锁定的最小粒度为节点 ，根据节点之 间的关 联性以及用户的划分权 限实现本体 的协 同构建 。该方法在一 定程度上提高 了并行性 ，但 由于没有细分锁 的类型 ，且节点 操作 的多样 性 ，并发度有待进一步提 高。 为解决多人协 同构建中 的并发控制问题 ，提高操作 的协 同性和 并行 性 ，本文提 出一种基于细分锁 的并发控制 方法 。
概念集合 ，ｒｌｅ （） ｌｉ ａｇ（ｂ ｒ ） ｂ ｒ ∈ ） ｅ ｔ ｃ ＝｛（）Ｃ＝ｒｎ ｅ ｊ ｅ ， ｊ ｅ 。 ａｄ ｏｐ ｙ ｏｐ ｙ
３ 细分锁加锁算法
采用细分锁 加锁 方法 ，关键是要判断用户对 节点 的操作
类型 ，检查该节 点上是否有与该操作类型不相容 的锁对象 ， 然后根据判断节点决 定对节点加锁 。另外 ，对相 关联 的节点
ｌ ｝，其 中， ｎ（） ， Ｕ，ｌｐ ， ）；ｎ ） ＣＩ ｌ ｉ＝（（） ｉ，ｙ ｅ ｐ ｃ ｔｔ ｏ （ 为加锁
输入 用户 Ｕ ，节点 ｎ ） （ ，操作 叩 ｃ
ｄ ｓｇ ｅ ． ｐｉａｉｎｒｓｌｓｏ ａ ｉ ｍｅ ｏ ａ ｆｃ ｖ ｌ ｒｖ ｏ ｃｒｅｃ ｎ ｔｇａｉｎｏ ｅｃｌ ｂ ｒｔ ｅｄｖ ｌｐ ｎ． ｅｉｎｄ Ａｐ ｌ ｔ ｕｔｈ ｗｓｈ ｔ ｓ ｔ ｄＣ ｅ ｅｔ ｅｙｉ ｏ ｅ ｎｕｒｎ ｙａ ｄｉ ｅｒｔ ｆ ｌ ｏａｉ ｅｅｏ ｍｅ ｔ ｃ ｏ ｅ ｔ ｔ ｈ ｈ ｎ ｆ ｉ ｍｐ ｃ ｎ ｏ ｈ ｔ ｏａ ｖ
（ ｌ ｇ ｆｎｏｍａ ｏ ｃｅｃ ｎ ｅｈ ｏｏ ｙＮａｊ ｇ ｉｅｓ ｙｏ ｒｎ ｕｉｓ ｎ ｔ ｎｕｉｓＮａｊ ｇ２ ０ １ ， ｉａ Ｃｏｌ ｅ ｆｒ ｔ ｎＳ ｉ ｅａｄＴ ｃｎ ｌｇ ， ｎｉ ｖｒｉ ｆ ｏ ａｔ ｄＡｓ ｏ ａｔ ， ｎｉ １０ ６ Ｃｈｎ ） ｅ ｏＩ ｉ ｎ ｎ Ｕｎ ｔ Ａｅ ｃａ ｒ ｃ ｎ
些操作 ，如 用户不能对加了意向锁 的节 点再执行删除节点 的 操作 ，但是可 以编辑节点的属性 、实例等 。
定义 ５父节点）给定概念 Ｃ （ Ｃ， 其祖先概念定义为概念 Ｃ的父概念集合 ， Ｐ ｒｎ（） ｎｃ）３ｃ，） ａ ｅ ｔ ＝｛（ｉＩ（ｉ ∈Ｈ｝ ｃ ｃ 。 定义 ６相关节点）给定概念 Ｃ （ ∈Ｃ， 其对象属性 域对应 的
［ ｂｔａｔ ｏｌ ｏａ ｖ ｎｔ ｃ ｏ ｆ ｎｏ ｇ ｖ ｒ ｃ ｍ ｌ ａ ｄ ａｋ Ｉｏｔ ｑ ｉ ｓ ａｙ ｅｅ ｐｒ ｔ ｗ ｒ ｌ ｂ ｒ ｉ ｌ Ｈ ｗ ｖ ｒ Ａ ｓ ｃ］Ｃ ｌ ｂ ｒｔ ｅ ｏ ｓｕ ｔ ｎｏ ｔｌ ｙ ｓ ｙ ｏ ｐｉ ｔ ｓ．ｔ ｆ ｎ ｅ ｕ ｅ ｍ ｎ ｖ ｌ ｅ ｏｋ ｏ ａ ｏ ｔ ｅ ． ｏ ｅ ｅ ｒ ａ ｉ ｃ ｒ ｉ ｏ ｏ ｉａ ｅ ｃｅ ｔ ｅｒ ｒ ｄ ｏ ｓｏ ｃ ｌ ａｖ ｙ ，
Ｒ Ｃ× ｒｃ，，∈Ｒ表示 与 ｃ之间存在 ｒ Ｃ，（ｉ ） Ｃ ， 关系。
允许客户端 同步地访 问服务器 上的本体 。两者都支持基 本通
对 本体的基本操作是针对节点 的。下面给出节点相关的
定义 ：
信 方法 ，如聊天或论坛 。然而它们不支持版本控制 ，没有使 用任何加锁技术控制并发性 。文献【］ ５提出基于锁粒 度的协 同
中 分 号 Ｔ３ 圈 类 ： Ｐ９ １
本体构 建 中基 于细分锁 的并发控制 方法
李秀华 ，谢 强 ，丁秋林
（ 南京航 空航天 大学信息科 学与技术学院 ，南京 ２ ０ １） １０ ６
摘
要 ：本体 的协 同构建任务较为复杂 ，通常需要 多个开发人 员协 同工作才能完成 ，而当前的本体构建工具和方法缺乏对本体协 同构建 的
享的工作空间 中；（） ｏｌｂ ｒｔ ｅ ｒｔ ６ Ｊ ２Ｃ ｌ ｏａｉ ｏｔ 【，基于 Ｃ Ｓ结构 ， ａ ｖＰ ｇ４ ／
念的实例 ； ， 表示概 念的实例集 合 ；Ｈ 表示概念之间 的层次 关系 ， Ｈ￡Ｃ Ｃ （ ， ） ｘ ， ∈Ｈ 表示 Ｃ是 ｃ 的子概念 ；Ｒ表示概 ｃｃ ｉ ｆ 念 之 间除 了层 次关 系之 外 的所有 其 他 关系 的集 合 。
支持 。 此， 出一种基 于细分锁的并发控制方法 。 为 提 对节点 的操作进行划 分， 将最 小粒 度锁定到节点的操作单元上 ； 对锁 的类型进行细分 ，
针对不 同的操作对象 加上不同的锁 ，同时设计细分加锁算法 。应 用结果表 明 ，该方法能有效提高协 同开发的并发性和集成性 。 关健诃 ：本体 ；细分锁 ；协同构建 ；并发控制 ；锁粒度
［ ｅ ｏ ｄ ］ｏ ｔ ｏ ｙ ｓｂ ｉ ｓ ｎ ｏｋ ｃｌ ｂ ｒ ｉ ｎｔ ｃ ｏ ；ｏ ｃ ｒ ｎ ｃ ｎ ｏ ｌ ｋ ｒ ｕａ ｔ Ｋ ｙｗ ｒｓ ｎ ｌ ； ｄ ｉ ｏ ｃ ；ｏｌ ｏａ ｖ ｃ ｓ ｕ ｔ ｎ ｃｎ ｕ ｅ ｔ ｏ ｔ ｌ ｏ ａ ｌ ｉ ｏ ｇ ｕ ｖｉ ｌ ａ ｔｅｏ ｒ ｉ ｒ ； ｃ ｇｎ ｒｙ
据类 型属性 的域 类型是 基本 的数据 类型（ Ｓｒ ｇ ｎｅｅ， 如 ｔ ｎ ，Ｉｔｇｒ ｉ Ｃ ｒｉａ， ｌａ， ｏ ｌ ｎ Ｄ ｔ 等） ａｄｎｌＦｏｔＢ ｏｅ ， ａｅ ，而对象属性 的域类型是概 ａ
然而 ，目前现有 的 Ｏ ｔｌｇ ｎｏｏ ｙ构建工具有些是单机版 ，不 支持协 同，有 些能够在一 定程度 上支 持协同 ， 能力有限。 但 Ｏ ｔＥ ｉ２ 用事务和加锁机制来解决协 同问题 ， Ｏｎｏ ｄｔ ｎｏ ｄｔ］ ［采 但 ｔＥ ｉ 中对概念层次 中的一颗 完整 的子树进行加锁 ，并行开 发能力 很有 限，而且没有角色 的区分 ，普通开发者也 可以对本体操 作 ，可能会导致错误和冲突 。Ｐｏｔ６有 ２种方法支持协同操 ｒｔｇ 作 ：（） １插件 Ｃ —ｒｔｇ” ，支持 用户将 自己的资源 发布 到共 ｏＰ ｏｔ６ Ｊ
第３ ７卷 第 １ 期 ３
Ｖ＿ ．７ ０ ３ １
・
计
算
机
工
程
２１ ０ １年 ７月
Ｊ ｌ ｕ ｙ ２０１ １
Ｎｏ．３ １
Ｃｏ ｐ ｔ ｒＥｎｇ ｎ ｅ ｉ ｇ ｍ ｕｅ ｉ ｅ ｒｎ
软件技术与数据库 ・
文章 号 ０ ３ ８ ０ ）＿ ｏ — ３ 文 标 码ｔ 编 ｔ ０ ４ （ ｎ１＿ ７ ０ １ － ２ ２ ３ ０ １ － 献 识 Ａ
ＤＯｈ １ ．９ ９ ．ｓ．０ ０３ ２ ． １ ． ．２ ０３ ６ ／ｉ ｎ１０ —４ ８２ １１ ０ ２ ｊｓ ０ ３
１ 概 述
近年来 ，本体 日益成为企 业信 息系统中实现语 义驱动的 知识管理 的关键技术…。随着 企业信息化程度 的不 断提 高 ，
同本体构建意味着 多个 用户在不 同地方不 同时间或同一 时间 共 同对一个本体进行操作 。为 了控制多人操作 的并行性 ，本 文提出基于细分锁的并发控制方法。
以及本体在信 息系统中的广 泛应 用 ，本体 的规模变得越 来越 大 ，本体 的复杂度也越来越高 ，本体 的构建往往 需要多人协
同工作来完成 。
２ 本体的定义 ． １ 定义 ｌＯ ｔｌｇ ）定义 Ｏ ｔｌｇ 为元 组Ｏ＝（ Ｐ，日， ） （ ｎｏｏ ｙ ｎｏｏ ｙ ｃ，，， Ｒ ，
其 中， Ｃ表示概念集合 ，即 Ｃ：｛ Ｃ 一 ＣＪ； Ｐ表示概念 Ｃ， ，ｎ 的属性集合 ，即概念实例所具有 的属性集合 。属性分为数据 类型属性和对象属性 ，主要 区别在于属性域 的类型不 同。数
２ １ 年 ７月 ５日 ０１
定义 ４子孙节点）给定概念 Ｃ 其子孙概念定义 为概 （ Ｃ， ｅ 念 ｃ所 有下 层概念 集合 ， Ｄ ｓ ｎ（ ＝ ｌ（， ， ， ｅ ｅｔ ） ｛（）３ｃ （ Ｃ） ｃ ｃ ）ｃ …，
（， １ ， ） ∈日） 。Baidu Nhomakorabea
统 的并发度 。为此 ，本文引入意向锁 的概念 ，将节点可能影
也要加上相应的锁 ， 以防止对节点的操作导致本体的不一致 。
根据本文提 出的细分锁方法 ，加锁对象是节点 的操作单
元 。下面给出锁的定义 ：
定义 ７ （ 操作锁） 操作锁的集合Ⅳ （ ＝ ｎ（）Ｃ ＾ ＝，， Ｌｃ ｛ｌ Ｉ ∈Ｃ ｉ １ ） ｃ ２
…
加锁算法描述如 下： 。
，
集合 。
定义 ３子节点）给定概念 ｃ （ ∈Ｃ， 其子概 念定义为概念 Ｃ 所有子概念集合 ，Ｃ ｉ （ ＝｛（）３ｃｃ ∈Ｈ｝ ｈｌ ｃ ｎｃ Ｉ（， ） ｄ） １ ｉ 。
作者倚介 ： 李秀华（ ８ 一 ， 硕士研究 生， １ ５ ） 女， ９ 主研 方向 ： 知识工程 ，
人机交互 ；谢 强 ，副教授 、博士 ；丁秋林 ，教授 、博士 生导师
ｃ ｒｅ ｔｏ ｔ ｏ ｙ ｄ ｖ ｌ ｐ ｎ ｏ ｌ ｎ ｔ ｏ ｓ ａ ｅ ｌｃ ｕ ｐ ｒｉ ｇ ｔ ｔ Ｔｈ ｒ ｆ ｒ ， ｏ ｃ ｎ ｅ ｔｃ ｎ ｒ ｌｍｅ ｈ ｄ ｂ ｓ ｄ ｏ ｏ ｋ ｓ ｂ ｉ ｉ ｉ ｎ ｉ ｕ ｒ ｎ ｎ ｏｌ ｇ ｅ ｅ ｏ ｍｅ ｔｔ ｏ ｓ ａ ｄ ｍｅ ｄ ｒ ａ ｋ ｏｆｓ ｐ ｏ ｔ ｏ ｉ． ｅ ｅ ｏ ｅ ａ ｃ ｎ ｔＴ ｎ ｏ ｔｏ ｔ ｏ ａ ｅ ｎ ｌ ｃ ｕ ｄ ｖ ｓｏ ｓ ｈ ｎ ｐｒ ｐｏ ｅ ，ｗｈ ｃ ｉ ｉ ｅ ｏ ｓｉ ｔ ｏ ｅｓ ａｌ ｒｕ ｉｓａ ｃ ｒ ｉ ｏ ｔ ｅ ｏ ｅ ａ ｏ ｓｔ ｏ ｅ ， ｋｉ ｇ ｔ ｅ ｍｉ ｍａ ｒ ｎ ｌ ｒｔ ｆｌ ｃ ｅ ｔ ｅ ｏ ｒ ｔｏ ｏ ｓｄ ｉ ｈ ｄ ｖ ｄ ｓｎ ｄｅ ｎ ｏ ｓ ｍ ｍ ｌ ｅ ｎ ｔ ｃ ｏ ｄ ｎｇ ｔ ｐ ｒ ｔ ｎ ｏ ｎ ｄ ｓ ｍａ ｎ ｎｉ ｌｇ ａ ｕ ａ ｉ ｏ ｋ ｂ ｐｅ ａ ｎ ｈ ｉ ｈ ｙ ｏ ｈ ｉ ｕｎ ｔｏ ｏ ｅ ，ａ ｄ ａｓ ｕ ｄ ｖ ｄ ｓ ｔ ｅ ｌ ｃ ａ ｃ ｒ ｉ ｇ ｔ ｈ ｐ ｒ ｔ ｙ ｅ ｌ ｃ ｓ ｔ ｅ ｃ ｒｅ ｐ ｎ ｅ ｎ ｔ Ｆｕ ｔ ｒ ｒ ， ｈ ｏ ｋ ｎ ｌ ｏ ｔ ｍ ｓ ｉ ｆ ｎ ｄ ｓ ｎ ｏ ｓ ｂ ｉ ｉ ｅ ｈ ｏ ｋ， ｃ ｏ ｄ ｎ ｏ ｔ ｅ ｏ ｅ ａｉ ｔ ｐ ， ｏ ｋ ｈ ｏ ｒ ｓ ｏ ｄ ｎｔｕ ｉ． ｒ ｌ ｏｎ ｈｅ ｍｏ ｅ ｔ ｅ ｌ ｃ ｉ ｇ ａ ｇ ｒｈ ｉ ｉ
Ｃｏ ｃ ｒ ｅ ｔＣｏ ｔｏ ｅｈ ｄＢａ ｅ ｎ Ｓ ｂ ｉ ｉｉ ｎ Ｌｏ ｋ ｎ ｕ ｒｎ ｎｒ ｌ Ｍ ｔ ｏ ｓ ｄ ０ ｕ ｄ ｖｓ０ ｃ
ｉ ｔｌｇ ｎ ｔｕ ｔ ｎ ｎ Ｏｎ ｏ ｏ ｙ Ｃｏ ｓｒ ｃ ｉ ｏ
Ｌ ｕｈ ａＸｍ ａ ｇ ＤＩ Ｑｉ—ｎ Ｉ Ｘｉ－ｕ ， Ｑｉｎ ， ＮＧ ｕｌ ｉ
２ 细分镇
Ｏ ｔ ｏｙ的构建是一个非常复杂过程 ，不是一个人能完 ｎｌ ｏｇ 成 的，需要 很多领 域专家的参 与以及开发者的共同努力 。协
收稿 日期 ：２ １—２ １ ００１— ２
Ｅｍａ ：ｘ ｈａ９ ｍ ｉ ｏ － ｉ ｉ ｕ０ ＠ｇ ａ． ｍ ｌ ｕ ｌ ｃ
７ ２
计
算 机
工 程
定义 ２节点）给定概念 Ｃ Ｃ，其节点表示为 ：Ⅳ（ ＝ （ ∈ ｃ ）
｛（ ）Ｃ∈ｃ ； （ｆ＝（ ， Ｒ ，‘ 。其中 ， Ｐ 是 Ｃ的属性 ｃ ｌ ｆ ｉ ） ｃ ｃ Ｐ ， ， ） ） ｆ ｉ
集合 ； Ｒ 是 Ｃ ｔ 与其他概念之 间的关系集合 ； ， 是 Ｃ的实例 ｉ
本体开发方法 ，锁定的最小粒度为节点 ，根据节点之 间的关 联性以及用户的划分权 限实现本体 的协 同构建 。该方法在一 定程度上提高 了并行性 ，但 由于没有细分锁 的类型 ，且节点 操作 的多样 性 ，并发度有待进一步提 高。 为解决多人协 同构建中 的并发控制问题 ，提高操作 的协 同性和 并行 性 ，本文提 出一种基于细分锁 的并发控制 方法 。
概念集合 ，ｒｌｅ （） ｌｉ ａｇ（ｂ ｒ ） ｂ ｒ ∈ ） ｅ ｔ ｃ ＝｛（）Ｃ＝ｒｎ ｅ ｊ ｅ ， ｊ ｅ 。 ａｄ ｏｐ ｙ ｏｐ ｙ
３ 细分锁加锁算法
采用细分锁 加锁 方法 ，关键是要判断用户对 节点 的操作
类型 ，检查该节 点上是否有与该操作类型不相容 的锁对象 ， 然后根据判断节点决 定对节点加锁 。另外 ，对相 关联 的节点
ｌ ｝，其 中， ｎ（） ， Ｕ，ｌｐ ， ）；ｎ ） ＣＩ ｌ ｉ＝（（） ｉ，ｙ ｅ ｐ ｃ ｔｔ ｏ （ 为加锁
输入 用户 Ｕ ，节点 ｎ ） （ ，操作 叩 ｃ
ｄ ｓｇ ｅ ． ｐｉａｉｎｒｓｌｓｏ ａ ｉ ｍｅ ｏ ａ ｆｃ ｖ ｌ ｒｖ ｏ ｃｒｅｃ ｎ ｔｇａｉｎｏ ｅｃｌ ｂ ｒｔ ｅｄｖ ｌｐ ｎ． ｅｉｎｄ Ａｐ ｌ ｔ ｕｔｈ ｗｓｈ ｔ ｓ ｔ ｄＣ ｅ ｅｔ ｅｙｉ ｏ ｅ ｎｕｒｎ ｙａ ｄｉ ｅｒｔ ｆ ｌ ｏａｉ ｅｅｏ ｍｅ ｔ ｃ ｏ ｅ ｔ ｔ ｈ ｈ ｎ ｆ ｉ ｍｐ ｃ ｎ ｏ ｈ ｔ ｏａ ｖ
（ ｌ ｇ ｆｎｏｍａ ｏ ｃｅｃ ｎ ｅｈ ｏｏ ｙＮａｊ ｇ ｉｅｓ ｙｏ ｒｎ ｕｉｓ ｎ ｔ ｎｕｉｓＮａｊ ｇ２ ０ １ ， ｉａ Ｃｏｌ ｅ ｆｒ ｔ ｎＳ ｉ ｅａｄＴ ｃｎ ｌｇ ， ｎｉ ｖｒｉ ｆ ｏ ａｔ ｄＡｓ ｏ ａｔ ， ｎｉ １０ ６ Ｃｈｎ ） ｅ ｏＩ ｉ ｎ ｎ Ｕｎ ｔ Ａｅ ｃａ ｒ ｃ ｎ