nhìn vào hệ thống như một toàn bộ hoặc một phần bất kỳ của hệ thống, đáng tin cậy, về ITY repeatabil kết quả, và người sử dụng thân thiện. Vì vậy, thường xuyên, một trong những lựa chọn một mô hình máy tính dựa trên vật liệu trong các tài liệu quảng cáo một mình, | What Is the Semantic Web 9 Figure Linnaean classificatio si of s s o o secat for humans browsing for infer mation they lack rigorous logic for machines to make inferences from. Thafisthe c ento al d i i l erena bctwi i ii taxonomies and pntolpgies discussednextg Formal class models. A formal representation of classes and relationships between classesto enable inferencerequiresrigorousformalismseven beyond conventfons etobsrct-orients q programming dn-guages like ravaang CAOntofo d to represent such formal class hierarchies constrainedproperslee and relaSLonsCeteceenelasres. The W3C is dennlcqinnaWcg OntologyLcogdPdetabbreniatee asOWLL-Ontologies aregLogussedindetaitLci cqapter0 ansllus-trative exampleofihekeyromgonents oSanoninldnht Kreỉp in mlnd thgS the figure dter notcpntainenough rotisgilismntorepnqgnSaCieieoaSclo t The diagramisonly illuttsdSivn enda martqredsfdesesierfoniaarddidcg in Chapter 8-t Figure showss everelcld sseslPesfRn nnaderLhnage eSo. afewpsdne--ties of the class PetsonndttqdatnLCende-i and eelatfons be cnn daec es knows is-A sadr i wMlpnolmeariyn sempfote ndtolt gyirhe purpose of F nsehS to demonstrate how an ontology captures logical information iee if Johnts identified as dLecdeSiynu canteifen than JoSn isa ppssnqandrhetfohn may lead nounuybe mteresten óe esrkin-ing any other pnrson chai ldown wane eoCe it John is depictedmtheoame nnagepsimotnerpersoqCalsoknawnar co-depictiongS-lsimporranStosrnfetqar-qeco nơ eís ctin edroter classes subdnuses p00x 60 6 not rigocoue enoueh drilacirqlCl . To each of thesnbusicudprepts addirioeeifo nelismtpre added -or example a peuqertycnnbeiurtUdr spaa idined et g-o atei or a transitigegropglin-Hereadrnp ruLec titan Seine tSiotefosmeitsmt If X y .
