第1期 郭新峰，等：扩展断言知识检验一致的需求建模方法 ·89· consistency and reasonability [J].Chinese Joumal of Com- 1512 puters,2013,36(1):10-21. SHEN Guohua,ZHANG Wei,HUANG Zhiqiu.Descrip- [6]NECHES R,FIKES R E,FININ T,et al.Enabling tech- tion-logic-based feature modeling and verification [J]. nology for knowledge sharing[J].AI Magazine,1991,12 Joumal of Computer Research and Development,2013,50 (3):36-56. (7):1501-1512. [7]GRUBER T R.A translation approach to portable ontology [17]刘全，崔志明，高阳，等.一种逻辑强化学习的tableau推 specifications[].Knowledge Acquisition,1993,5(3): 理方法[J].智能系统学报，2008,3(4)：355-360， 199-220. LIU Quan,CUI Zhi-ming,GAO Yang,et al.Tableau rea- [8]陆汝钤，金芝，陈刚面向本体的需求分析J].软件学报， soning method based on logical reinforcement learning[]. 2000.11(8):1009-1017. CAAI Transactions on Intelligent Systems,2008,3(4): LU Rugian,JIN Zhi,CHEN Gang.Ontology-oriented re- 355-360. quirements analysis[J].Journal of Software,2000,11(8): [18]叶育鑫，欧阳丹彤，刘瑶，等.基于SHOIQ(D)的本体一 1009-1017. 致性检测[J]计算机工程与科学，2009,31(8)：7-10. [9]陈小红，尹斌，金芝基于问题框架的需求建模：一种本体 YE Yuxin,OUYANG Dantong,LIU Yao,et al.Consisten- 制导的方法[J].软件学报，2011,22(2)：177-194. cy checking of the SHOIQ(D)-based ontology[J].Comput- CHEN Xiaohong,YIN Bin,JIN Zhi.Ontology-guided re- er Engineering Science,2009,31(8):7-10. quirements modeling based on problem frames approach[]. [19]石莲，孙吉贵描述逻辑综述[J].计算机科学，2006,33 Journal of Software,2011,22(2):177-194. (1):194-197 [10]FRANZ B,DIEGO C,DEBORAH L,et al.The descrip- SHI Lian,SUN Jigui.Description Logic Survey J].Com- tion logic handbook:theory,implementation,and applica- puter Science,2006,33(1):194-197. tions[M].New York Cambridge University Press,2003: [20]古华茂，王勋，凌云，等.完全析取范式群判定SHON 555-574. (D)-可满足性[J].软件学报，2010,21(8)：1863-1877. [11]GRUBER T R.A translation approach to portable ontology GU Huamao,WANG Xun,LING Yun,et al.Determining specifications[J].Knowledge Acquisition,1993,5(2): the SHOIN (D)-satisfiability with a complete disjunctive 199-220. normal form group[]].Journal of Software,2010,21(8): [12]FRANZ B,IAN H,ULRIKE S.Description logics as on- 1863-1877. tology languages for the semantic web[C]//Mechanizing 作者简介： Mathematical Reasoning:Essays in Honor of JORG H 郭新峰，男，1974年生，硕士，主要 Siekmann on the Occasion of His 60th Birthday.2005: 研究方向软件工程、智能计算及应用。 228-248. [13]SCHMIDT S,SMOLKA G.Attributive concept descriptions with complements [J].Artificial Intelligence,1991.48 (1):1-26. [14]常亮，史忠植，陈立民，等.一类扩展的动态描述逻辑 马世龙.男，1953年生，教授，博士 [J].软件学报，2010.21(1)：1-13. 生导师，博士，主要研究方向为计算机 CHANG Liang,SHI Zhongzhi,CHEN Limin,et al.Fami- 软件与理论。 ly of extended dynamic description logics[J].Journal of Software,2010,21(1):1-13. [15]常亮，史忠植，古天龙，等.可判定的时序动态描述逻辑 [J]软件学报，2011,22(7)：1524-1537 吕江花，女，1975年生，副教授，博土 CHANG Liang,SHI Zhongzhi,GU Tianlong,et al.Decid- 后，主要研究方向为计算机软件与理论。 able Temporal Dynamic Description Logics[J].Journal of Software,2011,22(7):1524-1537. [16]沈国华，张伟，黄志球，等.基于描述逻辑的特征语义建 模及验证[J1.计算机研究与发展，2013,50(7)：1501-糟燥灶泽蚤泽贼藻灶糟赠 葬灶凿 则藻葬泽燥灶葬遭蚤造蚤贼赠 咱 允暂援 悦澡蚤灶藻泽藻 允燥怎则灶葬造 燥枣 悦燥皂鄄 责怎贼藻则泽袁 圆园员猿袁 猿远渊员冤 院 员园鄄圆员援 咱远暂晕耘悦匀耘杂 砸袁 云陨运耘杂 砸 耘袁 云陨晕陨晕 栽袁 藻贼 葬造援 耘灶葬遭造蚤灶早 贼藻糟澡鄄 灶燥造燥早赠 枣燥则 噪灶燥憎造藻凿早藻 泽澡葬则蚤灶早 咱 允暂援 粤陨 酝葬早葬扎蚤灶藻袁 员怨怨员袁 员圆 渊猿冤 院 猿远鄄缘远援 咱苑暂 郧砸哉月耘砸 栽 砸援 粤 贼则葬灶泽造葬贼蚤燥灶 葬责责则燥葬糟澡 贼燥 责燥则贼葬遭造藻 燥灶贼燥造燥早赠 泽责藻糟蚤枣蚤糟葬贼蚤燥灶泽咱 允暂援 运灶燥憎造藻凿早藻 粤糟择怎蚤泽蚤贼蚤燥灶袁 员怨怨猿袁 缘 渊 猿冤 院 员怨怨鄄圆圆园援 咱愿暂陆汝钤袁金芝袁陈刚援面向本体的需求分析咱允暂援软件学报袁 圆园园园袁员员渊愿冤 院员园园怨鄄员园员苑援 蕴哉 砸怎择蚤葬灶袁 允陨晕 在澡蚤袁 悦匀耘晕 郧葬灶早援 韵灶贼燥造燥早赠鄄燥则蚤藻灶贼藻凿 则藻鄄 择怎蚤则藻皂藻灶贼泽 葬灶葬造赠泽蚤泽咱 允暂援 允燥怎则灶葬造 燥枣 杂燥枣贼憎葬则藻袁 圆园园园袁 员员渊愿冤 院 员园园怨鄄员园员苑援 咱怨暂陈小红袁尹斌袁金芝援基于问题框架的需求建模院一种本体 制导的方法咱允暂援软件学报袁 圆园员员袁 圆圆渊圆冤 院 员苑苑鄄员怨源援 悦匀耘晕 载蚤葬燥澡燥灶早袁 再陨晕 月蚤灶袁 允陨晕 在澡蚤援 韵灶贼燥造燥早赠要早怎蚤凿藻凿 则藻鄄 择怎蚤则藻皂藻灶贼泽 皂燥凿藻造蚤灶早 遭葬泽藻凿 燥灶 责则燥遭造藻皂 枣则葬皂藻泽 葬责责则燥葬糟澡咱 允暂援 允燥怎则灶葬造 燥枣 杂燥枣贼憎葬则藻袁 圆园员员袁 圆圆渊圆冤 院 员苑苑鄄员怨源援 咱员园暂云砸粤晕在 月袁 阅陨耘郧韵 悦袁 阅耘月韵砸粤匀 蕴袁 藻贼 葬造援 栽澡藻 凿藻泽糟则蚤责鄄 贼蚤燥灶 造燥早蚤糟 澡葬灶凿遭燥燥噪院 贼澡藻燥则赠袁 蚤皂责造藻皂藻灶贼葬贼蚤燥灶袁 葬灶凿 葬责责造蚤糟葬鄄 贼蚤燥灶泽咱酝暂援 晕藻憎 再燥则噪 院 悦葬皂遭则蚤凿早藻 哉灶蚤增藻则泽蚤贼赠 孕则藻泽泽袁 圆园园猿院 缘缘缘鄄缘苑源援 咱员员暂郧砸哉月耘砸 栽 砸援 粤 贼则葬灶泽造葬贼蚤燥灶 葬责责则燥葬糟澡 贼燥 责燥则贼葬遭造藻 燥灶贼燥造燥早赠 泽责藻糟蚤枣蚤糟葬贼蚤燥灶泽咱 允暂援 运灶燥憎造藻凿早藻 粤糟择怎蚤泽蚤贼蚤燥灶袁 员怨怨猿 袁 缘渊 圆冤 院 员怨怨鄄圆圆园援 咱员圆暂云砸粤晕在 月袁 陨粤晕 匀袁 哉蕴砸陨运耘 杂援 阅藻泽糟则蚤责贼蚤燥灶 造燥早蚤糟泽 葬泽 燥灶鄄 贼燥造燥早赠 造葬灶早怎葬早藻泽 枣燥则 贼澡藻 泽藻皂葬灶贼蚤糟 憎藻遭咱 悦暂 辕 辕 酝藻糟澡葬灶蚤扎蚤灶早 酝葬贼澡藻皂葬贼蚤糟葬造 砸藻葬泽燥灶蚤灶早院 耘泽泽葬赠泽 蚤灶 匀燥灶燥则 燥枣 允韵砸郧 匀 杂蚤藻噪皂葬灶灶 燥灶 贼澡藻 韵糟糟葬泽蚤燥灶 燥枣 匀蚤泽 远园贼澡 月蚤则贼澡凿葬赠袁 圆园园缘院 圆圆愿鄄圆源愿援 咱 员猿暂 杂悦匀酝陨阅栽 杂袁 杂酝韵蕴运粤 郧援 粤贼贼则蚤遭怎贼蚤增藻 糟燥灶糟藻责贼 凿藻泽糟则蚤责贼蚤燥灶泽 憎蚤贼澡 糟燥皂责造藻皂藻灶贼泽 咱 允 暂援 粤则贼蚤枣蚤糟蚤葬造 陨灶贼藻造造蚤早藻灶糟藻袁 员怨怨员援 源愿 渊员冤 院 员鄄圆远援 咱员源暂常亮袁史忠植袁陈立民袁等援一类扩展的动态描述逻辑 咱允暂援软件学报袁 圆园员园袁 圆员渊员冤 院 员鄄员猿援 悦匀粤晕郧 蕴蚤葬灶早袁 杂匀陨 在澡燥灶早扎澡蚤袁 悦匀耘晕 蕴蚤皂蚤灶袁 藻贼 葬造援 云葬皂蚤鄄 造赠 燥枣 藻曾贼藻灶凿藻凿 凿赠灶葬皂蚤糟 凿藻泽糟则蚤责贼蚤燥灶 造燥早蚤糟泽 咱 允暂援 允燥怎则灶葬造 燥枣 杂燥枣贼憎葬则藻袁 圆园员园袁 圆员渊员冤 院 员鄄员猿 援 咱员缘暂常亮袁史忠植袁古天龙袁等援可判定的时序动态描述逻辑 咱允暂援软件学报袁 圆园员员袁 圆圆渊苑冤 院 员缘圆源鄄员缘猿苑 悦匀粤晕郧 蕴蚤葬灶早袁 杂匀陨 在澡燥灶早扎澡蚤袁 郧哉 栽蚤葬灶造燥灶早袁 藻贼 葬造援 阅藻糟蚤凿鄄 葬遭造藻 栽藻皂责燥则葬造 阅赠灶葬皂蚤糟 阅藻泽糟则蚤责贼蚤燥灶 蕴燥早蚤糟泽咱 允暂援 允燥怎则灶葬造 燥枣 杂燥枣贼憎葬则藻袁 圆园员员袁 圆圆渊苑冤 院 员缘圆源鄄员缘猿苑 援 咱员远暂沈国华袁张伟袁黄志球袁等援基于描述逻辑的特征语义建 模及验证咱允暂援计算机研究与发展袁 圆园员猿袁 缘园渊苑冤 院 员缘园员鄄 员缘员圆 杂匀耘晕 郧怎燥澡怎葬袁 在匀粤晕郧 宰藻蚤袁 匀哉粤晕郧 在澡蚤择蚤怎援 阅藻泽糟则蚤责鄄 贼蚤燥灶鄄造燥早蚤糟鄄遭葬泽藻凿 枣藻葬贼怎则藻 皂燥凿藻造蚤灶早 葬灶凿 增藻则蚤枣蚤糟葬贼蚤燥灶 咱 允 暂援 允燥怎则灶葬造 燥枣 悦燥皂责怎贼藻则 砸藻泽藻葬则糟澡 葬灶凿 阅藻增藻造燥责皂藻灶贼袁 圆园员猿袁 缘园 渊苑冤 院 员缘园员鄄员缘员圆援 咱员苑暂刘全袁崔志明袁高阳袁等援一种逻辑强化学习的 贼葬遭造藻葬怎 推 理方法咱允暂援智能系统学报袁 圆园园愿袁 猿渊源冤 院 猿缘缘鄄猿远园援 蕴陨哉 匝怎葬灶袁悦哉陨 在澡蚤鄄皂蚤灶早袁郧粤韵 再葬灶早袁 藻贼 葬造援 栽葬遭造藻葬怎 则藻葬鄄 泽燥灶蚤灶早 皂藻贼澡燥凿 遭葬泽藻凿 燥灶 造燥早蚤糟葬造 则藻蚤灶枣燥则糟藻皂藻灶贼 造藻葬则灶蚤灶早咱 允暂援 悦粤粤陨 栽则葬灶泽葬糟贼蚤燥灶泽 燥灶 陨灶贼藻造造蚤早藻灶贼 杂赠泽贼藻皂泽袁 圆园园愿袁 猿 渊 源冤 院 猿缘缘鄄猿远园援 咱员愿暂叶育鑫袁欧阳丹彤袁刘瑶袁等援基于 杂匀韵陨匝渊 阅冤的本体一 致性检测咱允暂援计算机工程与科学袁圆园园怨袁 猿员渊愿冤 院苑鄄员园援 再耘 再怎曾蚤灶袁韵哉再粤晕郧 阅葬灶贼燥灶早袁 蕴陨哉 再葬燥袁 藻贼 葬造援 悦燥灶泽蚤泽贼藻灶鄄 糟赠 糟澡藻糟噪蚤灶早 燥枣 贼澡藻 杂匀韵陨匝渊阅冤 鄄遭葬泽藻凿 燥灶贼燥造燥早赠咱 允暂援悦燥皂责怎贼鄄 藻则 耘灶早蚤灶藻藻则蚤灶早 驭 杂糟蚤藻灶糟藻袁 圆园园怨袁 猿员渊愿冤院苑鄄员园援 咱员怨暂石莲袁孙吉贵援描述逻辑综述咱允暂援计算机科学袁圆园园远袁 猿猿 渊员冤 院员怨源鄄员怨苑援 杂匀陨 蕴蚤葬灶袁 杂哉晕 允蚤早怎蚤援 阅藻泽糟则蚤责贼蚤燥灶 蕴燥早蚤糟 杂怎则增藻赠 咱 允暂援 悦燥皂鄄 责怎贼藻则 杂糟蚤藻灶糟藻袁圆园园远袁 猿猿渊员冤院员怨源鄄员怨苑援 咱圆园暂古华茂袁王勋袁凌云袁等援 完全析取范式群判定 杂匀韵陨晕 渊阅冤 鄄可满足性咱允暂援软件学报袁圆园员园袁 圆员渊愿冤 院员愿远猿鄄员愿苑苑援 郧哉 匀怎葬皂葬燥袁 宰粤晕郧 载怎灶袁 蕴陨晕郧 再怎灶袁 藻贼 葬造援 阅藻贼藻则皂蚤灶蚤灶早 贼澡藻 杂匀韵陨晕 渊 阅冤 鄄泽葬贼蚤泽枣蚤葬遭蚤造蚤贼赠 憎蚤贼澡 葬 糟燥皂责造藻贼藻 凿蚤泽躁怎灶糟贼蚤增藻 灶燥则皂葬造 枣燥则皂 早则燥怎责咱 允暂援 允燥怎则灶葬造 燥枣 杂燥枣贼憎葬则藻袁圆园员园袁圆员渊 愿冤 院 员愿远猿鄄员愿苑苑援 作者简介院 郭新峰袁男袁员怨苑源 年生袁硕士袁主要 研究方向软件工程尧智能计算及应用遥 马世龙袁男袁员怨缘猿 年生袁教授袁博士 生导师袁博士袁主要研究方向为计算机 软件与理论遥 吕江花袁女袁员怨苑缘 年生袁副教授袁博士 后袁主要研究方向为计算机软件与理论遥 第 员 期摇摇摇摇摇摇摇摇摇摇摇摇摇摇 郭新峰袁等院扩展断言知识检验一致的需求建模方法 窑愿怨窑