·86 智能系统学报 第10卷 出主要的实例约束规则。 如：一个ROB断言模块(AssertionBlock)ablock含一 表6ROB实例约束 组断言：概念断言Errand(?e),表示e是一个需求 Table 6 Individual constraints in ROB 任务：Business(?b),表示b是一个业务功能；Or Individual Constraint ganization(?o),表示o是一个组织；关系断言has ① hasErand(？e,?x)A hasOrg(？x,？z)→hasSubO(？e,？ Sub0(?0,?o1),表示组织o中包含规模更小的组 z) 织01 ②hasSub(0(?x,？o)→hasLead(?x,？o) 通过定义ROB本体概念体系以及约束、性质， hasRse(??y A hasBusi(?AhasStale(?? 在描述逻辑中建立知识库，并将需求建模过程描述 s)Ahas0rg(？s,？o)→hasRscR(?x,？o) 为创建ROB断言模块的过程，利用描述逻辑推理能 ④ hasOrg(?x,?y)AhasBusi(?x,?)AhasState(?2,? 力进行一致性检查和验证，目的是发现不完整、不一 s)Ahas0rg(？s,?o)→hasSub0(？x,？o) 致问题。 ⑤hasTask(?x,？y）A hasErd(?y,?z)→isA(?x,？z) 性质1完整性。一个ROB断言模块若满足 ⑥hasErd(?x,?y)AhasTask(?y,?z)→isA(?x,?z） 所有概念约束则称为具有概念完整性：满足所有关 4)性质 系约束称具有关系完整性：满足所有实例约束称具 通过限定实例间关系和性质，建立可推导的公 有实例完整性。一个ROB断言模块具有完整性当 式，约束对应的需求语义冲突，如：hasSub与isA存 且仅当同时具有概念完整性、关系完整性和实例完 在互逆性质：ROB概念、实例间所有性质包括传递 整性。 性(Transitive)、对称性(Symmetry)、函数关系(Func- 定义3冲突。对一个ROB知识库KBK,ROB ion)和逆关系(inverse)、属性继承(Property Inherit) 断言模块中任意断言按ROB性质推导公式，若出现 和特性继承(Characteristics inherit)。表7列出 形如-R(a,b)AR(a,b)的推论，即ROB断言模 ROB性质。 块冲突。 表7ROB性质 性质2一致性。若一个ROB断言模块具有 Table 7 Universal inference-rule in ROB 完整性，且对知识库KBK不存在冲突，则称具有一 regular Associate 致性。 ROB需求一致的建模过程是在本体知识库基 hasSubO,hasSubR,hasSub,isA,has- Transitive 础上不断扩展断言知识的过程，下面进行说明： Lead,has Funcdep,hasPremise, 第一，扩展断言知识过程描述：1)创建ROB断 Symmetry differentFrom,sameAs 言模块，捕获需求，根据语义抽取ROB需求对象及 Function hasBusi,hasOrg,hasRsc,hasErd 联系，将这些对象、联系表示为ROB断言，形成ROB inverse hasSub,isA),hasErd,has 断言模块：2)完整性检查，若具有完整性则进行第3 Property Inherit hasSub.isA.InstancOf 步，否则根据检查结果增加断言以扩展ROB断言模 hasLead,hasSubo),hasFuncdep, 块，扩展后重新执行第2步完整性检查：3)一致性 Characteristics inherit hasSubR),(hasSub0,hasSub), 检查，若具有一致性则进行第4步，否则根据检查结 hasSubR,hasSub) 果修改断言后执行第2步完整性检查：4)扩展断言 根据关系性质可构造出更多推导公式，用于推 知识。 理验证，以检查和判定实例断言可满足性。 ROB断言模块对应一个在知识库KB上的解释 3.3检验一致的需求建模过程 (即ROB断言模块的一个模型)M1,M,作为新的断 ROB本体知识库包括概念集合(Concept)、关 言知识扩展为特定断言库ABox A,;ROB断言模块 系集合(Association)和规则集合(Constraint)。 具有原子性，一个ROB断言模块要么被取消，要么 定义1ROB知识库。ROB知识库KB= 作为断言知识增加到ABox。 {TBox,ABox},其中TBox术语公理集合包含了ROB 第二，扩展断言库过程描述：ROB基于递归分 概念（表1）、关系（表2、3）、约束（表4~6）公式： 解思想反复获取需求，每次增加新的ROB断言模块 ABOx是ROB断言模块的有限集合。 都对应一模型M,整个建模过程就是一个有限集 定义2ROB断言模块。ROB断言模块是 合：{M:Ii=1,2,…,n},其中每个元素M:是一个 ROB断言的有限集合，包括概念断言和角色断言。 模型；模型M:对应特定的断言库ABox A:,可作为出主要的实例约束规则遥 表 远摇 砸韵月 实例约束 栽葬遭造藻 远摇 陨灶凿蚤增蚤凿怎葬造 糟燥灶泽贼则葬蚤灶贼泽 蚤灶 砸韵月 陨灶凿蚤增蚤凿怎葬造 悦燥灶泽贼则葬蚤灶贼 淤 澡葬泽耘则葬灶凿渊 钥 藻 袁钥 曾 冤夷澡葬泽韵则早渊 钥 曾 袁钥 扎 冤寅澡葬泽杂怎遭韵渊 钥 藻 袁钥 扎 冤 于 澡葬泽杂怎遭韵渊钥 曾 袁钥 燥冤寅澡葬泽蕴藻葬凿渊 钥 曾 袁钥 燥冤 盂 澡葬泽砸泽糟渊 钥 曾 袁钥 赠 冤夷澡葬泽月怎泽蚤渊 钥 曾 袁钥 扎 冤 夷澡葬泽杂贼葬贼藻渊 钥 扎 袁钥 泽冤夷澡葬泽韵则早渊 钥 泽袁钥 燥冤寅澡葬泽砸泽糟砸渊 钥 曾 袁钥 燥冤 榆 澡葬泽韵则早渊 钥 曾 袁钥 赠 冤夷澡葬泽月怎泽蚤渊 钥 曾 袁钥 扎 冤 夷 澡葬泽杂贼葬贼藻渊 钥 扎 袁钥 泽冤夷澡葬泽韵则早渊 钥 泽袁钥 燥冤寅澡葬泽杂怎遭韵渊 钥 曾 袁钥 燥冤 虞 澡葬泽栽葬泽噪渊 钥 曾 袁钥 赠 冤夷澡葬泽耘则凿渊 钥 赠 袁钥 扎 冤寅蚤泽粤渊 钥 曾 袁钥 扎 冤 愚 澡葬泽耘则凿渊 钥 曾 袁钥 赠 冤夷澡葬泽栽葬泽噪渊 钥 赠 袁钥 扎 冤寅蚤泽粤渊 钥 曾 袁钥 扎 冤 摇 摇 源冤性质 通过限定实例间关系和性质袁建立可推导的公 式袁约束对应的需求语义冲突袁如院澡葬泽杂怎遭 与 蚤泽粤 存 在互逆性质曰砸韵月 概念尧实例间所有性质包括传递 性渊栽则葬灶泽蚤贼蚤增藻冤 尧对称性渊 杂赠皂皂藻贼则赠冤 尧函数关系渊 云怎灶糟鄄 贼蚤燥灶冤和逆关系渊蚤灶增藻则泽藻冤 尧属性继承渊孕则燥责藻则贼赠 陨灶澡藻则蚤贼冤 和特性继承 渊 悦澡葬则葬糟贼藻则蚤泽贼蚤糟泽 蚤灶澡藻则蚤贼 冤 遥 表 苑 列 出 砸韵月 性质遥 表 苑摇 砸韵月 性质 栽葬遭造藻 苑摇 哉灶蚤增藻则泽葬造 蚤灶枣藻则藻灶糟藻鄄则怎造藻 蚤灶 砸韵月 则藻早怎造葬则 粤泽泽燥糟蚤葬贼藻 栽则葬灶泽蚤贼蚤增藻 澡葬泽杂怎遭韵袁 澡葬泽杂怎遭砸袁 澡葬泽杂怎遭袁 蚤泽粤袁 澡葬泽鄄 蕴藻葬凿袁澡葬泽 云怎灶糟凿藻责袁澡葬泽孕则藻皂蚤泽藻袁 杂赠皂皂藻贼则赠 凿蚤枣枣藻则藻灶贼云则燥皂袁 泽葬皂藻粤泽 云怎灶糟贼蚤燥灶 澡葬泽月怎泽蚤袁澡葬泽韵则早袁澡葬泽砸泽糟袁澡葬泽耘则凿 蚤灶增藻则泽藻 渊 澡葬泽杂怎遭袁蚤泽粤冤 袁 渊 澡葬泽耘则凿袁澡葬泽 孕则燥责藻则贼赠 陨灶澡藻则蚤贼 澡葬泽杂怎遭袁蚤泽粤袁陨灶泽贼葬灶糟韵枣 悦澡葬则葬糟贼藻则蚤泽贼蚤糟泽 蚤灶澡藻则蚤贼 渊 澡葬泽蕴藻葬凿袁 澡葬泽杂怎遭韵 冤 袁 渊 澡葬泽云怎灶糟凿藻责袁 澡葬泽杂怎遭砸 冤 袁 渊 澡葬泽杂怎遭韵袁 澡葬泽杂怎遭 冤 袁 渊 澡葬泽杂怎遭砸袁澡葬泽杂怎遭冤 摇 摇 根据关系性质可构造出更多推导公式袁用于推 理验证袁以检查和判定实例断言可满足性遥 猿援猿摇 检验一致的需求建模过程 砸韵月 本体知识库包括概念集合渊 悦燥灶糟藻责贼冤 尧关 系集合渊粤泽泽燥糟蚤葬贼蚤燥灶冤和规则集合渊悦燥灶泽贼则葬蚤灶贼冤 遥 定义 员 摇 砸韵月 知识库遥 砸韵月 知识库 运月 越 喳栽月燥曾袁粤月燥曾札 袁其中 栽月燥曾 术语公理集合包含了 砸韵月 概念渊表 员冤尧关系渊表 圆尧猿冤尧约束渊表 源 耀 远冤 公式曰 粤月燥曾 是 砸韵月 断言模块的有限集合遥 定义 圆 摇 砸韵月 断言模块遥 砸韵月 断言模块是 砸韵月 断言的有限集合袁包括概念断言和角色断言遥 如院一个 砸韵月 断言模块渊粤泽泽藻则贼蚤燥灶月造燥糟噪冤 葬遭造燥糟噪 含一 组断言院概念断言 耘则则葬灶凿渊 钥 藻 冤 袁 表示 藻 是一个需求 任务曰月怎泽蚤灶藻泽泽渊 钥 遭 冤 袁 表示 遭 是一个业务功能曰 韵则鄄 早葬灶蚤扎葬贼蚤燥灶渊 钥 燥 冤 袁 表示 燥 是一个组织曰 关系断言 澡葬泽鄄 杂怎遭韵渊 钥 燥 袁钥 燥员 冤 袁 表示组织 燥 中包含规模更小的组 织 燥员 遥 通过定义 砸韵月 本体概念体系以及约束尧性质袁 在描述逻辑中建立知识库袁并将需求建模过程描述 为创建 砸韵月 断言模块的过程袁利用描述逻辑推理能 力进行一致性检查和验证袁目的是发现不完整尧不一 致问题遥 性质 员摇 完整性遥 一个 砸韵月 断言模块若满足 所有概念约束则称为具有概念完整性曰满足所有关 系约束称具有关系完整性曰满足所有实例约束称具 有实例完整性遥 一个 砸韵月 断言模块具有完整性当 且仅当同时具有概念完整性尧关系完整性和实例完 整性遥 定义 猿摇 冲突遥 对一个 砸韵月 知识库 运月 运袁砸韵月 断言模块中任意断言按 砸韵月 性质推导公式袁若出现 形如劭 砸渊葬袁遭冤 夷 砸渊葬袁遭冤 的推论袁即 砸韵月 断言模 块冲突遥 性质 圆摇 一致性遥 若一个 砸韵月 断言模块具有 完整性袁且对知识库 运月 运 不存在冲突袁则称具有一 致性遥 砸韵月 需求一致的建模过程是在本体知识库基 础上不断扩展断言知识的过程袁下面进行说明院 第一袁扩展断言知识过程描述院员冤创建 砸韵月 断 言模块袁捕获需求袁根据语义抽取 砸韵月 需求对象及 联系袁将这些对象尧联系表示为 砸韵月 断言袁形成 砸韵月 断言模块曰圆冤完整性检查袁若具有完整性则进行第 猿 步袁否则根据检查结果增加断言以扩展 砸韵月 断言模 块袁扩展后重新执行第 圆 步完整性检查曰猿冤 一致性 检查袁若具有一致性则进行第 源 步袁否则根据检查结 果修改断言后执行第 圆 步完整性检查曰源冤扩展断言 知识遥 砸韵月 断言模块对应一个在知识库 运月 上的解释 渊即 砸韵月 断言模块的一个模型冤 酝员 袁 酝员 作为新的断 言知识扩展为特定断言库 粤月燥曾 粤员 曰砸韵月 断言模块 具有原子性袁一个 砸韵月 断言模块要么被取消袁要么 作为断言知识增加到 粤月燥曾遥 第二袁扩展断言库过程描述院砸韵月 基于递归分 解思想反复获取需求袁每次增加新的 砸韵月 断言模块 都对应一模型 酝 袁整个建模过程就是一个有限集 合院喳 酝蚤 渣 蚤 越 员袁圆袁噎袁灶札 袁其中每个元素 酝蚤 是一个 模型曰模型 酝蚤 对应特定的断言库 粤月燥曾 粤蚤 袁可作为 窑愿远窑 智 能 系 统 学 报摇摇摇摇摇摇摇摇摇摇摇摇摇摇摇摇摇摇 第 员园 卷