Gabatarwa
An yi nufin wannan labarin ne ga waɗanda suka saba da irin wannan ra'ayi kamar ontology, aƙalla a matakin farko. Idan ba ku saba da ontologies ba, to, wataƙila ba za ku fahimci manufar Ontologies da wannan labarin ba. Ina ba ku shawara da ku fahimci kanku da wannan al'amari kafin ku fara karanta wannan labarin (watakila ko labarin daga Wikipedia zai ishe ku).
Don haka to Ontology cikakken bayanin wani yanki ne da ake la'akari da shi. Irin wannan siffa ya kamata a ba da shi a cikin wasu fayyace harshe. Don bayyana ilimin kimiyya, zaku iya amfani da hanyar IDEF5, wacce ke da harsuna 2 a cikin arsenal:
- Harshen tsari IDEF5. Wannan harshe na gani ne kuma yana amfani da abubuwa masu hoto.
- Harshen rubutu IDEF5. Ana wakilta wannan harshe azaman rubutun da aka tsara.
Wannan labarin zai yi la'akari da zaɓi na farko - harshe mai tsari. Za mu yi magana game da rubutu a cikin talifofi masu zuwa.
Abubuwan
A cikin harshe mai ƙira, kamar yadda aka riga aka ambata, ana amfani da abubuwa masu hoto. Da farko, ya kamata mu yi la'akari da mahimman abubuwan wannan harshe.
Sau da yawa, ontology yana amfani da abubuwa na gaba ɗaya da takamaiman abubuwa. Ana kiran mahaɗan gama gari nau'in. Ana nuna su azaman da'irar tare da lakabi (sunan abu) a ciki:
Ra'ayoyi tarin misalan mutum ɗaya ne na ra'ayi da aka bayar. Wato, irin wannan ra'ayi kamar "Motoci" na iya wakiltar jerin motoci guda ɗaya.
Kamar yadda kwafi wannan nau'in na iya zama takamaiman motoci, ko wasu nau'ikan kayan aiki, ko wasu samfuran. Duk ya dogara da mahallin, yankin batun da matakin dalla-dalla. Misali, don shagon gyaran mota, takamaiman motoci a matsayin abubuwan jiki zasu zama mahimmanci. Don kula da wasu ƙididdiga akan tallace-tallace a cikin dillalin mota, takamaiman samfura, da sauransu zasu zama mahimmanci.
An keɓance wurare daban-daban na ra'ayoyi daidai da ra'ayoyin kansu, kawai ana nuna su da digo a cikin ƙananan ɓangaren da'irar:
Har ila yau, a matsayin wani ɓangare na tattaunawa na abubuwa, yana da kyau a ambaci irin waɗannan abubuwa kamar matakai.
Idan ra'ayoyi da misalan abubuwan da ake kira a tsaye abubuwa (ba sa canzawa cikin lokaci), to matakai abubuwa ne masu ƙarfi. Wannan yana nufin cewa waɗannan abubuwa suna wanzuwa a cikin takamaiman ƙayyadadden lokaci.
Misali, zaku iya zaɓar irin wannan abu azaman tsarin kera mota (tun muna magana akan su). A bayyane yake cewa wannan abu yana wanzuwa ne kawai a lokacin da ake kera wannan motar (wani ƙayyadadden lokaci). Ya kamata a la'akari da cewa wannan ma'anar yana da sharuɗɗa, saboda abubuwa kamar mota kuma suna da nasu rayuwar sabis, rayuwar rayuwa, wanzuwa, da dai sauransu. Duk da haka, ba za mu shiga cikin falsafar ba, kuma a cikin tsarin mafi yawan batutuwa, ana iya yarda da cewa lokuta, har ma da jinsuna, suna wanzu har abada.
Ana nuna matakai azaman rectangle tare da lakabin (suna) na tsari:
Ana amfani da tsari a cikin tsare-tsare don canja wurin wani abu zuwa wani. Za a tattauna ƙarin game da wannan daga baya.
Baya ga matakai, irin waɗannan tsare-tsaren suna amfani da su ma'aikata masu ma'ana. Komai yana da sauƙi isa ga waɗanda suka saba da predicates, Boolean algebra ko shirye-shirye. IDEF5 yana amfani da ma'aikata na hankali guda uku:
- ma'ana DA (DA);
- ma'ana KO (OR);
- keɓaɓɓen OR (XOR).
Ma'auni na IDEF5 (http://idef.ru/documents/Idef5.pdf - mafi yawan bayanai daga wannan tushe) yana bayyana wakilcin ma'aikata masu ma'ana a matsayin ƙananan da'irori (idan aka kwatanta da ra'ayoyi da misalai) tare da lakabi a cikin nau'i na alamomi. . Koyaya, a cikin haɓaka yanayin yanayin hoto na IDEF5, mun tashi daga wannan doka saboda dalilai da yawa. Ɗayan su shine wahalar gano waɗannan masu aiki. Don haka, muna amfani da bayanin rubutu na masu aiki tare da lambar tantancewa:
Wataƙila wannan shine ƙarshen abubuwan.
Abota
Akwai dangantaka tsakanin abubuwa, wanda a cikin ontology yana nufin ƙa'idodin da ke ƙayyade hulɗar tsakanin abubuwa da kuma daga abin da aka samu sabon ƙarshe.
Yawanci, ana bayyana alaƙa ta nau'in makircin da aka yi amfani da shi a cikin ontology. Makircin saitin abubuwa ne na ontology da dangantaka a tsakanin su. Akwai manyan nau'ikan tsare-tsare masu zuwa:
- tsare-tsaren abun da ke ciki.
- Shirye-shiryen rarrabawa.
- Shirye-shiryen canji.
- Zane-zane na aiki.
- Shirye-shiryen da aka haɗa.
Har ila yau, wani lokacin akwai irin wannan nau'i na makirci kamar wanzuwa. Tsarin wanzuwa tarin abubuwa ne ba tare da alaƙa ba. Irin waɗannan zane-zane suna nuna kawai cewa wasu saitin abubuwa sun wanzu a wani yanki na musamman.
To, yanzu a cikin tsari game da kowane nau'in makirci.
Shirye-shiryen abun ciki
Ana amfani da wannan nau'in zane don wakiltar abun ciki na abu, tsari, tsari, da dai sauransu. Misali na yau da kullun shine sassan mota. A cikin mafi girman girman abun da ke ciki, motar ta ƙunshi jiki da watsawa. Bi da bi, jiki ya rabu zuwa firam, kofofi da sauran sassa. Ana iya ci gaba da ci gaba da wannan ɓarna - duk ya dogara da matakin da ake buƙata na daki-daki a cikin wannan matsala ta musamman. Misalin irin wannan tsarin:
Ana nuna alaƙar haɗin kai azaman kibiya tare da tip a ƙarshen (ba kamar, alal misali, dangantakar rarrabawa, inda tip ɗin yake a farkon kibiya, ƙarin cikakkun bayanai a ƙasa). Irin wannan dangantaka za a iya sanya hannu tare da lakabi kamar yadda yake a cikin adadi (bangaren).
Shirye-shiryen rarrabawa
Shirye-shiryen rarrabuwa an yi nufin bayyana ma'anar nau'in halitta, rararsu, da nau'ikan nau'ikan. Misali, motoci na iya zama motoci da manyan motoci. Wato, kallon "Mota" yana da nau'i biyu. Vaz-2110 - musamman misali na subspecies "Motar", da kuma GAZ-3307 - wani misali na subspecies "Moto":
Dangantaka a cikin tsare-tsaren rarrabuwa (ƙasuwanci ko takamaiman misali) suna da nau'in kibiya tare da tukwici a farkon kuma, kamar yadda yake a cikin tsarin ƙirar ƙira, na iya samun lakabi mai sunan alaƙa.
Shirye-shiryen canji
Shirye-shiryen irin wannan wajibi ne don nuna tsarin tafiyar da abubuwa daga wannan jiha zuwa wani a ƙarƙashin rinjayar wani tsari. Misali, bayan aiwatar da zanen da jan fenti, bakar mota ta zama ja:
Ana nuna rabon canji ta kibiya tare da tip a ƙarshen da da'irar a tsakiya. Kamar yadda kake gani daga zane, matakai suna nufin dangantaka, ba abubuwa ba.
Baya ga sauye-sauye na yau da kullun da aka nuna a cikin adadi, akwai matsananciyar canji. Ana amfani da shi a cikin lokuta inda sauyi a cikin yanayin da aka ba da shi ba a bayyane yake ba, amma yana da mahimmanci a gare mu mu jaddada shi. Misali, dora madubin kallon baya akan mota ba abu ne mai muhimmanci ba idan muka yi la’akari da tsarin hada mota a duniya. Koyaya, a wasu lokuta ya zama dole don zaɓar wannan aikin:
Ana nuna ƙaƙƙarfan canji mai kama da canji na yau da kullun, sai dai tip biyu a ƙarshen.
Hakanan za'a iya yiwa madaidaicin canji na yau da kullun alama azaman nan take. Don yin wannan, an ƙara triangle zuwa tsakiyar da'irar. Ana amfani da sauye-sauye na gaggawa a lokuta inda lokacin miƙa mulki ya kasance gajere cewa ba shi da mahimmanci a cikin yankin da ake la'akari (kasa da mafi ƙarancin lokaci mai mahimmanci).
Misali, da ko da ‘yar lalacewar mota, ana iya la’akari da ta lalace kuma farashinta ya ragu sosai. Koyaya, yawancin lalacewa suna faruwa nan take, sabanin tsufa da lalacewa:
Misalin yana nuna tsattsauran canji, amma kuma zaka iya amfani da sauyi na yau da kullun azaman canji nan take.
Zane-zane na aiki
Ana amfani da irin waɗannan makircin don nuna tsarin hulɗar tsakanin abubuwa. Misali, makanikan mota yana yin gyaran mota, kuma manajan sabis na mota ya ɗauki buƙatun gyara kuma ya mika su ga injiniyoyin mota:
Ana nuna alaƙar aiki a matsayin madaidaiciyar layi ba tare da tukwici ba, amma wani lokacin tare da lakabin, wanda shine sunan dangantakar.
Shirye-shiryen da aka haɗa
Haɗe-haɗe-haɗe-haɗe ne na tsare-tsare da aka yi la’akari da su a baya. Yawancin tsare-tsare a cikin hanyoyin IDEF5 an haɗa su, tunda abubuwan da ke amfani da nau'in makirci ɗaya kawai ba su da yawa.
Duk da'irori sukan yi amfani da ma'aikata masu ma'ana. Ta amfani da su, zaku iya aiwatar da alaƙa tsakanin abubuwa uku, huɗu ko fiye. Mai aiki mai ma'ana zai iya bayyana wasu gamammen mahallin da ake aiwatar da tsari akansa ko wanda ke shiga wata alaƙa. Misali, zaku iya hada misalan da suka gabata zuwa daya kamar haka:
A cikin wani takamaiman yanayin, tsarin haɗin gwiwar yana amfani da tsarin haɗakarwa ( madubi + mota ba tare da madubi ba = mota tare da madubi) da tsarin sauyawa (motar da madubi ya zama motar ja a ƙarƙashin rinjayar aikin fenti ja). Bugu da ƙari, ba a bayyana mota tare da madubi ba a fili - maimakon haka, mai amfani da ma'ana AND an nuna.
ƙarshe
A cikin wannan labarin, na yi ƙoƙarin bayyana manyan abubuwa da alaƙa a cikin hanyar IDEF5. Alal misali, na yi amfani da batun batun da ya shafi motoci, tun da ya zama mafi sauƙi don gina zane-zane akan misalin su. Koyaya, ana iya amfani da tsarin IDEF5 a kowane yanki na gwaninta.
Ontologies da nazarin ilimin yanki abu ne mai faɗi da yawa kuma mai ɗaukar lokaci. Koyaya, a cikin tsarin IDEF5, komai ya zama ba mai wahala bane, aƙalla ana koyon mahimman abubuwan wannan batun a sauƙaƙe. Manufar labarin na shine don jawo hankalin sababbin masu sauraro zuwa matsalar bincike na ilimi, duk da cewa an kashe irin wannan kayan aikin IDEF5 na farko a matsayin harshe mai hoto.
Matsalar harshe mai hoto ita ce ba za a iya amfani da shi ba don tsara wasu alaƙa (axioms) na ontology a sarari. Don yin wannan, akwai IDEF5 yaren rubutu. Koyaya, a matakin farko, yaren zane na iya zama da amfani sosai don ƙirƙira abubuwan buƙatun ontology na farko da ƙayyadadden ƙayyadaddun kayan aiki don haɓaka ƙarin cikakkun bayanai akan yaren rubutu IDEF5 ko a cikin kowane kayan aiki.
Ina fatan wannan labarin zai kasance da amfani ga masu farawa a cikin wannan filin, watakila ma ga wadanda suka dade suna magance batun binciken ontological. Dukkanin mahimman abubuwan wannan labarin an fassara su kuma an fahimta daga ma'aunin IDEF5, wanda na ambata a baya (). Na kuma sami wahayi daga wani littafi mai ban mamaki daga marubuta daga SAN INTUIT ().
source: www.habr.com