Đang chuẩn bị liên kết để tải về tài liệu:
The Semantic Web:A Guide to the Future of XML, Web Services, and Knowledge Management phần 9

Giải thích ngữ nghĩa là ánh xạ giữa một số tập hợp con có cấu trúc dữ liệu và mô hình của một số thiết lập của các đối tượng trong phạm vi liên quan đến mục đích ý nghĩa của các đối tượng và Hình 8.2 UML mô hình nguồn nhân lực mảnh. | Chapter 8 Logic and Logics Logic issometimessupposed to underlie all of mathematics and science. Some say that logic also underlies all of natural language. We will remain agnostic on those ptaedLo S and wi . that and should underlie all models and modeling languages. Why Because if we are serious about defining languagesthatcan bothrepre sentfheknowledgeof the world accoedingto the pentpshtiae eg tlieliiiiisn beingana be machmw interpretable ht the iernathig theel i.e. mthhinee and their softwate cen interp ret human semantics andanowiedughtout huwghlehhl of usdhrstabding thes those knowledgerepIgsentatíhnlan hhageh anhtheknowiedge they the reheet must be sueported by formally pcwt ng toils only repftsedhable hg losic. Otherwise oue knowledglh-ireekoesented én nohlhegcthlh underpinned ways will feiwdh erUitrkrifnintrrpretebtrhyoug softwete nhecogdik rnthei holds todkylWhvseigenvmkntict atoutdeik dhhsehtemhrre emkgddahiadht cipherably audineatrisgbtgmo uriseneretine pmvtamming codn. This state of hffeiea .s tde pr.mena reason bg Gf. why humgh beingn art reduced to me n t mii w.lhcompiiters ni hhatomputeHevsl rgfhetthahthg human levehWe gne tehevmh tomterprelObkndlSzUroS achdLVsdu P GOTOs anf DO OOrSóorthe semantigsof ege dala t ig td emh reghar than having OUD systems uss data thht is mterpreted gbmaniicelly ehO ihterach at our level le tuners of Peaeiel hlrceiih hlnet Eventezimd bucgdonSl The history hs in benehkl is a lústory ef hhe genera1 eh hliition of our programming Ungue s upwafdtooughhmgv lehol.Tgmkeboutso-ratlnd third- follrth- iifihl hndsistii-gtr esstion angl.lagt C.Ol.g at . hramminn aii-guages havebeen vholvmgguwesdtomeetogrhgmimknhwieddkdcogeepg tual level. SffítciMgob 01 11 X1 il kgítkane-lenggegesSe Sheporh wnysof logically modgrariemgkhdencddrutatigeproogamming Cdkstruvtsahckedipb to ways hgmanrdseomhose ofobikĩds anhvhrecilOgienihdlcdhuageSdeigelhnìt major shift iiiprogrammi .Iìi to dtiedsuobsuates gSrehC-wdhl ilhueim objects andmoreresenby .