entry
Kini nga artikulo gituyo alang sa mga pamilyar sa ingon nga konsepto sama sa ontology, labing menos sa inisyal nga lebel. Kung dili ka pamilyar sa ontologies, lagmit dili nimo masabtan ang katuyoan sa ontologies ug kini nga artikulo sa partikular. Gitambagan ko ikaw nga pamilyar ang imong kaugalingon sa kini nga panghitabo sa dili ka pa magsugod sa pagbasa niini nga artikulo (tingali bisan ang usa ka artikulo gikan sa Wikipedia igo na).
Busa dayon Ontolohiya mao ang usa ka detalyado nga deskripsyon sa usa ka hilisgutan nga lugar nga gikonsiderar. Ang ingon nga kinaiya kinahanglan nga ihatag sa pipila ka tin-aw nga gipahayag nga pinulongan. Sa paghulagway sa ontologies, mahimo nimong gamiton ang IDEF5 methodology, nga adunay 2 ka pinulongan sa arsenal niini:
- Schematic nga pinulongan IDEF5. Kini nga lengguwahe makita ug naggamit sa mga elemento sa grapiko.
- Pinulongan sa teksto IDEF5. Kini nga pinulongan girepresentahan isip structured text.
Kini nga artikulo maghisgot sa unang kapilian - usa ka eskematiko nga pinulongan. Atong hisgotan ang bahin sa teksto sa sunod nga mga artikulo.
Ang mga butang
Sa usa ka eskematiko nga pinulongan, sama sa nahisgutan na, gigamit ang mga elemento sa grapiko. Sa pagsugod, kinahanglan natong tagdon ang mga nag-unang elemento niini nga pinulongan.
Kasagaran, ang ontology naggamit sa mga kinatibuk-ang entidad ug piho nga mga butang. Ang mga generic nga entidad gitawag lahi. Gihulagway sila ingon usa ka lingin nga adunay label (ngalan sa butang) sa sulod:
Ang mga pagtan-aw usa ka koleksyon sa indibidwal nga mga higayon sa usa ka gihatag nga pagtan-aw. Kana mao, ang ingon nga pagtan-aw sama sa "Mga Kotse" mahimong magrepresentar sa usa ka tibuuk nga hugpong sa mga indibidwal nga awto.
Isip usa ka mga kopya kini nga matang mahimong espesipikong mga sakyanan, o pipila ka matang sa kagamitan, o pipila ka mga tatak. Kini tanan nagdepende sa konteksto, ang hilisgutan nga lugar ug ang lebel sa detalye niini. Pananglitan, alang sa usa ka tindahan sa pag-ayo sa awto, ang piho nga mga awto ingon mga pisikal nga entidad hinungdanon. Aron mapadayon ang pipila ka estadistika sa mga halin sa usa ka dealership sa sakyanan, ang piho nga mga modelo, ug uban pa importante.
Ang bulag nga mga higayon sa mga panan-aw gitudlo nga parehas sa mga panan-aw sa ilang kaugalingon, gipakita ra sila sa usa ka tulbok sa ubos nga bahin sa lingin:
Usab, isip bahin sa panaghisgot sa mga butang, angay nga hisgutan ang mga butang sama sa mga proseso.
Kung ang mga panan-aw ug mga higayon gitawag nga static nga mga butang (wala magbag-o sa paglabay sa panahon), nan ang mga proseso mga dinamikong butang. Kini nagpasabot nga kini nga mga butang anaa sa usa ka estrikto nga gihubit nga yugto sa panahon.
Pananglitan, mahimo nimong pilion ang ingon nga butang sama sa proseso sa paghimo sa usa ka awto (tungod kay naghisgot kami bahin kanila). Kini mao ang intuitively tin-aw nga kini nga butang anaa lamang sa panahon sa aktwal nga produksyon niini nga sakyanan (usa ka hugot nga gihubit nga yugto sa panahon). Kinahanglan nga hinumdoman nga kini nga kahulugan adunay kondisyon, tungod kay ang mga butang sama sa usa ka awto adunay kaugalingon usab nga kinabuhi sa serbisyo, kinabuhi sa estante, paglungtad, ug uban pa. Bisan pa, dili kita moadto sa pilosopiya, ug sulod sa gambalay sa kadaghanan sa mga hilisgutan, mahimong dawaton nga ang mga higayon, ug labaw pa sa mga espisye, anaa sa kahangturan.
Ang mga proseso gipakita ingon usa ka rektanggulo nga adunay label (ngalan) sa proseso:
Ang mga proseso gigamit sa mga laraw alang sa pagbalhin sa usa ka butang ngadto sa lain. Dugang pa bahin niini hisgotan sa ulahi.
Gawas pa sa mga proseso, gigamit ang ingon nga mga laraw lohikal nga mga operator. Ang tanan yano ra alang sa mga pamilyar sa predicates, Boolean algebra o programming. Ang IDEF5 naggamit ug tulo ka batakang lohikal nga mga operator:
- lohikal UG (UG);
- lohikal O (OR);
- eksklusibo O (XOR).
Ang sumbanan sa IDEF5 (http://idef.ru/documents/Idef5.pdf - kadaghanan sa impormasyon gikan niini nga tinubdan) naghubit sa representasyon sa lohikal nga mga operator isip gagmay nga mga lingin (itandi sa mga panglantaw ug mga higayon) nga adunay usa ka label sa porma sa mga simbolo . Bisan pa, sa pag-uswag sa IDEF5 nga graphical nga palibot, kami mibiya sa kini nga lagda tungod sa daghang mga hinungdan. Usa niini mao ang lisud nga pag-ila sa kini nga mga operator. Busa, gigamit namo ang text notation sa mga operators nga adunay identification number:
Tingali kini ang katapusan sa mga butang.
Mga relasyon
Adunay mga relasyon tali sa mga butang, nga sa ontology nagpasabut sa mga lagda nga nagtino sa interaksyon tali sa mga butang ug gikan diin nakuha ang bag-ong mga konklusyon.
Kasagaran, ang mga relasyon gihubit pinaagi sa matang sa schema nga gigamit sa ontology. Ang laraw usa ka hugpong sa mga butang sa ontolohiya ug mga relasyon tali kanila. Adunay mga mosunod nga nag-unang matang sa mga laraw:
- mga laraw sa komposisyon.
- Mga laraw sa klasipikasyon.
- Mga laraw sa transisyon.
- Functional nga mga diagram.
- Gihiusa nga mga laraw.
Usab, usahay adunay usa ka matang sa mga laraw sama sa eksistensyal. Ang existential schema usa ka koleksyon sa mga butang nga walay relasyon. Ang ingon nga mga diagram nagpakita lamang nga ang usa ka hugpong sa mga butang anaa sa usa ka lugar nga hilisgutan.
Aw, karon sa han-ay mahitungod sa matag usa sa mga matang sa mga laraw.
Mga laraw sa komposisyon
Kini nga matang sa diagram gigamit sa pagrepresentar sa komposisyon sa usa ka butang, sistema, istruktura, ug uban pa. Ang kasagarang pananglitan mao ang mga piyesa sa sakyanan. Sa labing gipadako nga komposisyon, ang awto naglangkob sa usa ka lawas ug usa ka transmission. Sa baylo, ang lawas gibahin sa usa ka bayanan, mga pultahan ug uban pang mga bahin. Kini nga pagkadunot mahimong magpadayon sa dugang - kini tanan nagdepende sa gikinahanglan nga lebel sa detalye niining partikular nga problema. Usa ka pananglitan sa ingon nga laraw:
Ang mga relasyon sa komposisyon gipakita ingon usa ka pana nga adunay tumoy sa katapusan (dili sama, pananglitan, usa ka relasyon sa klasipikasyon, diin ang tumoy naa sa sinugdanan sa pana, labi pa sa ulahi). Ang ingon nga mga relasyon mahimong mapirmahan sa usa ka label sama sa numero (bahin).
Mga laraw sa klasipikasyon
Ang mga laraw sa klasipikasyon gituyo aron ipahayag ang kahulugan sa mga espisye, ilang mga subspecies, ug mga pananglitan sa mga espisye. Pananglitan, ang mga sakyanan mahimong mga sakyanan ug mga trak. Sa ato pa, ang pagtan-aw sa "Sasakyan" adunay duha ka subspecies. Ang VAZ-2110 usa ka piho nga pananglitan sa mga subspecies nga "Sasakyan", ug ang GAZ-3307 usa ka pananglitan sa mga subspecies nga "Truck":
Ang mga relasyon sa mga laraw sa klasipikasyon (mga subspecies o piho nga pananglitan) adunay porma sa usa ka pana nga adunay tumoy sa sinugdanan ug, sama sa kaso sa mga laraw sa komposisyon, mahimong adunay label nga adunay ngalan sa relasyon.
Mga laraw sa transisyon
Ang mga laraw niini nga matang gikinahanglan aron ipakita ang mga proseso sa pagbalhin sa mga butang gikan sa usa ka estado ngadto sa lain ubos sa impluwensya sa usa ka proseso. Pananglitan, pagkahuman sa proseso sa pagpintal gamit ang pula nga pintura, ang usa ka itom nga awto mahimong pula:
Ang ratio sa transisyon gipakita sa usa ka pana nga adunay tumoy sa tumoy ug usa ka lingin sa tunga. Sama sa imong makita gikan sa diagram, ang mga proseso nagtumong sa mga relasyon, dili mga butang.
Dugang pa sa ordinaryo nga transisyon nga gipakita sa numero, adunay usa ka estrikto nga transisyon. Gigamit kini sa mga kaso diin ang transisyon sa usa ka gihatag nga sitwasyon dili klaro, apan kini importante alang kanato sa paghatag og gibug-aton niini. Pananglitan, ang pag-mount sa usa ka rear-view mirror sa usa ka awto dili hinungdanon nga operasyon kung atong tagdon ang proseso sa pag-assemble sa usa ka awto sa tibuuk kalibutan. Bisan pa, sa pipila ka mga kaso kinahanglan nga pilion kini nga operasyon:
Ang usa ka estrikto nga transisyon gipunting nga parehas sa usa ka normal nga pagbalhin, gawas sa doble nga tip sa katapusan.
Ang regular ug estrikto nga mga transisyon mahimo usab nga markahan nga dayon. Aron mahimo kini, usa ka triyanggulo ang idugang sa sentro nga lingin. Ang dali nga mga transisyon gigamit sa mga kaso diin ang oras sa transisyon mubo kaayo nga kini hingpit nga walaβy hinungdan sa sulud sa hilisgutan nga gikonsiderar (ubos sa minimum nga hinungdanon nga agwat sa oras).
Pananglitan, bisan sa gamay nga kadaot sa usa ka sakyanan, kini maisip nga nadaot ug ang presyo niini mous-os pag-ayo. Bisan pa, kadaghanan sa kadaot mahitabo dayon, dili sama sa pagkatigulang ug pagsul-ob:
Ang panig-ingnan nagpakita sa usa ka estrikto nga transisyon, apan mahimo usab nimo gamiton ang usa ka normal nga transisyon isip usa ka instant nga transisyon.
Functional nga mga diagram
Ang ingon nga mga laraw gigamit aron ipakita ang istruktura sa interaksyon tali sa mga butang. Pananglitan, ang usa ka mekaniko sa sakyanan naghimo sa pagmentinar sa sakyanan, ug ang usa ka tagdumala sa serbisyo sa sakyanan mokuha ug mga hangyo alang sa pag-ayo ug ipasa kini ngadto sa mekaniko sa sakyanan:
Ang mga functional nga relasyon gihulagway nga usa ka tul-id nga linya nga walay tip, apan usahay adunay usa ka label, nga mao ang ngalan sa relasyon.
Gihiusa nga mga laraw
Ang hiniusa nga mga laraw usa ka kombinasyon sa mga gikonsiderar kaniadto nga mga laraw. Kadaghanan sa mga eskema sa IDEF5 nga pamaagi gihiusa, tungod kay ang mga ontologie nga naggamit lamang sa usa ka matang sa eskema talagsa ra.
Ang tanan nga mga sirkito kasagarang naggamit ug lohikal nga mga operator. Pinaagi sa paggamit niini, mahimo nimong ipatuman ang mga relasyon tali sa tulo, upat o daghan pa nga mga butang. Ang usa ka lohikal nga operator mahimong magpahayag sa pipila ka kinatibuk-ang entidad diin ang usa ka proseso gihimo o nga miapil sa laing relasyon. Pananglitan, mahimo nimong ikombinar ang miaging mga pananglitan sa usa sama sa mosunod:
Sa usa ka piho nga kaso, ang hiniusa nga laraw naggamit usa ka laraw sa komposisyon (salamin + awto nga walaβy salamin = awto nga adunay salamin) ug usa ka laraw sa pagbalhin (usa ka awto nga adunay salamin nahimo nga pula nga awto sa ilawom sa impluwensya sa proseso sa pula nga pintura). Dugang pa, ang usa ka awto nga adunay salamin wala gipahayag nga tin-aw - hinoon, ang lohikal nga operator ug gipakita.
konklusyon
Niini nga artikulo, gisulayan nako nga ihulagway ang mga nag-unang butang ug relasyon sa pamaagi sa IDEF5. Isip usa ka pananglitan, gigamit nako ang hilisgutan nga bahin nga may kalabutan sa mga awto, tungod kay kini nahimo nga labi ka dali nga maghimo mga diagram sa ilang panig-ingnan. Bisan pa, ang mga eskema sa IDEF5 mahimong magamit sa bisan unsang ubang bahin sa kahanas.
Ang ontologies ug pag-analisa sa kahibalo sa domain usa ka labi ka halapad ug us aka oras nga hilisgutan. Bisan pa, sa sulud sa IDEF5, ang tanan nahimo nga dili kaayo lisud, labing menos ang mga sukaranan sa kini nga hilisgutan nahibal-an nga yano. Ang katuyoan sa akong artikulo mao ang pagdani sa usa ka bag-ong mamiminaw sa problema sa pag-analisar sa kahibalo, bisan pa sa gasto sa usa ka karaan nga himan sa IDEF5 ingon usa ka graphic nga sinultian.
Ang problema sa usa ka graphic nga lengguwahe mao nga dili kini magamit sa paghimo sa pipila nga mga relasyon (axioms) sa ontolohiya nga klaro nga igo. Aron mahimo kini, adunay usa ka text language nga IDEF5. Bisan pa, sa inisyal nga yugto, ang usa ka graphical nga lengguwahe mahimong mapuslanon kaayo alang sa pagporma sa mga inisyal nga kinahanglanon sa ontolohiya ug pagtino sa vector alang sa paghimo sa usa ka mas detalyado nga ontolohiya sa IDEF5 nga lengguwahe sa teksto o sa bisan unsang uban nga himan.
Nanghinaut ko nga kini nga artikulo mahimong mapuslanon alang sa mga nagsugod niini nga natad, tingali bisan alang niadtong dugay na nga nag-atubang sa isyu sa ontological analysis. Ang tanan nga panguna nga materyal sa kini nga artikulo gihubad ug nasabtan gikan sa sumbanan sa IDEF5, nga akong gihisgutan sa sayo pa (). Nadasig usab ako sa usa ka nindot nga libro gikan sa mga tagsulat gikan sa KNOW INTUIT ().
Source: www.habr.com