Ifihan
Nkan yii jẹ ipinnu fun awọn ti o faramọ imọran ti ontology o kere ju ni ipele alakọbẹrẹ. Ti o ko ba faramọ pẹlu awọn ontologies, lẹhinna o ṣeese julọ idi ti awọn ontologies ati nkan yii ni pataki kii yoo han ọ. Mo gba ọ ni imọran lati mọ ararẹ pẹlu iṣẹlẹ yii ṣaaju ki o to bẹrẹ kika nkan yii (boya paapaa nkan kan lati Wikipedia yoo to).
bẹẹ Ontology - Eyi jẹ apejuwe alaye ti agbegbe koko-ọrọ kan labẹ ero. Iru apejuwe bẹẹ gbọdọ jẹ fun ni diẹ ninu awọn ede ti a ṣe agbekalẹ kedere. Lati ṣe apejuwe awọn ontologies, o le lo ilana IDEF5, eyiti o ni awọn ede 2 ninu ohun ija rẹ:
- IDEF5 ede sikematiki. Ede yii jẹ ojuran o si nlo awọn eroja ayaworan.
- IDEF5 ede ọrọ. Ede yii jẹ aṣoju bi ọrọ ti a ṣeto.
Nkan yii yoo ṣe akiyesi aṣayan akọkọ - ede sikematiki. A yoo sọrọ nipa ọrọ ninu awọn nkan atẹle.
Awọn nkan
Ni ede sikematiki, bi a ti sọ tẹlẹ, awọn eroja ayaworan ni a lo. Lákọ̀ọ́kọ́, a gbọ́dọ̀ gbé àwọn kókó pàtàkì inú èdè yìí yẹ̀ wò.
Nigbagbogbo, ontology nlo awọn nkan ti gbogbogbo ati awọn nkan kan pato. Awọn nkan ti o ṣakopọ ni a pe awọn iru. Wọn ṣe afihan bi iyika kan pẹlu aami (orukọ ohun naa) inu:
Awọn eya jẹ akojọpọ awọn apẹẹrẹ kọọkan ti eya ti a fun. Iyẹn ni, wiwo bii “Awọn ọkọ ayọkẹlẹ” le ṣe aṣoju gbogbo akojọpọ awọn ọkọ ayọkẹlẹ kọọkan.
Bi idaako Iru yii le jẹ awọn ọkọ ayọkẹlẹ kan pato, tabi awọn iru ẹrọ kan, tabi awọn ami iyasọtọ kan. Gbogbo rẹ da lori ọrọ-ọrọ, agbegbe koko-ọrọ ati ipele ti alaye rẹ. Fun apẹẹrẹ, fun ile itaja titunṣe ọkọ ayọkẹlẹ, awọn ọkọ ayọkẹlẹ kan pato bi awọn nkan ti ara yoo jẹ pataki. Lati ṣetọju diẹ ninu awọn iṣiro lori tita ni ọkọ ayọkẹlẹ ọkọ ayọkẹlẹ, awọn awoṣe pato, ati bẹbẹ lọ yoo jẹ pataki.
Awọn iṣẹlẹ ti ara ẹni kọọkan jẹ apẹrẹ bakanna si eya ara wọn, nikan ni itọkasi nipasẹ aami kan ni isalẹ ti Circle:
Pẹlupẹlu, gẹgẹbi apakan ti ijiroro ti awọn nkan, o tọ lati darukọ iru awọn nkan bii awọn ilana.
Ti awọn iwo ati awọn apẹẹrẹ jẹ ohun ti a pe ni awọn nkan aimi (kii ṣe iyipada ni akoko), lẹhinna awọn ilana jẹ awọn ohun ti o ni agbara. Eyi tumọ si pe awọn nkan wọnyi wa ni akoko kan pato ti o muna.
Fun apẹẹrẹ, a le ṣe iyasọtọ iru ohun kan gẹgẹbi ilana ti iṣelọpọ ọkọ ayọkẹlẹ kan (niwon a n sọrọ nipa wọn). O han gbangba pe nkan yii wa nikan lakoko iṣelọpọ gangan ti ọkọ ayọkẹlẹ yii (akoko ti a ṣalaye muna). O tọ lati tọju ni lokan pe asọye yii jẹ ipo, nitori awọn nkan bii ọkọ ayọkẹlẹ tun ni igbesi aye iṣẹ tiwọn, igbesi aye selifu, aye, ati bẹbẹ lọ. Sibẹsibẹ, jẹ ki a ma lọ sinu imoye ati laarin ilana ti ọpọlọpọ awọn agbegbe koko-ọrọ a le gba pe awọn iṣẹlẹ, ati paapaa diẹ sii awọn eya, wa lailai.
Awọn ilana jẹ afihan bi onigun mẹta pẹlu aami (orukọ) ilana:
Awọn ilana ni a lo ninu awọn eto fun iyipada ohun kan si omiiran. Eleyi yoo wa ni sísọ ni diẹ apejuwe awọn ni isalẹ.
Ni afikun si awọn ilana, iru awọn ero lo mogbonwa awọn oniṣẹ. Ohun gbogbo nibi jẹ ohun rọrun fun awọn ti o faramọ pẹlu awọn asọtẹlẹ, Bolianu algebra tabi siseto. IDEF5 nlo awọn oniṣẹ ọgbọn ipilẹ mẹta:
- mogbonwa ATI (AND);
- mogbonwa TABI (OR);
- iyasoto OR (XOR).
Idiwọn IDEF5 (http://idef.ru/documents/Idef5.pdf - pupọ julọ alaye lati orisun yii) n ṣalaye aworan ti awọn oniṣẹ oye ni irisi awọn iyika kekere (akawe si awọn iwo ati awọn apẹẹrẹ) pẹlu aami kan ninu fọọmu ti aami. Bibẹẹkọ, ni agbegbe ayaworan IDEF5 ti a n dagbasoke, a ti lọ kuro ninu ofin yii fun ọpọlọpọ awọn idi. Ọkan ninu wọn ni idanimọ ti o nira ti awọn oniṣẹ wọnyi. Nitorinaa, a lo akiyesi ọrọ ti awọn oniṣẹ pẹlu nọmba idanimọ kan:
Boya a yoo pari pẹlu awọn nkan nibi.
Awọn ibasepọ
Awọn ibatan wa laarin awọn nkan, eyiti ninu ontology tumọ si awọn ofin ti o pinnu ibaraenisepo laarin awọn nkan ati lati eyiti awọn ipinnu tuntun ti wa.
Ni deede, awọn ibatan jẹ ipinnu nipasẹ iru ero-ọrọ ti a lo ninu ontology. Ero jẹ eto awọn nkan ontology ati awọn ibatan laarin wọn. Awọn oriṣi akọkọ ti awọn eto wọnyi wa:
- Awọn eto kikọ.
- Awọn eto ipin.
- Awọn aworan iyipada.
- Awọn aworan atọka iṣẹ-ṣiṣe.
- Awọn eto apapọ.
Paapaa nigbakan iru iru eto kan wa bi tẹlẹ. Ilana ti o wa tẹlẹ jẹ akojọpọ awọn nkan laisi awọn ibatan. Iru awọn aworan atọka kan fihan pe ni agbegbe koko-ọrọ kan awọn ohun elo kan wa.
O dara, ni bayi, ni ibere, nipa iru ero kọọkan.
Awọn eto kikọ
Iru aworan atọka yii ni a lo lati ṣe aṣoju akojọpọ ohun kan, eto, igbekalẹ, ati bẹbẹ lọ. A aṣoju apẹẹrẹ ni ọkọ ayọkẹlẹ awọn ẹya ara. Ni awọn oniwe-julọ fífẹ fọọmu, awọn ọkọ ayọkẹlẹ oriširiši ti a ara ati gbigbe. Ni ọna, ara ti pin si fireemu, awọn ilẹkun ati awọn ẹya miiran. Ibajẹ yii le tẹsiwaju siwaju - gbogbo rẹ da lori ipele ti a beere fun alaye ni iṣẹ-ṣiṣe pataki yii. Apeere ti iru eto:
Awọn ibatan akopọ jẹ afihan bi itọka pẹlu ori itọka ni ipari (ko dabi, fun apẹẹrẹ, ibatan isọdi, nibiti ori itọka wa ni ibẹrẹ itọka, awọn alaye diẹ sii ni isalẹ). Iru awọn ibatan le jẹ aami pẹlu aami bi ninu eeya (apakan).
Awọn eto ipin
Awọn ero isọri jẹ ipinnu lati ṣalaye asọye ti awọn eya, awọn ẹya-ara wọn, ati awọn iṣẹlẹ ti awọn eya. Fun apẹẹrẹ, awọn ọkọ ayọkẹlẹ le jẹ awọn ọkọ ayọkẹlẹ ati awọn oko nla. Iyẹn ni, wiwo “Ọkọ ayọkẹlẹ” ni awọn iwo-apakan meji. VAZ-2110 jẹ apẹẹrẹ kan pato ti “Passenger Car” subtype, ati GAZ-3307 jẹ apẹẹrẹ ti “Iru oko nla”:
Awọn ibatan ninu awọn eto isọdi (awọn ẹya-ara tabi apẹẹrẹ kan pato) ni irisi itọka pẹlu itọka kan ni ibẹrẹ ati, gẹgẹ bi ọran ti awọn ero akojọpọ, le ni aami kan pẹlu orukọ ibatan naa.
Awọn eto iyipada
Awọn ero ti iru yii jẹ pataki lati ṣafihan awọn ilana ti iyipada ti awọn nkan lati ipinlẹ kan si ekeji labẹ ipa ti ilana kan. Fun apẹẹrẹ, lẹhin ilana ti kikun awọ pupa, ọkọ ayọkẹlẹ dudu kan di pupa:
Ibasepo iyipada jẹ itọkasi nipasẹ itọka pẹlu ori ni ipari ati Circle kan ni aarin. Bii o ti le rii lati aworan atọka, awọn ilana tọka si awọn ibatan, kii ṣe awọn nkan.
Ni afikun si iyipada lasan ti o han ninu nọmba naa, iyipada ti o muna wa. O ti wa ni lo ninu awọn igba ibi ti awọn iyipada ni a fi fun ipo ni ko han, sugbon o jẹ pataki fun a fi rinlẹ o. Fun apẹẹrẹ, fifi digi wiwo ẹhin sori ọkọ ayọkẹlẹ kii ṣe iṣẹ pataki ti a ba gbero ilana apejọ ọkọ ayọkẹlẹ ni agbaye. Sibẹsibẹ, ni awọn igba miiran o jẹ dandan lati ya iṣẹ yii sọtọ:
Iyipada ti o muna ti samisi bakanna si iyipada deede, ayafi fun ilọpo meji ni ipari.
Awọn iyipada deede ati ti o muna le tun jẹ samisi bi lẹsẹkẹsẹ. Lati ṣe eyi, fi onigun mẹta kan si Circle aarin. Awọn iyipada lẹsẹkẹsẹ ni a lo ni awọn ọran nibiti akoko iyipada ti kuru tobẹẹ ti ko ṣe pataki laarin agbegbe koko-ọrọ labẹ ero (kere ju akoko akoko pataki ti o kere ju).
Fun apẹẹrẹ, ti o ba jẹ paapaa ibajẹ diẹ si ọkọ ayọkẹlẹ kan, a le ro pe o bajẹ ati pe idiyele rẹ ṣubu ni kiakia. Sibẹsibẹ, pupọ julọ ibajẹ waye lesekese, ko dabi ti ogbo ati wọ:
Apẹẹrẹ ṣe afihan iyipada ti o muna, ṣugbọn o tun le lo iyipada deede bi ọkan lẹsẹkẹsẹ.
Awọn aworan atọka iṣẹ-ṣiṣe
Iru awọn aworan atọka bẹẹ ni a lo lati tọka si eto ibaraenisepo laarin awọn nkan. Fun apẹẹrẹ, mekaniki ọkọ ayọkẹlẹ n ṣe itọju ọkọ ayọkẹlẹ, ati pe oluṣakoso iṣẹ ọkọ ayọkẹlẹ kan gba awọn ibeere fun atunṣe ati gbe wọn lọ si ẹlẹrọ ọkọ ayọkẹlẹ kan:
Awọn ibatan iṣẹ ṣiṣe jẹ afihan bi laini taara laisi imọran, ṣugbọn nigbamiran pẹlu aami kan, eyiti o jẹ orukọ ibatan naa.
Awọn eto apapọ
Awọn ero idapọ jẹ akojọpọ awọn ero ti a sọrọ tẹlẹ. Pupọ julọ awọn ero inu ilana IDEF5 ni idapo, nitori awọn ontologies ti o lo iru ero kan ṣoṣo jẹ ṣọwọn.
Gbogbo awọn aṣa nigbagbogbo lo awọn oniṣẹ ọgbọn. Nipa lilo wọn, o ṣee ṣe lati ṣe awọn ibatan laarin awọn nkan mẹta, mẹrin tabi diẹ sii. Onišẹ ọgbọn le ṣe afihan nkan gbogbogbo lori eyiti ilana kan ti ṣe tabi eyiti o ṣe alabapin ninu ibatan miiran. Fun apẹẹrẹ, o le darapọ awọn apẹẹrẹ ti tẹlẹ sinu ọkan gẹgẹbi atẹle:
Ni ọran kan pato, ero idapo naa nlo ero akojọpọ kan (digi + ọkọ ayọkẹlẹ laisi digi = ọkọ ayọkẹlẹ pẹlu digi) ati ero iyipada (ọkọ ayọkẹlẹ kan ti o ni digi di ọkọ ayọkẹlẹ pupa labẹ ipa ti ilana awọ pupa). Pẹlupẹlu, ọkọ ayọkẹlẹ kan ti o ni digi ko ṣe afihan ni gbangba - dipo, oniṣẹ ọgbọn ATI jẹ itọkasi.
ipari
Ninu nkan yii, Mo gbiyanju lati ṣe apejuwe awọn nkan akọkọ ati awọn ibatan ni ilana IDEF5. Mo lo aaye ọkọ ayọkẹlẹ bi apẹẹrẹ nitori pe o rọrun pupọ lati kọ awọn aworan atọka nipa lilo apẹẹrẹ wọn. Sibẹsibẹ, awọn eto IDEF5 le ṣee lo ni eyikeyi aaye imọ miiran.
Ontologies ati itupalẹ imọ-ašẹ jẹ koko-ọrọ ti o gbooro pupọ ati akoko n gba. Sibẹsibẹ, laarin ilana ti IDEF5, ohun gbogbo wa jade lati ko nira; o kere ju, awọn ipilẹ ti koko yii ni a kọ ni irọrun. Idi ti nkan mi ni lati ṣe ifamọra awọn olugbo tuntun si iṣoro ti itupalẹ imọ, botilẹjẹpe nipasẹ iru ohun elo IDEF5 atijo bi ede ayaworan.
Iṣoro ti ede ayaworan ni pe pẹlu iranlọwọ rẹ ko ṣee ṣe lati ṣe agbekalẹ ni kedere diẹ ninu awọn ibatan (awọn axioms) ti ontology. IDEF5 ede ọrọ wa fun eyi. Bibẹẹkọ, ni ipele ibẹrẹ, ede ayaworan le wulo pupọ fun ṣiṣe agbekalẹ awọn ibeere ontology akọkọ ati asọye vector fun idagbasoke ontology alaye diẹ sii ni ede ọrọ IDEF5 tabi ni eyikeyi irinṣẹ miiran.
Mo nireti pe nkan yii yoo wulo fun awọn olubere ni aaye yii, boya paapaa fun awọn ti o ti n ba ọran ti itupalẹ ontological fun igba pipẹ. Gbogbo ohun elo akọkọ ninu nkan yii ni a tumọ ati tumọ lati boṣewa IDEF5, eyiti Mo tọka si tẹlẹ (). Mo tun ni atilẹyin nipasẹ iwe iyalẹnu lati ọdọ awọn onkọwe lati NOU INTUIT ().
orisun: www.habr.com