kupinda
Ichi chinyorwa chakagadzirirwa avo vanoziva nezve iyo ontology padanho rekutanga. Kana iwe usiri kujairana neontology, saka kazhinji chinangwa cheontologies uye chinyorwa ichi kunyanya hachizove chakajeka kwauri. Ndinokupa zano kuti uzvizive nechiitiko ichi usati watanga kuverenga chinyorwa ichi (zvichida kunyange chinyorwa kubva kuWikipedia chichakwana).
Saka Ontology - iyi irondedzero yakadzama yeimwe nyaya iri kutariswa. Tsanangudzo yakadaro inofanira kupiwa mune mumwe mutauro wakagadzirwa zvakajeka. Kutsanangura ontologies, unogona kushandisa iyo IDEF5 nzira, ine mitauro miviri mune yayo arsenal:
- IDEF5 schematic mutauro. Mutauro uyu unooneka uye unoshandisa ma graphic elements.
- IDEF5 mutauro wemavara. Mutauro uyu unomiririrwa semavara akarongwa.
Ichi chinyorwa chichatarisa sarudzo yekutanga - schematic mutauro. Tichataura nezvemavara mune zvinotevera zvinyorwa.
Zvinhu
Mumutauro wechirongwa, sezvatotaurwa, zvinhu zvemifananidzo zvinoshandiswa. Kutanga, tinofanira kufunga zvinhu zvinokosha zvemutauro uyu.
Kazhinji, ontology inoshandisa zvese zviri zviviri masangano uye chaiwo zvinhu. Generalized entities anodanwa mhando. Ivo vanoratidzwa sedenderedzwa rine label (zita rechinhu) mukati:
Mhuka muunganidzwa wemienzaniso yerudzi rwakapihwa. Ndiko kuti, maonero akadai se "Motokari" anogona kumiririra muunganidzwa wose wemotokari imwe neimwe.
Sezvo a makopi Rudzi urwu runogona kuve mota dzakananga, kana mamwe marudzi emidziyo, kana mamwe mabhureki. Izvo zvese zvinoenderana nemamiriro ezvinhu, nzvimbo yenyaya uye huwandu hwayo hweruzivo. Semuenzaniso, kune chitoro chekugadzirisa mota, mota chaidzo sezvimiro zvemuviri zvichave zvakakosha. Kuchengetedza dzimwe nhamba dzekutengesa pamotokari yemotokari, mienzaniso chaiyo, nezvimwe zvichave zvakakosha.
Mamiriro ezvipenyu ega ega anosarudzwa zvakafanana kune zvipenyu pachazvo, zvinongoratidzwa nedoti pazasi pedenderedzwa:
Uyewo, sechikamu chehurukuro yezvinhu, zvakakodzera kutaura zvinhu zvakadai se maitiro.
Kana maonero uye zviitiko zviri izvo zvinonzi static zvinhu (zvisingashanduki nekufamba kwenguva), saka maitiro zvinhu zvine simba. Izvi zvinoreva kuti zvinhu izvi zviripo mune imwe nguva yakanyatsotsanangurwa yenguva.
Semuenzaniso, tinogona kusiyanisa chinhu chakadai senzira yekugadzira mota (sezvo tiri kutaura nezvavo). Zviri intuitively zvakajeka kuti chinhu ichi chiripo chete panguva chaiyo kugadzirwa kwemotokari iyi (yakanyatsotsanangurwa nguva yenguva). Zvakakodzera kuyeuka kuti tsananguro iyi ine mamiriro, nekuti zvinhu zvakaita semota zvakare zvine hupenyu hwavo hwesevhisi, hupenyu hwesherufu, kuvapo, nezvimwe. Zvisinei, ngatiregei kupinda muuzivi uye mukati megadziriro yenzvimbo dzakawanda dzezvidzidzo tinogona kugamuchira kuti zviitiko, uye kunyanya zvipenyu, zviripo nekusingaperi.
Maitiro anoratidzwa serectangle ine label (zita) rekuita:
Maitiro anoshandiswa muzvirongwa zvekuchinja kwechimwe chinhu kune chimwe. Izvi zvichakurukurwa zvakadzama pazasi.
Mukuwedzera kune maitiro, zvirongwa zvakadaro zvinoshandisa logic operators. Zvese zviri pano zviri nyore kune avo vanoziva predicates, Boolean algebra kana programming. IDEF5 inoshandisa matatu ekutanga anonzwisisika anoshanda:
- zvine musoro UYE (AND);
- zvine musoro OR (OR);
- zvakasarudzika OR (XOR).
Iyo IDEF5 yakajairwa (http://idef.ru/documents/Idef5.pdf - yakawanda yeruzivo kubva kune ino sosi) inotsanangura mufananidzo weanonzwisisika anoshanda nenzira yemadenderedzwa madiki (achienzaniswa nemaonero uye mamiriro) ane label mu. chimiro chezviratidzo. Nekudaro, muIDEF5 graphical nharaunda yatiri kuvandudza, isu tasuduruka kubva kune uyu mutemo nekuda kwezvikonzero zvakawanda. Chimwe chazvo ndechekuzivikanwa kwakaoma kwevashandi ava. Naizvozvo, isu tinoshandisa zvinyorwa zvinyorwa zvevashandisi vane nhamba yekuzivikanwa:
Pamwe tichapedzisa nezvinhu pano.
Ukama
Pane hukama pakati pezvinhu, izvo muontology zvinoreva mitemo inotaridza kudyidzana pakati pezvinhu uye panobva mhedziso itsva.
Kazhinji, hukama hunotemerwa nemhando ye schema inoshandiswa muontology. The scheme iboka rezvinhu zveontology uye hukama pakati pazvo. Kune marudzi makuru anotevera ezvirongwa:
- Zvirongwa zvekugadzira.
- Classification zvirongwa.
- Shanduko madhayagiramu.
- Madhiyamu anoshanda.
- Zvirongwa zvakasanganiswa.
Uyewo dzimwe nguva kune rudzi rwakadai rwechirongwa se existential. An existential schema muunganidzwa wezvinhu zvisina hukama. Madhayagiramu akadaro anongoratidza kuti pane imwe nyaya pane imwe seti yezvinhu.
Zvakanaka, zvino, mukurongeka, pamusoro pemhando imwe neimwe yechirongwa.
Zvirongwa zvekugadzira
Iyi mhando yedhiyagiramu inoshandiswa kumiririra kuumbwa kwechinhu, hurongwa, chimiro, nezvimwe. Muenzaniso wakajairika zvikamu zvemotokari. Mune chimiro chayo chakawedzera, mota ine muviri uye kutapurirana. Zvakare, muviri wakakamurwa kuita furemu, magonhi uye zvimwe zvikamu. Kuora uku kunogona kuenderera mberi - zvese zvinoenderana nedanho rinodiwa reruzivo mune iri basa chairo. Muenzaniso wechirongwa chakadaro:
Maumbirwo ehukama anoratidzwa semuseve une museve kumagumo (kusiyana, semuenzaniso, hukama hwemhando, apo musoro wemuseve uri panotangira museve, zvimwe zvakawanda pazasi). Hukama hwakadaro hunogona kunyorwa nechitarisiko sepamufananidzo (chikamu).
Classification zvirongwa
Classification zvirongwa zvinoitirwa kuratidza tsananguro yezvipenyu, subspecies yavo, uye zviitiko zvezvipenyu. Semuenzaniso, mota dzinogona kuve mota nemarori. Ndiko kuti, iyo "Mota" maonero ane maviri madiki. VAZ-2110 ndiyo muenzaniso chaiwo we "Passenger Car" subtype, uye GAZ-3307 muenzaniso we "Truck" subtype:
Hukama muzvikamu zvezvirongwa (subspecies kana chiitiko chakati) zvine chimiro chemuseve une muromo pakutanga uye, sezviri muchiitiko chezvirongwa zvekuumba, inogona kuve ine zita rine zita rehukama.
Transition schemes
Zvirongwa zvemhando iyi zvakakosha kuratidza maitiro ekuchinja kwezvinhu kubva kune imwe nyika kuenda kune imwe pasi pesimba reimwe nzira. Semuenzaniso, mushure mekuita kwekupenda pendi tsvuku, mota nhema inova tsvuku:
Ukama hwekuchinja hunoratidzwa nemuseve une musoro kumagumo uye denderedzwa pakati. Sezvauri kuona kubva pamufananidzo, maitiro anoreva hukama, kwete zvinhu.
Pamusoro pekuchinja kwakajairwa kunoratidzwa mumufananidzo, kune shanduko yakasimba. Inoshandiswa mumamiriro ezvinhu apo kuchinja mune imwe mamiriro ezvinhu hakusi pachena, asi zvakakosha kuti tisimbise. Semuenzaniso, kuisa chionioni chekumashure pamotokari hachisi chinhu chakakosha kana tikafunga nezvekugadzirisa mota pasi rose. Nekudaro, mune zvimwe zviitiko zvinodikanwa kuparadzanisa oparesheni iyi:
Shanduko yakasimba inotaridzwa zvakafanana neshanduko yenguva dzose, kunze kweiyo kaviri ferrule pamagumo.
Kuchinja kwakajairwa uye kwakasimba kunogonawo kucherechedzwa sepakarepo. Kuti uite izvi, wedzera katatu kune denderedzwa repakati. Kuchinja kwepakarepo kunoshandiswa muzviitiko apo nguva yekuchinja ipfupi zvekuti haina kukosha zvachose mukati mechikamu chenyaya chiri kutariswa (pasi penguva shoma yakakosha yenguva).
Semuenzaniso, kana paine kunyange kukuvadzwa kudiki kwemota, inogona kunzi yakakuvadzwa uye mutengo wayo unodonha zvakanyanya. Nekudaro, kukuvadza kwakawanda kunoitika ipapo, kusiyana nekuchembera nekupfeka:
Muenzaniso unoratidza shanduko yakasimba, asi iwe unogona zvakare kushandisa shanduko yenguva dzose sepakarepo.
Madhiyamu anoshanda
Madhayagiramu akadaro anoshandiswa kuratidza chimiro chekudyidzana pakati pezvinhu. Semuyenzaniso, makanika emotokari anoita kugadzirisa mota, uye maneja webasa remota anotambira zvikumbiro zvekugadzirisa uye ozviendesa kuna makanika wemota:
Hukama hunoshanda hunoratidzwa semutsara wakatwasuka usina muromo, asi dzimwe nguva uine label, iro ndiro zita rehukama.
Zvirongwa zvakasanganiswa
Zvirongwa zvakasanganiswa mubatanidzwa wezvirongwa zvakambokurukurwa. Zvizhinji zvezvirongwa muIDEF5 methodology zvakabatanidzwa, sezvo ontologies inoshandisa rudzi rumwe chete rwechirongwa hachiwanzoitiki.
Magadzirirwo ese anowanzo shandisa zvine musoro vashandisi. Nekuvashandisa, zvinokwanisika kuita hukama pakati pezvitatu, zvina kana kupfuura zvinhu. Mushandisi ane musoro anogona kutaura chimwe chinhu chakajairika pamusoro pekuti chirongwa chinoitwa kana chinotora chikamu mune humwe hukama. Semuenzaniso, unogona kusanganisa mienzaniso yapfuura kuita imwe seinotevera:
Mune imwe nyaya, chirongwa chakabatanidzwa chinoshandisa chirongwa chekugadzira (mirror + motokari isina girazi = motokari ine girazi) uye chirongwa chekushandura (motokari ine girazi inova motokari tsvuku pasi pesimba rependi tsvuku). Uyezve, motokari ine girazi haina kuratidzwa zvakajeka - panzvimbo iyo, inonzwisisika opareta AND inoratidzwa.
mhedziso
Muchikamu chino, ndakaedza kutsanangura zvinhu zvikuru uye hukama muIDEF5 nzira. Ndakashandisa iyo mota domain semuenzaniso nekuti zvakazove nyore kuvaka dhayagiramu vachishandisa muenzaniso wavo. Nekudaro, IDEF5 schemas inogona kushandiswa mune chero imwe nzvimbo yeruzivo.
Ontologies uye ongororo yeruzivo rwedomasi inyaya yakakura uye inotora nguva. Nekudaro, mukati meiyo IDEF5, zvese zvinoita kunge zvisina kuoma; zvirinani, izvo zvekutanga zvechinyorwa ichi zvinodzidzwa zviri nyore. Chinangwa chechinyorwa changu ndechekukwezva vateereri vatsva kudambudziko rekuongorora ruzivo, kunyangwe kuburikidza neiyo yekare IDEF5 chishandiso semutauro wemifananidzo.
Dambudziko remutauro wemifananidzo nderekuti nerubatsiro rwayo hazvibviri kuumba zvakajeka humwe hukama (axioms) yeiyo ontology. Pane mutauro wemavara IDEF5 weizvi. Nekudaro, padanho rekutanga, mutauro une graphical unogona kubatsira mukugadzira zvinodiwa zveontology zvekutanga uye kutsanangura vheji yekugadzira yakadzama ontology muIDEF5 mutauro wechinyorwa kana mune chero chimwe chishandiso.
Ndinovimba kuti chinyorwa ichi chichave chakakosha kune vanotanga mundima iyi, pamwe kunyangwe kune avo vanga vachitarisana nenyaya yekuongorora ontological kwenguva yakareba. Zvese zvakakosha zviri muchinyorwa ichi zvakashandurwa nekududzirwa kubva kuIDEF5 chiyero, chandakataura nezvacho pakutanga () Ndakafemerwawo nebhuku rinoshamisa kubva kuvanyori kubva kuNOU INTUIT ().
Source: www.habr.com