Một số phương pháp xử lý tri thức không nhất quán trong ontology

ĐẠIHOCHUE TRƯNGĐẠIHOCKHOA HOC NGUYENVĂNTRUNG MTSOPHƯƠNGPHÁP XỬLÝTRITHỨCKHƠNGNHATQNTRONGON TOLOGY LUNÁNTIENSĨKHOAHOCMÁYTÍNH HUE-NĂM2018 ĐẠIHOCHUE TRƯNGĐẠIHOCKHOA HOC NGUYENVĂNTRUNG MTSOPHƯƠNGPHÁP XỬLÝTRITHỨCKHƠNGNHATQNTRONGON TOLOGY CHUNNGÀNH:KHOAHOCMÁYTÍNHM ÃSO:62.48.01.01 LUNÁNTIENSĨKHOAHOCMÁYTÍNH Ngưihưngdȁnkhoahoc: PGS.TS.HỒNGHǓUHẠNH HUE-NĂM2018 LICAMĐOAN Tơix i n c a m đ o a n đ â y l c ô n g t r ì n h n g h i ê n c u d o t ô i t h ự c h i nd i s ự h n g dan PGS TS Hồng Hǎu Hạnh Nhǎng n®i dung cơng trình cơng bochungvớicáctácgiảkhácđãđượcsựđongýcủađongtácgiảkhiđưavàolu nán.Cács oli uv ket n g h i ên cáu t r ì nh bàyt ron g lu ná n làt run g th ực , khách q u an vàchưađượccơngbobởitácgiảnàotrongbatcácơngtrìnhnàokhác Nghiêncáusinh NguyenVănTrung LICẢMƠN Lu n án thực hi n hồn thành Khoa Cơng nghThơng tin, TrườngĐạih o c K h o a h o c , Đ i h o c H u e T r o n g s u o t q u t r ì n h h o c t pv t h ự c h i n l u ná n , nh n rat nhieu quan tâm, đ®ng viên, giúp thay giáo hướng dan,thayc ô g i o t r o n g K h o a C ô n g n g h T h ô n g ti n , P h ò n g Đ o t o S a u đ i h o c v B a n GiámhiuTrườngĐạihocKhoahoc Tôix i n b y t ỏ l ò n g b i e t n s â u s ac đ e n P G S TS.HoàngH ǎ u H n h l n g i t h a y t n tình hướng dan, đ®ng viên truyen đạt nhǎng kinh nghi m q báu nghiêncáukhoahocđetơicóthehồnthànhlunánnày Tơi xin chân thành cảm ơn quý thay cô giáo Khoa Công ngh Thông tin đãtạođieukin thun lợitrongcơngtácđetơi cóthehồnthànhcơngvicnghiêncáucủamình.Tơixincảmơnqthaycơvàcánb®củaPhịng ĐàotạoSauđạihoc,BanGiámhiuTrườngĐạihocKhoahocđãgiúpđơtơitrongvichồnthànhkehoạchhoctp Tơi xin trân cảm ơn q thay giáo H®i đong Khoa hoc KhoaCơngnghTh n g tinđãđocvàđưaranhǎnggópý xácđángcholunánnày Tơi xin trân cảm ơn quý thay cô giáo anh chị đong nghi p KhoaCôngnghT h ô n g tinđãgiúpđơ,chiasẻtrongqtrìnhcơngtác,hoctp,nghiêncáuvàthực hinlunán Cuoi tơi xin cảm ơn nhǎng người thân gia đình ln ủng h®, chia sẻkhókhăntrongsuotqtrình hoctp,nghiêncáuvàthựchi nlunán Nghiêncáusinh NguyenVănTrung MỤCLỤC Licamđoan Licảmơn Mnclnc Danhmnctf i viettat,thu tngfi Danhmnckýhiu Danhm n c b ả n g , b i e u Danhmnchìnhvẽ Mđ a u Chương TONGQUANVEXỬLÝ TRITHỨC KHÔNG i ii iii v vi vii viii NHATQUÁNTRONG ONTOLOGY 1.1 Ontologyvàtritháckhôngnhatquán 1.2 Khunglplunvớiontologykhơngnhatqnsảdụngchienlượcphát trientuyentínht ptiênđediengiải .15 1.2.1 Cáck h i n i mc b ả n 15 1.2.2 Hàmc h o n 19 1.2.3 Phépsuylunkhôngchuȁnsảdụnghàmchonđơnđiu 19 1.2.4 Phépsuylunkhôngchuȁnsảdụnghàmchon dựatrênsựliên 1.2.5 quanc ú p h p 22 Cácnghiêncáuliênquanđenkhunglplunvớiontologykhơngnhatq nsảdụngchienlượcmởr®ngtuyentínhtptiênđe dieng i ả i 27 1.3 Xảlýtritháckhơngnhatqntrongqtrìnhtíchhợpontology theophươngphápđongthun 30 1.3.1 1.3.2 1.3.3 1.3.4 Hos x u n g đ ® t 31 Sựkhôngnhatquántrithác .32 Hàmđongthun 35 Cácnghiêncáu liên quan xảlý khơngnh at qn trithác qtrìnhtíchhợpontologybangphươngphápđongthun 38 1.4 T i e u k e t C h n g 41 Chương 2.SUY LU N VI ONTOLOGY KHÔNG NHAT QUÁNSỬDỤNG HÀM CHON DỰA TRÊNĐLIÊN QUAN NGữNGHĨA 42 2.1 Khoảngcáchngǎnghĩagiǎahai kháinimtrongontology 44 2.2 Khoảngcáchngǎ nghĩagiǎa haibieuthác kháinim theoontologytham chieu 49 2.3 Khoảngc c h n g ǎ n g h ĩ a g i ǎ a h a i ti ê n đ e t h e o o n t o l o g y t h a m c h i e u 51 2.4 Suylu nvớiontologykhôngnhat quán sả dụng hàm chon dựa trênkhoảngcáchngǎnghĩa 54 2.5 Thựcnghimvàđánhgiáketquả 62 2.6 T i e u k e t C h n g 66 Chương 3.XỬLÝXUNGĐ TMỨCKHÁINI M TRONG QTRÌNHT Í C H H P O N T O L O G Y 3.1 3.2 3.3 3.4 67 Mơhìnhtíchhợp trithácdựatrênlýthuyetđongthun .67 Cácmácxungđ®ttrongqtrìnhtích hợpontology 71 Xảlýxungđ®tmáckháini mtrongqtrình tích hợpontology 73 Vanđex âyd ựn gh àm đ ánhg iákh o ảng cách cho m i en gi át rịcủa cácthu®ctính 80 3.4.1 Hàmđánhgiákhoảngcáchgiǎa haibieutháckháini m 80 3.4.2 Hàmđánhgiákhoảngcáchgiǎahaikhoảngdǎliu 81 3.5 T i e u k e t C h n g 88 Chương4 XỬLÝXUNGĐ TMỨC TIÊN ĐE TRONG Q TRÌNHTÍCHH P O N T O L O G Y 89 4.1 Mơhìnhxảlýxungđ®ttritháccapđ®cú pháp 90 4.1.1 Bàitốntìmđongthuncủacáccơngthách®ivàcáctiêuchuȁn chođongthun 93 4.1.2 Phântích cáctiêuchuȁnđongthu n 95 4.1.3 Thuttoánxácđịnhđongthu n .104 4.2 Xảlýxungđ®tmáctiên đetrongqtrìnhtíchhợp ontology 110 4.3 T i e u k e t C h n g 113 KETL U N 114 DANHMỤCCÁCCƠNGTRÌNHCỦATÁCGIẢ 116 TÀILIUTHAMKHẢO 117 DANHMỤCTỪVIETTAT,THUTNGữ Tfiviettat,thutngfi ODP Diengiải Over-determined ProcessingQuyt r ì n h x ảl ý q u x OWL c đ ị n h OntologyWebLanguage Ngôn ngǎ ontology dùng cho W3C WebWorldWideWebConsortium TőcháctiêuchuȁnquocteveWorldWideWebHosơx ConflictprofileConsens ungđ®t ustheoryDatapropertyD LýthuyetđongthunTh omain u®ctínhdǎliu Objectproperty Mienxácđịnh(củathu®ctính) Th OpenWorldAssumptionR u®ctính đoitượng ange Semanticwiki Giảthietthegiớimở Miengiátrị (của thu®ctính) Wiki ngǎnghĩa DANHMỤCKÝHIU Kýhiu Diengiảiýnghĩa O Ontology Σ Ontologykhôngnhatquán ΣJ,ΣJJ Ontologyn h a t q u n v i c c ti ê n đ e đ ợ c c h o n t m ® t ontologykhơng n t qn k h ác |≈ |≈Syn Phépsuylunkhơng chuȁn Phépsuylunkhơngchuȁnsảdụnghàmchondựatrênđ®liê nquancúpháp |≈O R,S Phépsuylunkhơngchuȁnsảdụnghàmchondựatrênkhoảngc áchngǎnghĩacủaontology tham chieuOCáctênvaitrị,thu®ctính A,B Cáctêncáthe DPO(C) Tpk h i n i mc h a t r ự c ti e p c ủ a k h i n i mt r ê n m ® t ontology DCO(C)LCPO Tpk h i n i mc o n t r ự c ti e p c ủ a k h i n i mt r ê n m ® t ontology (C,D)C,D Tpk h i n i mc h a c h u n g t o i t h i e u c ủ a h a i k h i n i mtr CE , ênm®tontology CE DR1, Cáctênkháinim DR2DT U X,YT1,T H1,H2 CácbieutháckháinimCác khoảngdǎliuKieudǎliu Tpvũtrụ Cách o s x u n g đ ® t Cáctiêuchuȁnchob®tritháctíchhợp Cácti êuchuȁnchocơngthách®itíchhợp DANHMỤ C B Ả N G , B IEU Bảng2.1.Cáctiênđevebieuthác kháinim 54 Bảng2.2.Cáctiên đevethu®ctínhđoitượng .55 Bảng2.3.C c tiên đevethu®ctínhdǎli u,địnhnghĩakieudǎliu,khốcủa bieutháckháinim,phátbieuvedǎkin 56 Bảng2.4.Cácontologythựcnghi m 63 Bảng2.5.Sosánhtheosolượngketquảxácđịnhcủatruyvan 65 Bảng2.6.Sosánhsựpháttrientptiên đediengiải 65 Bảng3.1.CautrúccủakháinimCoursetrong5ontology 86 Bảng4.1.Víd ụ v e c c c ô n g t h c h ® i c ủ a t c t ả m t ả tí n h c h a t c ủ a t h u ® c tínhhasSpouse .91 Bảng4.2.Trạngtháitritháccủacáctáctảchobàitoánminhhoạ 109