Mynediad
Mae'r erthygl hon wedi'i bwriadu ar gyfer y rhai sy'n gyfarwydd Γ’'r cysyniad o ontoleg ar lefel elfennol o leiaf. Os nad ydych chi'n gyfarwydd ag ontolegau, yna mae'n debyg na fydd pwrpas ontolegau a'r erthygl hon yn benodol yn glir i chi. Rwy'n eich cynghori i ymgyfarwyddo Γ’'r ffenomen hon cyn i chi ddechrau darllen yr erthygl hon (efallai y bydd hyd yn oed erthygl o Wicipedia yn ddigon).
Felly Ontoleg - mae hwn yn ddisgrifiad manwl o faes pwnc penodol dan sylw. Rhaid rhoi disgrifiad o'r fath mewn rhyw iaith glir. I ddisgrifio ontolegau, gallwch ddefnyddio methodoleg IDEF5, sydd Γ’ 2 iaith yn ei arsenal:
- Iaith sgematig IDEF5. Mae'r iaith hon yn weledol ac yn defnyddio elfennau graffig.
- Iaith testun IDEF5. Cynrychiolir yr iaith hon fel testun strwythuredig.
Bydd yr erthygl hon yn ystyried yr opsiwn cyntaf - iaith sgematig. Byddwn yn siarad am destun yn yr erthyglau canlynol.
Gwrthrychau
Mewn iaith sgematig, fel y crybwyllwyd eisoes, defnyddir elfennau graffig. Yn gyntaf, dylem ystyried elfennau sylfaenol yr iaith hon.
Yn aml, mae ontoleg yn defnyddio endidau cyffredinol a gwrthrychau penodol. Gelwir endidau cyffredinol rhywogaethau. Maent yn cael eu darlunio fel cylch gyda label (enw'r gwrthrych) y tu mewn:
Mae rhywogaethau yn gasgliad o sbesimenau unigol o rywogaeth benodol. Hynny yw, gall golygfa fel βCeirβ gynrychioli casgliad cyfan o geir unigol.
Gan fod y copiau Gall y math hwn fod yn geir penodol, neu'n fathau penodol o offer, neu'n frandiau penodol. Mae'r cyfan yn dibynnu ar y cyd-destun, y maes pwnc a lefel ei fanylder. Er enghraifft, ar gyfer siop atgyweirio ceir, bydd ceir penodol fel endidau ffisegol yn bwysig. Er mwyn cynnal rhai ystadegau ar werthiannau mewn deliwr ceir, bydd modelau penodol, ac ati yn bwysig.
Mae enghreifftiau unigol o rywogaethau yn cael eu dynodi yn debyg i'r rhywogaeth eu hunain, dim ond wedi'i nodi gan ddot ar waelod y cylch:
Hefyd, fel rhan o'r drafodaeth ar wrthrychau, mae'n werth sΓ΄n am wrthrychau fel prosesau.
Os yw golygfeydd ac achosion yn wrthrychau statig fel y'u gelwir (nad ydynt yn newid dros amser), yna mae prosesau yn wrthrychau deinamig. Mae hyn yn golygu bod y gwrthrychau hyn yn bodoli mewn cyfnod penodol o amser wedi'i ddiffinio'n llym.
Er enghraifft, gallwn nodi gwrthrych o'r fath fel y broses o weithgynhyrchu car (gan ein bod yn siarad amdanynt). Mae'n reddfol amlwg mai dim ond yn ystod cynhyrchiad gwirioneddol y car hwn y mae'r gwrthrych hwn yn bodoli (cyfnod o amser wedi'i ddiffinio'n llym). Mae'n werth cofio bod y diffiniad hwn yn amodol, oherwydd mae gan wrthrychau fel car hefyd eu bywyd gwasanaeth eu hunain, oes silff, bodolaeth, ac ati. Fodd bynnag, gadewch inni beidio Γ’ mynd i mewn i athroniaeth ac o fewn fframwaith y rhan fwyaf o feysydd pwnc gallwn dderbyn bod achosion, a hyd yn oed yn fwy felly rhywogaethau, yn bodoli am byth.
Mae prosesau yn cael eu darlunio fel petryal gyda label (enw) y broses:
Defnyddir prosesau mewn cynlluniau ar gyfer trosglwyddo un gwrthrych i'r llall. Bydd hyn yn cael ei drafod yn fanylach isod.
Yn ogystal Γ’ phrosesau, mae cynlluniau o'r fath yn defnyddio gweithredwyr rhesymegol. Mae popeth yma yn eithaf syml i'r rhai sy'n gyfarwydd Γ’ rhagfynegiadau, algebra Boole neu raglennu. Mae IDEF5 yn defnyddio tri gweithredwr rhesymegol sylfaenol:
- rhesymegol A (AND);
- rhesymegol NEU (NEU);
- ecsgliwsif NEU (XOR).
Mae safon IDEF5 (http://idef.ru/documents/Idef5.pdf - y rhan fwyaf o'r wybodaeth o'r ffynhonnell hon) yn diffinio delwedd gweithredwyr rhesymegol ar ffurf cylchoedd bach (o'i gymharu Γ’ golygfeydd ac enghreifftiau) gyda label yn y ffurf symbolau. Fodd bynnag, yn amgylchedd graffigol IDEF5 yr ydym yn ei ddatblygu, rydym wedi symud i ffwrdd o'r rheol hon am lawer o resymau. Un ohonynt yw adnabyddiaeth anodd o'r gweithredwyr hyn. Felly, rydym yn defnyddio nodiant testunol gweithredwyr gyda rhif adnabod:
Efallai y byddwn yn gorffen gyda gwrthrychau yma.
Cysylltiadau
Mae perthnasoedd rhwng gwrthrychau, sydd mewn ontoleg yn golygu rheolau sy'n pennu'r rhyngweithiad rhwng gwrthrychau ac y mae casgliadau newydd yn deillio ohonynt.
Yn nodweddiadol, mae perthnasoedd yn cael eu pennu gan y math o sgema a ddefnyddir yn yr ontoleg. Cynllun yn set o wrthrychau ontoleg a pherthynas rhyngddynt. Maeβr prif fathau o gynlluniau canlynol:
- Cynlluniau cyfansoddi.
- Cynlluniau dosbarthu.
- Diagramau pontio.
- Diagramau swyddogaethol.
- Cynlluniau cyfun.
Hefyd weithiau mae yna fath o gynllun ag dirfodol. Mae sgema dirfodol yn gasgliad o wrthrychau heb berthnasoedd. Mae diagramau o'r fath yn dangos yn syml bod set benodol o wrthrychau mewn maes pwnc penodol.
Wel, yn awr, mewn trefn, am bob math o gynllun.
Cynlluniau cyfansoddi
Defnyddir y math hwn o ddiagram i gynrychioli cyfansoddiad gwrthrych, system, strwythur, ac ati. Enghraifft nodweddiadol yw rhannau ceir. Yn ei ffurf fwyaf helaeth, mae'r car yn cynnwys corff a thrawsyriant. Yn ei dro, mae'r corff wedi'i rannu'n ffrΓ’m, drysau a rhannau eraill. Gellir parhau Γ’'r dadelfeniad hwn ymhellach - mae'r cyfan yn dibynnu ar y lefel ofynnol o fanylder yn y dasg benodol hon. Enghraifft o gynllun o'r fath:
Mae cysylltiadau cyfansoddiad yn cael eu harddangos fel saeth gyda phen saeth ar y diwedd (yn wahanol, er enghraifft, i berthynas ddosbarthu, lle mae'r pen saeth ar ddechrau'r saeth, mwy o fanylion isod). Gellir labelu perthnasoedd o'r fath Γ’ label fel yn y ffigur (rhan).
Cynlluniau dosbarthu
Bwriad cynlluniau dosbarthu yw mynegi'r diffiniad o rywogaethau, eu hisrywogaethau, ac achosion o rywogaethau. Er enghraifft, gall ceir fod yn geir a thryciau. Hynny yw, mae gan y farn βCarβ ddau is-olwg. Mae VAZ-2110 yn enghraifft benodol o'r isdeip "Car Teithwyr", ac mae GAZ-3307 yn enghraifft o'r is-deip "Truck":
Mae gan berthnasoedd mewn cynlluniau dosbarthu (isrywogaeth neu enghraifft benodol) ffurf saeth gyda blaen ar y dechrau ac, fel yn achos cynlluniau cyfansoddi, gallant gael label ag enw'r berthynas.
Cynlluniau pontio
Mae angen cynlluniau o'r math hwn i arddangos prosesau trosglwyddo gwrthrychau o un cyflwr i'r llall o dan ddylanwad proses benodol. Er enghraifft, ar Γ΄l y broses o beintio paent coch, mae car du yn troi'n goch:
Mae perthynas drawsnewid yn cael ei nodi gan saeth gyda phen ar y diwedd a chylch yn y canol. Fel y gallwch weld o'r diagram, mae prosesau'n cyfeirio at berthnasoedd, nid gwrthrychau.
Yn ychwanegol at y trawsnewidiad cyffredin a ddangosir yn y ffigur, mae trawsnewidiad llym. Fe'i defnyddir mewn achosion lle nad yw'r trawsnewid mewn sefyllfa benodol yn amlwg, ond mae'n bwysig inni ei bwysleisio. Er enghraifft, nid yw gosod drych golygfa gefn ar gar yn weithrediad sylweddol os ydym yn ystyried y broses cydosod ceir yn fyd-eang. Fodd bynnag, mewn rhai achosion mae angen gwahanu'r llawdriniaeth hon:
Mae pontio llym wedi'i farcio'n debyg i drawsnewidiad rheolaidd, ac eithrio'r ffurwl dwbl ar y diwedd.
Gall trawsnewidiadau arferol a llym hefyd gael eu marcio fel rhai sydyn. I wneud hyn, mae triongl yn cael ei ychwanegu at y cylch canolog. Defnyddir trawsnewidiadau sydyn mewn achosion lle mae'r amser trosglwyddo mor fyr fel ei fod yn gwbl ddibwys o fewn y maes pwnc dan sylw (llai na'r isafswm cyfnod sylweddol o amser).
Er enghraifft, os oes hyd yn oed y difrod lleiaf i gar, gellir ei ystyried wedi'i ddifrodi ac mae ei bris yn gostwng yn sydyn. Fodd bynnag, mae'r rhan fwyaf o ddifrod yn digwydd ar unwaith, yn wahanol i heneiddio a gwisgo:
Mae'r enghraifft yn dangos trosglwyddiad llym, ond gallwch hefyd ddefnyddio trosglwyddiad rheolaidd fel un ar unwaith.
Diagramau swyddogaethol
Defnyddir diagramau o'r fath i ddangos strwythur y rhyngweithio rhwng gwrthrychau. Er enghraifft, mae mecanig ceir yn cynnal a chadw cerbydau, ac mae rheolwr gwasanaeth ceir yn derbyn ceisiadau am atgyweiriadau ac yn eu trosglwyddo i fecanydd ceir:
Mae perthnasoedd swyddogaethol yn cael eu darlunio fel llinell syth heb awgrym, ond weithiau gyda label, sef enw'r berthynas.
Cynlluniau cyfun
Mae cynlluniau cyfun yn gyfuniad o gynlluniau a drafodwyd yn flaenorol. Mae'r rhan fwyaf o'r cynlluniau ym methodoleg IDEF5 wedi'u cyfuno, gan fod ontolegau sy'n defnyddio un math o gynllun yn unig yn brin.
Mae pob dyluniad yn aml yn defnyddio gweithredwyr rhesymegol. Trwy eu defnyddio, mae'n bosibl gweithredu perthnasoedd rhwng tri, pedwar neu fwy o wrthrychau. Gall gweithredwr rhesymegol fynegi rhyw endid cyffredinol y mae proses yn cael ei chynnal drosto neu sy'n cymryd rhan mewn rhyw berthynas arall. Er enghraifft, gallwch gyfuno'r enghreifftiau blaenorol yn un fel a ganlyn:
Mewn achos penodol, mae'r cynllun cyfunol yn defnyddio cynllun cyfansoddiad (drych + car heb ddrych = car gyda drych) a chynllun pontio (mae car gyda drych yn dod yn gar coch o dan ddylanwad y broses paent coch). Ar ben hynny, nid yw car gyda drych yn cael ei fynegi'n benodol - yn lle hynny, nodir y gweithredwr rhesymegol AC.
Casgliad
Yn yr erthygl hon, ceisiais ddisgrifio'r prif wrthrychau a pherthnasoedd ym methodoleg IDEF5. Defnyddiais y parth ceir fel enghraifft oherwydd roedd yn llawer haws adeiladu diagramau gan ddefnyddio eu hesiampl. Fodd bynnag, gellir defnyddio sgemΓ’u IDEF5 mewn unrhyw faes gwybodaeth arall.
Mae ontolegau a dadansoddi gwybodaeth parth yn bwnc eithaf helaeth sy'n cymryd llawer o amser. Fodd bynnag, o fewn fframwaith IDEF5, nid yw popeth mor anodd; o leiaf, dysgir hanfodion y pwnc hwn yn eithaf syml. Pwrpas fy erthygl yw denu cynulleidfa newydd at y broblem o ddadansoddi gwybodaeth, er mai trwy gyfrwng IDEF5 cyntefig fel iaith graffigol.
Problem iaith graffigol yw ei bod hi'n amhosibl, gyda'i chymorth, ffurfio rhai cysylltiadau (axiomau) o'r ontoleg yn glir. Mae iaith testun IDEF5 ar gyfer hyn. Fodd bynnag, yn y cam cychwynnol, gall iaith graffigol fod yn ddefnyddiol iawn ar gyfer llunio gofynion ontoleg cychwynnol a diffinio'r fector ar gyfer datblygu ontoleg fanylach yn iaith testun IDEF5 neu mewn unrhyw offeryn arall.
Rwy'n gobeithio y bydd yr erthygl hon yn ddefnyddiol i ddechreuwyr yn y maes hwn, efallai hyd yn oed i'r rhai sydd wedi bod yn delio Γ’ mater dadansoddi ontolegol ers amser maith. Cafodd yr holl brif ddeunydd yn yr erthygl hon ei gyfieithu a'i ddehongli o safon IDEF5, y cyfeiriais ati'n gynharach (). Cefais fy ysbrydoli hefyd gan lyfr gwych gan awduron o NOU INTUIT ().
Ffynhonnell: hab.com