基于本体的语义分析过程与方法的研究应用.pdf
4页
null null l à ° ù : 2010null08null19; © í ° ù : 2010null09null23null null Á [ " : 国家自然科学基金资助项目( 70971068);南京审计学院校级课题( NSK2009 /B18);江苏省政府留学奖学金资助项目null null T e º :张文秀( 1975null),女,山西汾阳人,讲师,博士,主要研究方向为信息系统审计( w enxiu zhang2@ gm ai.l com );陈伟( 1976null ), 男,山东单县人,副教授,博士后,主要研究方向为审计信息化;朱庆华( 1963null),男,江苏丹阳人,教授,博导,博士,主要研究方向为信息资源管理. ¿ ' 8 ¥ Ô l s V ñ Ð Z E ¥ ù î ¨ *f Ó ® 1a, ç null ¿ 1b, ë i ¿ 2( 1. 南京审计学院 a. 审计系; b. 信息管理系, 南京 211815; 2. 南京大学国家信息资源管理南京研究基地, 南京 210093)K null 1 : 为了提高信息化环境下语义分析能力, 将本体引入语义分析 b通过对典型本体构建方法的比较与综合,形成一种持续优化的本体构建方法,在此基础上进行概念分析 a关系推理 b进一步对比基于本体的语义分析和其他语义分析方法,指出基于本体的语义分析更具系统性 a针对性,推理能力强 b最后,将基于本体的语义分析应用到软件缺陷分析系统中 b结果表明,本方法能够集成到原有系统中并有效进行关系推理和冲突识别 b1 o M : 本体; 本体构建; 语义分析; 软件缺陷; 关系推理Ï m s Ë | : TP391null null null Ó D S ½ : Anull null null Ó c I | : 1001null3695( 2011) 03null0961null04do:i 10. 3969 / .j issn. 1001null3695. 2011. 03. 048Research and app lication of process and m ethods ofonto logynullbased sem an tic ana lysisZHANG W ennullx iu1a, CHEN W e i1b, ZHU Q ingnullhua2(1. a. Dept. ofAudit, b. Dept. of InformationManagement, NanjingAuditUniversity, Nanjing 211815, China; 2. NationalCenterfor InfornullmationResourceManagement, NanjingUniversity, Nanjing 210093, China)Abstract: In order to mi prove the capab ility of sem antic analysis in in form ationized environm en ts, brought ontology into senullm antic analys is. Firstly, it suggested a comprehensive ontology bu ild ing m ethod after comparing and integrating typ ical ontolonullgy bu ildingm ethods. On th is basis, it gave conceptual analysis and relation inference. By com paring ontologynullbased sem anticanalysis w ith other sem antic analysism ethods, it show ed that the form er was m ore system ic, more targeted w ith better reasonnulling ability. Finally, integrated function of ontologynullbased sem antic analysis into existing system, and developed the capacityfor relation inference and con flict recognition by taking an exam ple of softw are defect inform ation analysis.Key words: ontology; ontology bu ild ing; sem antic analysis; software defec;t relation inference0null ýÛ " Ô l © aÔ l 5 × ( semantic fie ld ) Ô l O ( senullm antic fram e) [ 1]© Ô l Ø Ô l Ø ³ ¥ 4 , Ô l ¥ ùî ï v 9 b Ä Ì â / ,¹ B ç 5 × Ï ¥ ÿ Z4 ` É Ô l ª ë ¥ s , ³ Ô l © M O ¥ £ ù / , YV M 1 À Q 1 " ¥ í Ð s Ë , î } V ¥ Ô l É 4| a8 a v bLee© ¦ [ 2]î 4 ¥ Ô l © ¥ 9 8 O Ï ,'8 ^ F î s , ñ ¹ Ô l © ¥ L C 4 V Z aÀ Q Ä¥ © M 8 " b' Ó Y V 1 s C µ ¥ Å ' 8 y Z E 7 ¨ ÷ F ªÄ ¥ Z E y ' 8 , î B ñ ¥ Ô l © ,i | ' 8 Ð " d É ý ¤ bF ' 8 µ w Ø ? ï , y 7 V [ æ ¨ ' 8Ï ¥ Ô l 1 " # w Ø ? 5 É w Ø h ,L C ¿ ' 8 ¥ Ôl s ,1 ¿ d 9 E ? 5 ¥ Ô l s µ ÷ r ¥ < F [ 8, 9] bæ ¨ ' 8 ¥ S Ä a T Ä + Ä w Ø ÿ ? , V [ µ r ³ % Èq J ¥ ? S V U a Z Ð s w Ø © 1 o Ù 5 , ÷ Èq J s µ A ÷ Z , P J s Ç K ¿ J á a J î É © e s , 7 ? É ÷ < W a÷ ' Æ ¥ J Ô l s ,Ü c A T ç l 2 ü Ï ¥ Ô l 1 " ? p Y V w Ø 4 | , | È q J µ r ¹ Ð ¹ F ® V Z ¥ © M b3null 1null ¿ ' 8 ¥ È q J Ô l s " d ¿ ' 8 ¥ Ô l s ¨ H [ µ r a" î ¹ ð 5 , 'Ð V ? ð µ 5 × ¨ ñ ½ ¥ $ " î Ô l s P ? èT ¨ , 7 ^ × O B * ¥ " d by N , V ð µ " dÏ 9 F 5 × ' 8 o Ô l s v bV K ª A , ¿ ' 8¥ Ô l s " d ¨ e ± ¥ s ª 8 " ² , s ¹ $ ª aÿ? ª aV U ª Ø ª ,  m 2î U b1) $ ª null " d î ³ ¥ T " d a o 5× ' 8 b È q J 5 Ø 7 ý ,³ C µ ¨ ñ ½ ¥ T" d o ¥ $ , 5 × E ' 8 ý T ¥ x T / , v ' 8 ¥ y Z E Ð , æ ¨ P ro tnullgnull© ' 8 I OW L'8 í Ô ý , y i 5 Ø È q J 5 × ' 8 bc µ ~ ¶ Ô l ¥ J 5 Ø 5 × ' 8 ? ¹ È q F ® ¥ F ® a© M ? CÐ Z 4 ¦ û , ¹ æ ¨ ' 8 ¥ Ô l s ? ï £ U v J ª ¥ © M ? p S z - ù ! b2)ÿ ? ª null ^ æ ¨ C µ 5 × ¨ ñ ½ ¥ ] H , 9 F Ôl s c , [ L C ¿ ' 8 ¥ Ô l s ÿ ? b5 × ¨ ñ ½B î ® ñ ÿ ? v F î , È q J 5 Ø " d ª , ñ B îµ J õ 6 a° Ø d 9 aenullm ailY © © v bÔ l s ñ ½ ¥ý T @ ñ ^ : a) | ¨ ¼ ¥ Ô l s ³ 。
