Ynlieding
Dit artikel is bedoeld foar dyjingen dy't op syn minst op elemintêr nivo bekend binne mei it konsept fan ontology. As jo net bekend binne mei ontologyen, dan sil wierskynlik it doel fan ontologyen en dit artikel foar jo net dúdlik wêze. Ik ried jo oan om mei dit ferskynsel bekend te meitsjen foardat jo begjinne mei it lêzen fan dit artikel (miskien sil sels in artikel fan de Wikipedy foldogge).
Dus, Ontology - dit is in detaillearre beskriuwing fan in bepaald ûnderwerpgebiet dat wurdt beskôge. Sa'n beskriuwing moat jûn wurde yn ien of oare dúdlik formulearre taal. Om ontologyen te beskriuwen, kinne jo de IDEF5-metoade brûke, dy't 2 talen yn har arsenal hat:
- IDEF5 skematyske taal. Dizze taal is fisueel en brûkt grafyske eleminten.
- IDEF5 teksttaal. Dizze taal wurdt fertsjintwurdige as strukturearre tekst.
Dit artikel sil beskôgje de earste opsje - skematyske taal. Wy sille prate oer tekst yn 'e folgjende artikels.
De objekten
Yn skematyske taal, lykas al neamd, wurde grafyske eleminten brûkt. Earst moatte wy de basiseleminten fan dizze taal beskôgje.
Faak brûkt in ontology sawol generalisearre entiteiten as spesifike objekten. Generalisearre entiteiten wurde neamd soarten. Se wurde ôfbylde as in sirkel mei in label (namme fan it objekt) binnen:
Soarten binne in kolleksje fan yndividuele eksimplaren fan in bepaalde soart. Dat is, in werjefte lykas "Cars" kin fertsjintwurdigje in hiele kolleksje fan yndividuele auto.
As a kopyen Dit type kin spesifike auto's wêze, as bepaalde soarten apparatuer, as bepaalde merken. It hinget allegear ôf fan 'e kontekst, it fakgebiet en it nivo fan detail. Bygelyks foar in autoreparaasjewinkel sille spesifike auto's as fysike entiteiten wichtich wêze. Om wat statistiken te behâlden oer ferkeap by in autodealer sil spesifike modellen, ensfh.
Yndividuele eksimplaren fan soarten wurde op deselde wize oanwiisd as de soarten sels, allinich oanjûn troch in stip oan 'e ûnderkant fan' e sirkel:
Ek, as ûnderdiel fan 'e diskusje fan objekten, is it neamen wurdich sokke objekten as prosessen.
As werjeften en eksimplaren saneamde statyske objekten binne (net feroarje oer de tiid), dan binne prosessen dynamyske objekten. Dit betsjut dat dizze objekten bestean yn in bepaalde strikt definiearre perioade fan tiid.
Bygelyks, wy kinne ien fan sa'n objekt as it proses fan it meitsjen fan in auto (om't wy it oer har hawwe). It is yntuïtyf dúdlik dat dit objekt allinich bestiet yn 'e eigentlike produksje fan dizze auto (in strikt definieare perioade). It is it wurdich te hâlden dat dizze definysje betingst is, om't objekten lykas in auto ek har eigen libbenslibben, houdbaarheid, bestean, ensfh. Lit ús lykwols net yngean op filosofy en yn it ramt fan de measte fakgebieten kinne wy akseptearje dat eksimplaren, en mear noch soarten, foar altyd bestean.
Prosessen wurde ôfbylde as in rjochthoek mei in label (namme) fan it proses:
Prosessen wurde brûkt yn skema's foar de oergong fan ien objekt nei in oar. Dit sil hjirûnder yn mear detail besprutsen wurde.
Neist prosessen brûke sokke regelingen logyske operators. Alles hjir is frij ienfâldich foar dyjingen dy't bekend binne mei predikaten, Booleaanske algebra of programmearring. IDEF5 brûkt trije basis logyske operators:
- logyske EN (EN);
- logyske OR (OF);
- eksklusyf OR (XOR).
De IDEF5-standert (http://idef.ru/documents/Idef5.pdf - de measte ynformaasje út dizze boarne) definiearret it byld fan logyske operators yn 'e foarm fan lytse sirkels (yn ferliking mei werjeften en eksimplaren) mei in label yn' e foarm fan symboalen. Yn 'e grafyske omjouwing fan IDEF5 dy't wy ûntwikkelje, binne wy lykwols om in protte redenen fuortgien fan dizze regel. Ien fan harren is de drege identifikaasje fan dizze operators. Dêrom brûke wy de tekstuele notaasje fan operators mei in identifikaasjenûmer:
Miskien sille wy hjir ôfslute mei objekten.
Relaasjes
Der binne relaasjes tusken objekten, wat yn de ontology regels betsjut dy't de ynteraksje tusken objekten bepale en dêr't nije konklúzjes út ôflaat wurde.
Typysk wurde relaasjes bepaald troch it type skema dat brûkt wurdt yn 'e ontology. De regeling is in set fan ontology objekten en relaasjes tusken harren. D'r binne de folgjende haadtypen fan skema's:
- Gearstalling schemes.
- Klassifikaasje schemes.
- Transysje diagrammen.
- Funksjonele diagrammen.
- Kombinearre skema's.
Ek soms is der sa'n soarte fan skema as eksistinsjele. In eksistinsjele skema is in samling objekten sûnder relaasjes. Sokke diagrammen litte gewoan sjen dat yn in bepaald ûnderwerpgebiet in bepaalde set fan objekten is.
No, no, yn oarder, oer elk type skema.
Gearstalling schemes
Dit type diagram wurdt brûkt om de gearstalling fan in objekt, systeem, struktuer, ensfh. In typysk foarbyld is auto-ûnderdielen. Yn syn meast fergrutte foarm, de auto bestiet út in lichem en transmissie. Op syn beurt is it lichem ferdield yn in frame, doarren en oare dielen. Dizze ûntbining kin fierder fuortset wurde - it hinget allegear ôf fan it fereaske nivo fan detail yn dizze bepaalde taak. In foarbyld fan sa'n skema:
Gearstallingsrelaasjes wurde werjûn as in pylk mei in pylk oan 'e ein (oars as bygelyks in klassifikaasjerelaasje, dêr't de pylk oan it begjin fan 'e pylk stiet, mear details hjirûnder). Sokke relaasjes kinne markearre wurde mei in label lykas yn 'e figuer (diel).
Klassifikaasje schemes
Klassifikaasjeskema's binne bedoeld om de definysje fan soarten, har ûndersoarten en eksimplaren fan soarten út te drukken. Auto's kinne bygelyks auto's en frachtweinen wêze. Dat is, de werjefte "Auto" hat twa subwerjeften. VAZ-2110 is in spesifyk eksimplaar fan it subtype "Passenger Car", en GAZ-3307 is in eksimplaar fan it subtype "Truck":
Relaasjes yn klassifikaasjeskema's (in ûndersoarte of in spesifike eksimplaar) hawwe de foarm fan in pylk mei in tip oan it begjin en kinne, lykas by komposysjeskema's, in label hawwe mei de namme fan 'e relaasje.
Transysje schemes
Skema's fan dit type binne nedich om de prosessen fan oergong fan objekten fan de iene steat nei de oare te werjaan ûnder de ynfloed fan in bepaald proses. Bygelyks, nei it proses fan it skilderjen fan reade ferve, wurdt in swarte auto read:
In oergongsrelaasje wurdt oanjûn troch in pylk mei in kop oan 'e ein en in sirkel yn it sintrum. Sa't jo sjen kinne út it diagram, ferwize prosessen nei relaasjes, net objekten.
Neist de gewoane oergong werjûn yn 'e figuer, is der in strange oergong. It wurdt brûkt yn gefallen dêr't de oergong yn in opjûne situaasje is net fanselssprekkend, mar it is wichtich foar ús te beklamje it. Bygelyks, it ynstallearjen fan in efterútsjochspegel op in auto is gjin wichtige operaasje as wy it automontageproses wrâldwiid beskôgje. Lykwols, yn guon gefallen is it nedich om te skieden dizze operaasje:
In strange oergong wurdt markearre likegoed as in gewoane oergong, útsein foar de dûbele ferrule oan 'e ein.
Normale en strange oergongen kinne ek markearre wurde as instantaneous. Om dit te dwaan, foegje in trijehoek ta oan 'e sintrale sirkel. Instant transysjes wurde brûkt yn gefallen dêr't de oergong tiid is sa koart dat it is folslein ûnbelangryk binnen it ûnderwerp gebiet ûnder behanneling (minder as de minimale signifikante perioade fan tiid).
Bygelyks, as der sels de minste skea is oan in auto, kin it beskôge wurde as skea en de priis sakket flink. De measte skea komt lykwols direkt foar, yn tsjinstelling ta fergrizing en wear:
It foarbyld lit in strikte oergong sjen, mar jo kinne ek in gewoane oergong brûke as in direkte oergong.
Funksjonele diagrammen
Sokke diagrammen wurde brûkt om de struktuer fan ynteraksje tusken objekten oan te jaan. Bygelyks, in automonteur fiert ûnderhâld fan auto's út, en in autoservicemanager akseptearret oanfragen foar reparaasjes en draacht se oer nei in automonteur:
Funksjonele relaasjes wurde ôfbylde as in rjochte line sûnder tip, mar soms mei in label, dat is de namme fan 'e relaasje.
Kombinearre regelingen
Kombinearre regelingen binne in kombinaasje fan earder besprutsen regelingen. De measte fan 'e skema's yn' e IDEF5-metodology binne kombinearre, om't ontologyen dy't mar ien type skema brûke, seldsum binne.
Alle ûntwerpen brûke faak logyske operators. Troch se te brûken is it mooglik om relaasjes tusken trije, fjouwer of mear objekten út te fieren. In logyske operator kin in algemiene entiteit útdrukke wêrop in proses wurdt útfierd of dy't dielnimme oan in oare relaasje. Jo kinne bygelyks de foarige foarbylden kombinearje yn ien as folgjend:
Yn in spesifyk gefal brûkt it kombinearre skema in komposysjeskema (spegel + auto sûnder spegel = auto mei spegel) en in oergongskema (in auto mei in spegel wurdt in reade auto ûnder ynfloed fan it reade ferveproses). Boppedat wurdt in auto mei in spegel net eksplisyt útdrukt - ynstee wurdt de logyske operator EN oanjûn.
konklúzje
Yn dit artikel besocht ik de haadobjekten en relaasjes te beskriuwen yn 'e IDEF5-metodology. Ik brûkte it auto-domein as foarbyld, om't it folle makliker die bliken te wêzen om diagrammen te bouwen mei har foarbyld. IDEF5-skema's kinne lykwols brûkt wurde yn elk oar kennisfjild.
Ontologyen en de analyze fan domeinkennis is in frij wiidweidich en tiidslinend ûnderwerp. Lykwols, yn it ramt fan IDEF5, alles blykt te wêzen net sa dreech op syn minst, de basis fan dit ûnderwerp wurde leard hiel gewoan. It doel fan myn artikel is om in nij publyk te lûken nei it probleem fan kennisanalyse, al is dit troch sa'n primitive IDEF5-ark as in grafyske taal.
It probleem fan in grafyske taal is dat it mei har help ûnmooglik is om guon relaasjes (aksioma's) fan 'e ontology dúdlik te formulearjen. Dêr is in teksttaal IDEF5 foar. Yn 'e earste faze kin in grafyske taal lykwols heul nuttich wêze foar it formulearjen fan inisjele ontologyske easken en it definiearjen fan de fektor foar it ûntwikkeljen fan in mear detaillearre ontology yn' e IDEF5-teksttaal of yn in oar ark.
Ik hoopje dat dit artikel nuttich sil wêze foar begjinners op dit mêd, miskien sels foar dyjingen dy't in lange tiid dwaande binne mei it probleem fan ontologyske analyze. Al it haadmateriaal yn dit artikel waard oerset en ynterpretearre út 'e IDEF5-standert, wêr't ik earder nei ferwiisde (). Ik waard ek ynspirearre troch in prachtich boek fan skriuwers fan NOU INTUIT ().
Boarne: www.habr.com