даромад
Ин мақола барои онҳое пешбинӣ шудааст, ки ҳадди аққал дар сатҳи ибтидоӣ бо мафҳуми онтология ошно ҳастанд. Агар шумо бо онтологияҳо ошно набошед, пас эҳтимол дорад, ки ҳадафи онтологияҳо ва махсусан ин мақола барои шумо равшан нахоҳад буд. Ман ба шумо маслиҳат медиҳам, ки пеш аз оғози хондани ин мақола бо ин падида шинос шавед (шояд ҳатто як мақолаи Википедия кифоя кунад).
Ҳамин тавр, Онтология - ин тавсифи муфассали мавзӯи муайяни баррасишаванда мебошад. Чунин тавсиф бояд бо ягон забони равшан баён карда шавад. Барои тавсифи онтологияҳо шумо метавонед методологияи IDEF5-ро истифода баред, ки дар арсенал 2 забон дорад:
- Забони схематикии IDEF5. Ин забон визуалӣ буда, унсурҳои графикиро истифода мебарад.
- Забони матнии IDEF5. Ин забон ҳамчун матни сохторӣ муаррифӣ мешавад.
Ин мақола варианти аввал - забони схематикиро баррасӣ хоҳад кард. Мо дар бораи матн дар мақолаҳои зерин сӯҳбат хоҳем кард.
Объектҳо
Дар забони схематикӣ, тавре ки аллакай зикр гардид, унсурҳои графикӣ истифода мешаванд. Аввалан, мо бояд унсурҳои асосии ин забонро баррасӣ кунем.
Аксар вақт, онтология ҳам объектҳои умумӣ ва ҳам объектҳои мушаххасро истифода мебарад. Объектҳои умумӣ номида мешаванд намудҳо. Онҳо ҳамчун доира бо тамға (номи объект) дар дохили он тасвир шудаанд:
Намудҳо маҷмӯи намунаҳои алоҳидаи як намуди муайян мебошанд. Ин аст, ки манзара ба монанди "Мошинҳо" метавонад маҷмӯи пурраи мошинҳои инфиродӣ дошта бошад.
Ҳамин тавр, нусха Ин навъ метавонад мошинҳои мушаххас ё намудҳои муайяни таҷҳизот ё тамғаҳои муайян бошад. Ҳамааш аз контекст, соҳаи мавзӯъ ва сатҳи тафсилоти он вобаста аст. Масалан, барои устохонаи таъмири мошинҳо мошинҳои мушаххас ҳамчун шахсони воқеӣ муҳим хоҳанд буд. Барои нигоҳ доштани баъзе омор дар бораи фурӯш дар фурӯшгоҳи мошин, моделҳои мушаххас ва ғайра муҳим хоҳанд буд.
Намунаҳои инфиродии намудҳо ба худи намудҳо монанданд, танҳо бо нуқта дар поёни доира нишон дода мешаванд:
Инчунин, дар доираи мухокимаи объектхо чунин объектхоро зикр кардан бамаврид аст равандҳои.
Агар намудҳо ва мисолҳо ба ном объектҳои статикӣ бошанд (бо мурури замон тағир наёбанд), пас равандҳо объектҳои динамикӣ мебошанд. Ин маънои онро дорад, ки ин объектҳо дар як давраи муайяни вақт вуҷуд доранд.
Масалан, мо метавонем чунин объектро ба монанди раванди истеҳсоли мошин ҷудо кунем (зеро мо дар бораи онҳо гап мезанем). Ба таври интуитивӣ равшан аст, ки ин объект танҳо дар давоми истеҳсоли воқеии ин мошин вуҷуд дорад (даври қатъии муайяншуда). Бояд дар назар дошт, ки ин таъриф шартӣ аст, зеро объектҳо ба монанди мошин низ мӯҳлати хидматрасонӣ, мӯҳлати истифода, мавҷудият ва ғайра доранд. Аммо, биёед ба фалсафа ворид нашавем ва дар доираи аксари соҳаҳои мавзӯъ мо метавонем қабул кунем, ки мисолҳо ва ҳатто бештар аз он намудҳо абадан вуҷуд доранд.
Равандҳо ҳамчун росткунҷа бо нишони (ном) раванд тасвир шудаанд:
Равандҳо дар схемаҳои гузариши як объект ба объекти дигар истифода мешаванд. Дар ин бора дар зер муфассалтар сухан меравад.
Илова ба равандҳо, чунин схемаҳо истифода мешаванд операторҳои мантиқӣ. Ҳама чиз дар ин ҷо барои онҳое, ки бо предикатҳо, алгебраи булӣ ё барномасозӣ шиносанд, хеле содда аст. IDEF5 се оператори асосии мантиқиро истифода мебарад:
- мантиқӣ ВА (VA);
- мантиқӣ Ё (Ё);
- истисноии OR (XOR).
Стандарти IDEF5 (http://idef.ru/documents/Idef5.pdf - аксари маълумот аз ин манбаъ) тасвири операторҳои мантиқиро дар шакли доираҳои хурд (дар муқоиса бо намоишҳо ва мисолҳо) бо нишона дар шакли рамзҳо. Аммо, дар муҳити графикии IDEF5, ки мо таҳия карда истодаем, мо бо сабабҳои зиёд аз ин қоида дур шудем. Яке аз онҳо мушкил муайян кардани ин операторҳо мебошад. Аз ин рӯ, мо аломати матнии операторҳоро бо рақами мушаххас истифода мебарем:
Шояд мо дар ин ҷо объектҳоро ба анҷом расонем.
Муносибатҳо
Муносибатҳои байни объектҳо вуҷуд доранд, ки дар онтология қоидаҳоеро ифода мекунанд, ки таъсири мутақобилаи байни объектҳоро муайян мекунанд ва аз онҳо хулосаҳои нав мебароянд.
Одатан, муносибатҳо аз рӯи намуди схемае, ки дар онтология истифода мешаванд, муайян карда мешаванд. Нақшаи маҷмӯи объектҳои онтологӣ ва муносибатҳои байни онҳост. Намудҳои асосии нақшаҳои зерин мавҷуданд:
- Схемаи таркиб.
- Схемаи гурӯҳбандӣ.
- Диаграммаҳои гузариш.
- Диаграммаҳои функсионалӣ.
- Схемаи якҷоя.
Инчунин баъзан чунин намуди схема вуҷуд дорад мавҷудият. Схемаи экзистенсиалӣ маҷмӯаи объектҳои бе муносибатҳо мебошад. Чунин диаграммаҳо танҳо нишон медиҳанд, ки дар як мавзӯи муайян маҷмӯи объектҳо мавҷуданд.
Хуб, ҳоло, бо тартиби, дар бораи ҳар як намуди схема.
Схемаи таркиб
Ин намуди диаграмма барои ифодаи таркиби объект, система, сохтор ва ғайра истифода мешавад. Намунаи маъмулӣ қисмҳои мошин аст. Дар шакли калонтарини худ, мошин аз кузов ва трансмиссия иборат аст. Дар навбати худ, бадан ба чаҳорчӯба, дарҳо ва дигар қисмҳо тақсим карда мешавад. Ин таҷзияро минбаъд идома додан мумкин аст - ҳама аз сатҳи зарурии тафсилот дар ин вазифаи мушаххас вобаста аст. Намунаи чунин схема:
Муносибатҳои таркиб ҳамчун тир бо тирча дар охири нишон дода мешаванд (баръакси муносибатҳои таснифот, ки дар он тирча дар аввали тир аст, тафсилоти бештар дар зер). Чунин муносибатҳоро бо нишонае, ки дар расм (қисми) нишон дода шудааст, нишон додан мумкин аст.
Схемаи гурӯҳбандӣ
Нақшаҳои гурӯҳбандӣ барои ифодаи таърифи намудҳо, зернамудҳои онҳо ва мисолҳои намудҳо пешбинӣ шудаанд. Масалан, мошинҳо метавонанд мошин ё мошинҳои боркаш бошанд. Яъне, намуди «Мошин» ду зерназар дорад. ВАЗ-2110 намунаи мушаххаси зернавъи "Автомобилҳои мусофирбар" ва ГАЗ-3307 намунаи зернавъи "Мошин" мебошад:
Муносибатҳо дар схемаҳои гурӯҳбандӣ (як зернамуд ё мисоли мушаххас) шакли тирча бо нӯги ибтидоӣ доранд ва ба мисли схемаҳои таркибӣ, метавонанд нишона бо номи муносибат дошта бошанд.
Схемаи гузариш
Схемахои ин намуд барои намоиш додани процессхои аз як холат ба холати дигар гузаштани объектхо зери таъсири чараёни муайян заруранд. Масалан, пас аз ранг кардани ранги сурх, мошини сиёҳ сурх мешавад:
Муносибати гузариш бо тирчаи дорои сар дар охири ва доира дар марказ нишон дода мешавад. Тавре ки шумо аз диаграмма мебинед, равандҳо ба муносибатҳо дахл доранд, на ба объектҳо.
Илова ба гузариши оддӣ, ки дар расм нишон дода шудааст, гузариши қатъӣ вуҷуд дорад. Он дар ҳолатҳое истифода мешавад, ки гузариш дар вазъияти додашуда равшан нест, аммо барои мо таъкид кардани он муҳим аст. Масалан, насб кардани оинаи ақиб дар мошин, агар мо раванди васлкунии мошинро дар миқёси ҷаҳонӣ баррасӣ кунем, кори муҳим нест. Аммо, дар баъзе мавридҳо ин амалиётро ҷудо кардан лозим аст:
Гузариши қатъӣ ба гузариши муқаррарӣ монанд аст, ба истиснои феррули дукарата дар охири.
Гузаришҳои муқаррарӣ ва қатъӣ инчунин метавонанд ҳамчун фаврӣ қайд карда шаванд. Барои ин ба доираи марказӣ секунҷа илова кунед. Гузаришҳои фаврӣ дар ҳолатҳое истифода мешаванд, ки вақти гузариш хеле кӯтоҳ аст, ки он дар доираи мавзӯи баррасишаванда комилан ночиз аст (камтар аз ҳадди ақали давраи муҳими вақт).
Масалан, агар ба мошин камтарин осебе расад, онро вайроншуда шуморидан мумкин аст ва нархи он якбора паст мешавад. Бо вуҷуди ин, бештари хисорот бар хилофи пиршавӣ ва фарсудашавӣ фавран рух медиҳад:
Мисол гузариши қатъиро нишон медиҳад, аммо шумо инчунин метавонед гузариши муқаррариро ҳамчун як фаврӣ истифода баред.
Диаграммаҳои функсионалӣ
Чунин диаграммаҳо барои нишон додани сохтори таъсири мутақобилаи байни объектҳо истифода мешаванд. Масалан, механики автомобил нигоҳдории мошинро анҷом медиҳад ва мудири хидматрасонии мошин дархостҳоро барои таъмир қабул мекунад ва онҳоро ба механики мошин медиҳад:
Муносибатҳои функсионалӣ ҳамчун хати рост бе нӯг, вале баъзан бо нишонае, ки номи муносибат аст, тасвир карда мешаванд.
Схемаи якҷоя
Схемаи якҷоя маҷмӯи схемаҳои қаблан баррасӣшуда мебошанд. Аксари схемаҳо дар методологияи IDEF5 якҷоя карда мешаванд, зеро онтологияҳое, ки танҳо як намуди схемаро истифода мебаранд, каманд.
Ҳама тарҳҳо аксар вақт операторҳои мантиқиро истифода мебаранд. Бо истифода аз онҳо муносибатҳои байни се, чор ё зиёда объектҳоро амалӣ кардан мумкин аст. Оператори мантиқӣ метавонад як объекти умумиро ифода кунад, ки тавассути он раванд иҷро карда мешавад ё дар муносибатҳои дигар иштирок мекунад. Масалан, шумо метавонед мисолҳои қаблиро ба таври зерин муттаҳид кунед:
Дар сурати мушаххас схемаи омехта схемаи таркиб (оина + мошини бе оина = мошин бо оина) ва схемаи гузариш (мошини оина дар зери таъсири раванди рангкунии сурх ба мошини сурх табдил меёбад) истифода мешавад. Ғайр аз он, мошини дорои оина ба таври возеҳ ифода карда нашудааст - ба ҷои он, оператори мантиқии ВА нишон дода шудааст.
хулоса
Дар ин мақола ман кӯшиш кардам, ки объектҳо ва муносибатҳои асосиро дар методологияи IDEF5 тавсиф кунам. Ман домени автомобилиро ҳамчун намуна истифода кардам, зеро бо истифода аз намунаи онҳо сохтани диаграммаҳо осонтар шуд. Аммо, схемаҳои IDEF5 метавонанд дар ҳама соҳаҳои дигари дониш истифода шаванд.
Онтологияҳо ва таҳлили донишҳои доменӣ як мавзӯи хеле васеъ ва вақтталаб аст. Аммо, дар доираи IDEF5, ҳама чиз он қадар душвор нест, ҳадди аққал, асосҳои ин мавзӯъ хеле содда омӯхта мешаванд. Мақсади мақолаи ман ҷалби аудиторияи нав ба мушкилоти таҳлили дониш аст, ҳарчанд тавассути чунин асбоби ибтидоии IDEF5 ҳамчун забони графикӣ.
Масъалаи забони графикї аз он иборат аст, ки бо ёрии он баъзе муносибатњои (аксиомањои) онтологияро аник мураттаб кардан номумкин аст. Барои ин забони матнии IDEF5 мавҷуд аст. Бо вуҷуди ин, дар марҳилаи ибтидоӣ, забони графикӣ метавонад барои таҳияи талаботҳои ибтидоии онтология ва муайян кардани вектор барои таҳияи онтологияи муфассалтар дар забони матнии IDEF5 ё ягон асбоби дигар хеле муфид бошад.
Ман умедворам, ки ин мақола барои шурӯъкунандагон дар ин соҳа муфид хоҳад буд, шояд ҳатто барои онҳое, ки бо масъалаи таҳлили онтологӣ муддати тӯлонӣ сару кор доранд. Ҳама маводи асосии ин мақола аз стандарти IDEF5, ки ман қаблан ба он ишора карда будам, тарҷума ва тафсир карда шудаанд (). Ман инчунин аз китоби олиҷаноби муаллифони NOU INTUIT илҳом гирифтам ().
Манбаъ: will.com