Entry
Nakala hii imekusudiwa wale wanaofahamu dhana ya ontolojia angalau katika kiwango cha msingi. Ikiwa hujui juu ya ontologia, basi uwezekano mkubwa wa madhumuni ya ontologia na makala hii hasa haitakuwa wazi kwako. Ninakushauri ujitambulishe na jambo hili kabla ya kuanza kusoma makala hii (labda hata makala kutoka Wikipedia itatosha).
Hivyo basi Ontolojia - hii ni maelezo ya kina ya eneo fulani la somo linalozingatiwa. Ufafanuzi kama huo lazima utolewe kwa lugha fulani iliyoundwa wazi. Ili kuelezea ontologia, unaweza kutumia mbinu ya IDEF5, ambayo ina lugha 2 katika safu yake ya ushambuliaji:
- IDEF5 lugha ya kimpango. Lugha hii ni ya kuona na hutumia vipengele vya picha.
- IDEF5 lugha ya maandishi. Lugha hii inawakilishwa kama maandishi yaliyopangwa.
Nakala hii itazingatia chaguo la kwanza - lugha ya kimkakati. Tutazungumza juu ya maandishi katika makala zifuatazo.
Vitu
Katika lugha ya kimkakati, kama ilivyotajwa tayari, vipengele vya picha hutumiwa. Kwanza, tunapaswa kuzingatia vipengele vya msingi vya lugha hii.
Mara nyingi, ontolojia hutumia vyombo vya jumla na vitu maalum. Vyombo vya jumla vinaitwa aina. Zinaonyeshwa kama duara na lebo (jina la kitu) ndani:
Spishi ni mkusanyiko wa vielelezo vya kibinafsi vya spishi fulani. Hiyo ni, maoni kama vile "Magari" yanaweza kuwakilisha mkusanyiko mzima wa magari ya kibinafsi.
Kama nakala Aina hii inaweza kuwa magari maalum, au aina fulani za vifaa, au bidhaa fulani. Yote inategemea muktadha, eneo la somo na kiwango chake cha undani. Kwa mfano, kwa duka la kutengeneza gari, magari maalum kama vyombo vya kimwili yatakuwa muhimu. Kudumisha baadhi ya takwimu za mauzo katika muuzaji wa magari, mifano maalum, nk itakuwa muhimu.
Matukio ya kibinafsi ya spishi huteuliwa sawa na spishi zenyewe, zikionyeshwa tu na nukta chini ya duara:
Pia, kama sehemu ya majadiliano ya vitu, inafaa kutaja vitu kama vile michakato.
Ikiwa maoni na matukio ni kinachojulikana kama vitu vya tuli (havibadiliki kwa muda), basi taratibu ni vitu vyenye nguvu. Hii ina maana kwamba vitu hivi vipo katika kipindi fulani cha wakati kilichowekwa madhubuti.
Kwa mfano, tunaweza kutaja kitu kama mchakato wa kutengeneza gari (kwani tunazungumza juu yao). Ni intuitively wazi kwamba kitu hiki kipo tu wakati wa uzalishaji halisi wa gari hili sana (kipindi kilichoelezwa madhubuti). Inafaa kukumbuka kuwa ufafanuzi huu ni wa masharti, kwa sababu vitu kama gari pia vina maisha yao ya huduma, maisha ya rafu, uwepo, nk. Hata hivyo, tusiingie katika falsafa na ndani ya mfumo wa maeneo mengi ya somo tunaweza kukubali kwamba matukio, na hata zaidi aina, kuwepo milele.
Taratibu zinaonyeshwa kama mstatili wenye lebo (jina) ya mchakato:
Taratibu hutumiwa katika mipango ya mpito wa kitu kimoja hadi kingine. Hii itajadiliwa kwa undani zaidi hapa chini.
Mbali na michakato, miradi kama hiyo hutumia waendeshaji mantiki. Kila kitu hapa ni rahisi sana kwa wale ambao wanafahamu utabiri, algebra ya Boolean au programu. IDEF5 hutumia waendeshaji watatu wa kimantiki:
- mantiki NA (NA);
- kimantiki AU (AU);
- kipekee AU (XOR).
Kiwango cha IDEF5 (http://idef.ru/documents/Idef5.pdf - habari nyingi kutoka kwa chanzo hiki) hufafanua picha ya waendeshaji mantiki kwa namna ya miduara ndogo (ikilinganishwa na maoni na matukio) yenye lebo katika fomu ya alama. Hata hivyo, katika mazingira ya picha ya IDEF5 tunayoendeleza, tumeondoka kwenye sheria hii kwa sababu nyingi. Mojawapo ni ugumu wa utambuzi wa waendeshaji hawa. Kwa hivyo, tunatumia nukuu ya maandishi ya waendeshaji na nambari ya kitambulisho:
Labda tutamaliza na vitu hapa.
Mahusiano
Kuna uhusiano kati ya vitu, ambavyo katika ontolojia inamaanisha sheria zinazoamua mwingiliano kati ya vitu na ambayo hitimisho mpya hutolewa.
Kwa kawaida, uhusiano huamuliwa na aina ya schema inayotumika katika ontolojia. Mpango ni seti ya vitu vya ontolojia na uhusiano kati yao. Kuna aina kuu zifuatazo za skimu:
- Miradi ya utungaji.
- Miradi ya uainishaji.
- Michoro ya mpito.
- Michoro ya kazi.
- Mipango ya pamoja.
Pia wakati mwingine kuna aina kama ya mpango kama kuwepo. Schema ya uwepo ni mkusanyiko wa vitu bila uhusiano. Michoro kama hiyo inaonyesha tu kwamba katika eneo fulani la somo kuna seti fulani ya vitu.
Naam, sasa, kwa utaratibu, kuhusu kila aina ya mpango.
Miradi ya utungaji
Aina hii ya mchoro hutumiwa kuwakilisha muundo wa kitu, mfumo, muundo, nk. Mfano wa kawaida ni sehemu za gari. Katika fomu yake iliyopanuliwa zaidi, gari lina mwili na maambukizi. Kwa upande wake, mwili umegawanywa katika sura, milango na sehemu nyingine. Mtengano huu unaweza kuendelea zaidi - yote inategemea kiwango kinachohitajika cha maelezo katika kazi hii. Mfano wa mpango kama huu:
Mahusiano ya utunzi yanaonyeshwa kama mshale wenye kichwa cha mshale mwishoni (tofauti, kwa mfano, uhusiano wa uainishaji, ambapo kichwa cha mshale kiko mwanzoni mwa mshale, maelezo zaidi hapa chini). Mahusiano kama haya yanaweza kuandikwa na lebo kama kwenye takwimu (sehemu).
Miradi ya uainishaji
Mipango ya uainishaji inakusudiwa kueleza ufafanuzi wa spishi, spishi zao ndogo na mifano ya spishi. Kwa mfano, magari yanaweza kuwa magari au lori. Hiyo ni, mtazamo wa "Gari" una mapitio mawili. VAZ-2110 ni mfano maalum wa aina ndogo ya "Gari la Abiria", na GAZ-3307 ni mfano wa aina ndogo ya "Lori":
Mahusiano katika miradi ya uainishaji (aina ndogo au mfano maalum) yana fomu ya mshale na ncha mwanzoni na, kama ilivyo kwa miundo ya utunzi, inaweza kuwa na lebo iliyo na jina la uhusiano.
Mipango ya mpito
Mipango ya aina hii ni muhimu ili kuonyesha michakato ya mabadiliko ya vitu kutoka hali moja hadi nyingine chini ya ushawishi wa mchakato fulani. Kwa mfano, baada ya mchakato wa kuchora rangi nyekundu, gari nyeusi inakuwa nyekundu:
Uhusiano wa mpito unaonyeshwa na mshale wenye kichwa mwishoni na mduara katikati. Kama unaweza kuona kutoka kwa mchoro, michakato inarejelea uhusiano, sio vitu.
Mbali na mabadiliko ya kawaida yaliyoonyeshwa kwenye takwimu, kuna mpito mkali. Inatumika katika hali ambapo mpito katika hali fulani sio dhahiri, lakini ni muhimu kwetu kusisitiza. Kwa mfano, kusakinisha kioo cha nyuma kwenye gari si kazi muhimu ikiwa tutazingatia mchakato wa kuunganisha gari duniani kote. Walakini, katika hali zingine ni muhimu kutenganisha operesheni hii:
Mpito mkali umewekwa alama sawa na mpito wa kawaida, isipokuwa kwa kivuko mara mbili mwishoni.
Mabadiliko ya kawaida na madhubuti yanaweza pia kuwekwa alama kuwa ya papo hapo. Ili kufanya hivyo, pembetatu huongezwa kwenye mduara wa kati. Mipito ya papo hapo hutumiwa katika hali ambapo muda wa mpito ni mfupi sana kwamba hauna maana kabisa ndani ya eneo la somo linalozingatiwa (chini ya kipindi cha chini zaidi cha muda).
Kwa mfano, ikiwa kuna hata uharibifu mdogo wa gari, inaweza kuchukuliwa kuwa imeharibiwa na bei yake inashuka kwa kasi. Walakini, uharibifu mwingi hufanyika mara moja, tofauti na kuzeeka na kuvaa:
Mfano unaonyesha mpito mkali, lakini pia unaweza kutumia mpito wa kawaida kama mpito wa papo hapo.
Michoro ya kazi
Michoro kama hiyo hutumiwa kuonyesha muundo wa mwingiliano kati ya vitu. Kwa mfano, fundi wa magari hufanya matengenezo ya gari, na msimamizi wa huduma ya gari anakubali maombi ya ukarabati na kuyahamisha kwa fundi wa gari:
Mahusiano ya kiutendaji yanaonyeshwa kama mstari ulionyooka bila kidokezo, lakini wakati mwingine na lebo, ambayo ni jina la uhusiano.
Mipango ya pamoja
Miradi iliyochanganywa ni mchanganyiko wa skimu zilizojadiliwa hapo awali. Miradi mingi katika mbinu ya IDEF5 imeunganishwa, kwani ontologia zinazotumia aina moja tu ya mpango ni nadra.
Miundo yote mara nyingi hutumia waendeshaji wa mantiki. Kwa kuzitumia, inawezekana kutekeleza uhusiano kati ya vitu vitatu, vinne au zaidi. Opereta mwenye mantiki anaweza kueleza huluki fulani ya jumla ambayo mchakato unafanywa au ambayo inashiriki katika uhusiano fulani. Kwa mfano, unaweza kuchanganya mifano ya awali katika moja kama ifuatavyo:
Katika kesi maalum, mpango wa pamoja hutumia mpango wa utungaji (kioo + gari bila kioo = gari na kioo) na mpango wa mpito (gari yenye kioo inakuwa gari nyekundu chini ya ushawishi wa mchakato wa rangi nyekundu). Zaidi ya hayo, gari yenye kioo haijaonyeshwa wazi - badala yake, operator wa mantiki NA imeonyeshwa.
Hitimisho
Katika nakala hii, nilijaribu kuelezea vitu kuu na uhusiano katika mbinu ya IDEF5. Nilitumia kikoa cha gari kama mfano kwa sababu ilionekana kuwa rahisi sana kuunda michoro kwa kutumia mfano wao. Walakini, miundo ya IDEF5 inaweza kutumika katika uwanja mwingine wowote wa maarifa.
Ontolojia na uchanganuzi wa maarifa ya kikoa ni mada pana na inayotumia wakati. Walakini, ndani ya mfumo wa IDEF5, kila kitu kinageuka kuwa sio ngumu sana; angalau, misingi ya mada hii imejifunza kwa urahisi kabisa. Madhumuni ya nakala yangu ni kuvutia hadhira mpya kwa shida ya uchanganuzi wa maarifa, ingawa kupitia zana ya zamani ya IDEF5 kama lugha ya picha.
Shida ya lugha ya picha ni kwamba kwa msaada wake haiwezekani kuunda wazi uhusiano fulani (axioms) ya ontolojia. Kuna lugha ya maandishi IDEF5 kwa hili. Hata hivyo, katika hatua ya awali, lugha ya picha inaweza kuwa muhimu sana kwa kuunda mahitaji ya awali ya ontolojia na kufafanua vekta kwa ajili ya kuendeleza ontolojia ya kina zaidi katika lugha ya maandishi ya IDEF5 au katika zana nyingine yoyote.
Natumaini makala hii itakuwa muhimu kwa Kompyuta katika uwanja huu, labda hata kwa wale ambao wamekuwa wakishughulikia suala la uchambuzi wa ontological kwa muda mrefu. Nyenzo zote kuu katika nakala hii zilitafsiriwa na kufasiriwa kutoka kwa kiwango cha IDEF5, ambacho nilirejelea hapo awali () Pia nilitiwa moyo na kitabu kizuri kutoka kwa waandishi kutoka NOU INTUIT ().
Chanzo: mapenzi.com