eniro
Ĉi tiu artikolo estas celita por tiuj, kiuj konas tian koncepton kiel ontologio, almenaŭ ĉe la komenca nivelo. Se vi ne konas ontologiojn, tiam plej verŝajne vi ne komprenos la celon de ontologioj kaj precipe ĉi tiun artikolon. Mi konsilas al vi konatiĝi kun ĉi tiu fenomeno antaŭ ol komenci legi ĉi tiun artikolon (eble eĉ artikolo el Vikipedio sufiĉos).
Do, Ontologio estas detala priskribo de certa temo konsiderata. Tia karakterizado devus esti donita en iu klare artikita lingvo. Por priskribi ontologiojn, vi povas uzi la IDEF5-metodaron, kiu havas 2 lingvojn en sia arsenalo:
- Skema lingvo IDEF5. Ĉi tiu lingvo estas vida kaj uzas grafikajn elementojn.
- Teksta lingvo IDEF5. Ĉi tiu lingvo estas prezentita kiel strukturita teksto.
Ĉi tiu artikolo konsideros la unuan opcion - skeman lingvon. Pri teksto ni parolos en la sekvaj artikoloj.
Objektoj
En skema lingvo, kiel jam dirite, estas uzataj grafikaj elementoj. Komence, ni devus konsideri la ĉefajn elementojn de ĉi tiu lingvo.
Ofte, ontologio uzas kaj ĝeneraligitajn unuojn kaj specifajn objektojn. Ĝeneralaj estaĵoj estas nomitaj specoj. Ili estas prezentitaj kiel cirklo kun etikedo (objektnomo) interne:
Vidoj estas kolekto de individuaj okazoj de antaŭfiksita vido. Tio estas, tia vido kiel "Aŭtoj" povas reprezenti tutan aron de individuaj aŭtoj.
Kiel kopiojn ĉi tiu tipo povas esti specifaj aŭtoj, aŭ certaj specoj de ekipaĵo, aŭ certaj markoj. Ĉio dependas de la kunteksto, la temo kaj ĝia nivelo de detalo. Ekzemple, por aŭtoriparejo, specifaj aŭtoj kiel fizikaj estaĵoj estos gravaj. Por konservi iujn statistikojn pri vendoj en aŭtokoncesio, estos gravaj specifaj modeloj ktp.
Apartaj kazoj de vidoj estas indikitaj simile al la vidoj mem, nur ili estas indikitaj per punkto en la malsupra parto de la cirklo:
Ankaŭ, kadre de la diskuto pri objektoj, indas mencii tiajn objektojn kiel procezoj.
Se vidoj kaj okazoj estas tielnomitaj senmovaj objektoj (ne ŝanĝantaj laŭlonge de la tempo), tiam procezoj estas dinamikaj objektoj. Ĉi tio signifas, ke ĉi tiuj objektoj ekzistas en certa strikte difinita tempodaŭro.
Ekzemple, vi povas elekti tian objekton kiel la procezo de fabrikado de aŭto (ĉar ni parolas pri ili). Estas intuicie klare, ke ĉi tiu objekto ekzistas nur dum la efektiva produktado de ĉi tiu sama aŭto (strekte difinita tempodaŭro). Oni devas memori, ke ĉi tiu difino estas kondiĉa, ĉar objektoj kiel aŭtomobilo ankaŭ havas sian propran servodaŭron, konservaĵon, ekziston ktp. Tamen ni ne eniros en filozofion, kaj kadre de la plej multaj fakoj, oni povas akcepti, ke okazoj, kaj eĉ pli specioj, ekzistas por ĉiam.
Procezoj estas montrataj kiel rektangulo kun etikedo (nomo) de la procezo:
Procezoj estas uzataj en skemoj por transiro de unu objekto al alia. Pli pri ĉi tio estos diskutita poste.
Krom procezoj, tiaj skemoj uzas logikaj operatoroj. Ĉio estas sufiĉe simpla por tiuj, kiuj konas predikatojn, Bulea algebro aŭ programado. IDEF5 uzas tri bazajn logikajn funkciigistojn:
- logika KAJ (KAJ);
- logika AŬ (AŬ);
- ekskluziva AŬ (XOR).
La IDEF5-normo (http://idef.ru/documents/Idef5.pdf - la plej granda parto de la informoj de ĉi tiu fonto) difinas la reprezentadon de logikaj operatoroj kiel malgrandajn cirklojn (kompare kun vidoj kaj okazoj) kun etikedo en formo de simboloj. . Tamen, en la disvolviĝo de la grafika medio IDEF5, ni foriris de ĉi tiu regulo pro multaj kialoj. Unu el ili estas la malfacila identigo de ĉi tiuj operatoroj. Tial, ni uzas la tekstan notacion de operatoroj kun identiga nombro:
Eble ĉi tio estas la fino de la objektoj.
Rilatoj
Ekzistas rilatoj inter objektoj, kiuj en ontologio signifas regulojn kiuj determinas la interagadon inter objektoj kaj de kiuj novaj konkludoj estas akiritaj.
Tipe, rilatoj estas difinitaj per la speco de skemo uzita en la ontologio. Skemo estas aro de ontologiaj objektoj kaj rilatoj inter ili. Estas la sekvaj ĉefaj specoj de skemoj:
- komponskemoj.
- Klasifikaj skemoj.
- Transiraj skemoj.
- Funkciaj diagramoj.
- Kombinitaj skemoj.
Ankaŭ, foje ekzistas tia speco de skemoj kiel ekzisteca. Ekzisteca skemo estas kolekto de objektoj sen rilatoj. Tiaj diagramoj simple montras ke certa aro de objektoj ekzistas en certa temo.
Nu, nun en ordo pri ĉiu el la specoj de skemoj.
Komponskemoj
Ĉi tiu tipo de diagramo estas uzata por reprezenti la konsiston de objekto, sistemo, strukturo, ktp. Tipa ekzemplo estas aŭtopartoj. En la plej pligrandigita komponado, la aŭto konsistas el korpo kaj transdono. Siavice, la korpo estas dividita en kadron, pordojn kaj aliajn partojn. Ĉi tiu putriĝo povas daŭrigi plu - ĉio dependas de la bezonata detalo en ĉi tiu aparta problemo. Ekzemplo de tia skemo:
Kunmetaĵrilatoj estas montrataj kiel sago kun pinto ĉe la fino (male al, ekzemple, klasifika rilato, kie la pinto estas ĉe la komenco de la sago, pli pri tio poste). Tiaj rilatoj povas esti subskribitaj per etikedo kiel en la figuro (parto).
Klasifikaj skemoj
Klasifikaj skemoj estas celitaj esprimi la difinon de specioj, iliaj subspecioj, kaj speciokazoj. Ekzemple, aŭtoj povas esti aŭtoj kaj kamionoj. Tio estas, la "Aŭto" vido havas du subspeciojn. VAZ-2110 estas specifa kazo de la subspecio "Aŭto", kaj GAZ-3307 estas kazo de la subspecio "Kamiono":
Rilatoj en klasifikskemoj (subspecioj aŭ specifa kazo) havas la formon de sago kun pinto komence kaj, kiel en la kazo de kunmetskemoj, povas havi etikedon kun la nomo de la rilato.
Transiraj skemoj
Skemoj de ĉi tiu tipo estas necesaj por montri la procezojn de transiro de objektoj de unu ŝtato al alia sub la influo de certa procezo. Ekzemple, post la procezo de pentrado kun ruĝa farbo, nigra aŭto fariĝas ruĝa:
La transira proporcio estas indikita per sago kun pinto ĉe la fino kaj cirklo en la centro. Kiel vi povas vidi el la diagramo, procezoj rilatas al rilatoj, ne objektoj.
Krom la ordinara transiro montrita en la figuro, estas strikta transiro. Ĝi estas uzata en kazoj, kie la transiro en difinita situacio ne estas evidenta, sed gravas por ni emfazi ĝin. Ekzemple, munti retrospegulon sur aŭton ne estas grava operacio se ni konsideras la procezon de muntado de aŭto tutmonde. Tamen, en iuj kazoj necesas elekti ĉi tiun operacion:
Strikta transiro estas indikita simile al normala transiro, krom la duobla pinto ĉe la fino.
Regulaj kaj striktaj transiroj ankaŭ povas esti markitaj kiel tujaj. Por fari tion, triangulo estas aldonita al la centra cirklo. Tujaj transiroj estas uzitaj en kazoj kie la transirtempo estas tiel mallonga ke ĝi estas tute sensignifa ene de la temo sub konsidero (malpli ol la minimuma signifa tempointervalo).
Ekzemple, kun eĉ la plej eta damaĝo al aŭto, ĝi povas esti konsiderata difektita kaj ĝia prezo malaltiĝas akre. Tamen, plej multaj damaĝoj okazas tuj, male al maljuniĝo kaj eluziĝo:
La ekzemplo montras striktan transiron, sed vi ankaŭ povas uzi normalan transiron kiel tujan transiron.
Funkciaj diagramoj
Tiaj skemoj estas uzataj por indiki la strukturon de interagado inter objektoj. Ekzemple, aŭtomekanikisto elfaras aŭtoprizorgadon, kaj aŭtoservomanaĝero prenas petojn por riparoj kaj pasas ilin al aŭtomekanikisto:
Funkciaj rilatoj estas prezentitaj kiel rekta linio sen pinto, sed foje kun etikedo, kiu estas la nomo de la rilato.
Kombinitaj skemoj
Kombinitaj kabaloj estas kombinaĵo de antaŭe pripensitaj kabaloj. La plej multaj skemoj en la IDEF5-metodaro estas kombinitaj, ĉar ontologioj kiuj uzas nur unu specon de skemo estas maloftaj.
Ĉiuj cirkvitoj ofte uzas logikajn funkciigistojn. Uzante ilin, vi povas efektivigi rilatojn inter tri, kvar aŭ pli da objektoj. Logika funkciigisto povas esprimi iun ĝeneralan enton sur kiu procezo estas farita aŭ kiu partoprenas en alia rilato. Ekzemple, vi povas kombini la antaŭajn ekzemplojn en unu jene:
En specifa kazo, la kombinita skemo uzas komponan skemon (spegulo + aŭto sen spegulo = aŭto kun spegulo) kaj transiran skemon (aŭto kun spegulo fariĝas ruĝa aŭto sub la influo de la ruĝa farboprocezo). Krome, aŭto kun spegulo ne estas eksplicite esprimita - anstataŭe, la logika operatoro KAJ estas indikita.
konkludo
En ĉi tiu artikolo, mi provis priskribi la ĉefajn objektojn kaj rilatojn en la IDEF5-metodaro. Ekzemple, mi uzis la temon rilatan al aŭtoj, ĉar montriĝis multe pli facile konstrui diagramojn laŭ ilia ekzemplo. Tamen, IDEF5-skemoj povas esti uzataj en iu ajn alia fako.
Ontologioj kaj domajna scio-analizo estas sufiĉe ampleksa kaj tempopostula temo. Tamen, en la kadro de IDEF5, ĉio montriĝas ne tiel malfacila, almenaŭ la bazaĵoj de ĉi tiu temo estas lernitaj tute simple. La celo de mia artikolo estas altiri novan publikon al la problemo de scianalizo, kvankam koste de tia primitiva IDEF5-ilo kiel grafika lingvo.
La problemo de grafika lingvo estas, ke ĝi ne povas esti uzata por sufiĉe klare formuli certajn rilatojn (aksiomojn) de la ontologio. Por fari tion, ekzistas teksta lingvo IDEF5. Tamen, en la komenca stadio, grafika lingvo povas esti tre utila por formulado de la komencaj ontologiopostuloj kaj determinado de la vektoro por evoluigado de pli detala ontologio en la IDEF5 tekstlingvo aŭ en iu alia ilo.
Mi esperas, ke tiu ĉi artikolo estos utila por komencantoj en tiu ĉi kampo, eble eĉ por tiuj, kiuj jam delonge traktas la temon de ontologia analizo. La tuta ĉefa materialo de ĉi tiu artikolo estis tradukita kaj komprenita el la normo IDEF5, kiun mi antaŭe aludis (). Mi ankaŭ estis inspirita de mirinda libro de aŭtoroj de KNOW INTUIT ().
fonto: www.habr.com