Plus
Questu articulu hè destinatu à quelli chì sò familiarizati cù un cuncettu cum'è ontulugia, almenu à u livellu iniziale. Se ùn site micca familiarizatu cù l'ontulugia, allora u più prubabile ùn capisce micca u scopu di l'ontologie è questu articulu in particulare. Vi cunsigliu di familiarizàvi cù stu fenominu prima di principià à leghje stu articulu (forse ancu un articulu di Wikipedia basterà).
Allora Ontulugia hè una descrizzione dettagliata di un certu sughjettu in cunsiderà. Una tale carattarizazione deve esse data in una lingua chjaramente articulata. Per discrive l'ontologie, pudete aduprà a metodulugia IDEF5, chì hà 2 lingue in u so arsenale:
- Lingua schematica IDEF5. Sta lingua hè visuale è usa elementi grafichi.
- Lingua di testu IDEF5. Sta lingua hè rapprisintata cum'è testu strutturatu.
Questu articulu hà da cunsiderà a prima opzione - una lingua schematica. Avemu da parlà di u testu in l'articuli seguenti.
L'uggetti
In una lingua schematica, cum'è digià dettu, sò usati elementi grafichi. Per principià, duvemu cunsiderà l'elementi principali di sta lingua.
Spessu, l'ontulugia usa sia entità generalizate sia oggetti specifichi. L'entità generiche sò chjamate spezie. Sò raffigurati cum'è un cerculu cù una etichetta (nome di l'ughjettu) in l'internu:
Viste sò una cullizzioni di istanze individuali di una vista determinata. Questu hè, una vista cum'è "Cars" pò rapprisintà un inseme sanu di vitture individuali.
Cum'è a copie stu tipu pò esse vitture specifichi, o certi tipi di equipaggiu, o certi marche. Tuttu dipende di u cuntestu, di u sughjettu è di u so livellu di dettagliu. Per esempiu, per una tenda di riparazione di vitture, i vitture specifiche cum'è entità fisiche seranu impurtanti. Per mantene qualchi statistiche nantu à a vendita in una cuncessione di vittura, mudelli specifichi, etc.
Esempii separati di vista sò designati in modu simili à i veduti stessi, solu sò indicati da un puntu in a parti inferiore di u cerculu:
Inoltre, cum'è parte di a discussione di l'uggetti, vale a pena menzionate tali oggetti cum'è prucessi.
Se viste è istanze sò cusì chjamati oggetti statichi (ùn cambienu cù u tempu), i prucessi sò oggetti dinamichi. Questu significa chì questi ogetti esistenu in un certu periodu di tempu strettamente definitu.
Per esempiu, pudete selezziunà un ughjettu cum'è u prucessu di fabricazione di una vittura (perchè parlemu di elli). Hè intuitivamente chjaru chì questu ughjettu esiste solu durante a pruduzzione attuale di sta vittura stessa (un periodu di tempu strettamente definitu). Hè da esse cunsideratu chì sta definizione hè cundizionale, perchè l'uggetti, cum'è una vittura, anu ancu a so vita di serviziu, a vita di a vita, l'esistenza, etc. Tuttavia, ùn andemu micca in filusufìa, è in u quadru di a maiò parte di i sughjetti, si pò accettà chì l'istanze, è ancu più spezie, esistenu per sempre.
I prucessi sò visualizati cum'è un rettangulu cù una etichetta (nome) di u prucessu:
I prucessi sò usati in schemi per a transizione di un ughjettu à l'altru. Più nantu à questu serà discututu dopu.
In più di prucessi, tali schemi usanu operatori logici. Tuttu hè abbastanza simplice per quelli chì sò familiarizati cù predicati, algebra booleana o prugrammazione. IDEF5 usa trè operatori lògichi basi:
- AND logicu (AND);
- OR logicu (OR);
- OR exclusivu (XOR).
U standard IDEF5 (http://idef.ru/documents/Idef5.pdf - a maiò parte di l'infurmazioni da sta fonti) definisce a rapprisintazioni di l'operatori lògichi cum'è picculi circles (in cunfrontu cù viste è casi) cù una etichetta in forma di simboli. . In ogni casu, in u sviluppu di l'ambiente gràficu IDEF5, avemu alluntanatu da sta regula per parechje motivi. Unu di elli hè l'identificazione difficiule di sti operatori. Dunque, usemu a notazione di testu di l'operatori cù un numeru d'identificazione:
Forsi questu hè a fine di l'uggetti.
Relationships
Ci sò rilazioni trà l'uggetti, chì in l'ontulugia significanu regule chì determinanu l'interazzione trà l'uggetti è da quale sò ottenuti novi cunclusioni.
Di genere, e relazioni sò definite da u tipu di schema utilizatu in l'ontulugia. U schema hè un inseme d'oggetti d'ontologia è relazioni trà elli. Ci sò i seguenti tipi principali di schemi:
- schemi di cumpusizioni.
- Schemi di classificazione.
- Schemi di transizione.
- Diagrammi funziunali.
- Schemi cumminati.
Inoltre, qualchì volta ci hè un tali tipu di schemi cum'è esistenziali. Un schema esistenziale hè una cullizzioni di oggetti senza relazioni. Tali diagrammi mostranu solu chì un certu settore d'uggetti esiste in un certu sughjettu.
Ebbè, avà in ordine circa ogni tipu di schemi.
Schemi di cumpusizioni
Stu tipu di schema hè utilizatu per rapprisintà a cumpusizioni di un ughjettu, sistema, struttura, etc. Un esempiu tipicu hè i pezzi di vittura. In a cumpusizioni più allargata, a vittura hè custituita da un corpu è una trasmissioni. In turnu, u corpu hè divisu in un quadru, porte è altre parti. Sta descomposizione pò esse cuntinuata più - tuttu dipende di u livellu di dettagliu necessariu in questu prublema particulari. Un esempiu di tali schema:
E relazioni di cumpusizioni sò affissate cum'è una freccia cù una punta à a fine (a cuntrariu, per esempiu, una relazione di classificazione, induve a punta hè à u principiu di a freccia, più dettagli sottu). Tali relazioni ponu esse firmati cù una etichetta cum'è in a figura (parte).
Schemi di classificazione
I schemi di classificazione sò destinati à sprime a definizione di e spezie, a so sottospecie è l'istanze di spezie. Per esempiu, e vitture ponu esse vitture è camioni. Questu hè, a vista "Car" hà duie sottuspezie. VAZ-2110 hè un esempiu specificu di a subspecie "Car", è GAZ-3307 hè un esempiu di a subspecie "Truck":
Relazioni in schemi di classificazione (sottospecie o esempiu specificu) anu a forma di freccia cù una punta à u principiu è, cum'è in u casu di schemi di cumpusizioni, ponu avè una etichetta cù u nome di a relazione.
Schemi di transizione
I schemi di stu tipu sò necessarii per vede i prucessi di transizione di l'uggetti da un statu à l'altru sottu a influenza di un certu prucessu. Per esempiu, dopu à u prucessu di pittura cù pittura rossa, una vittura nera diventa rossa:
U rapportu di transizione hè indicatu da una freccia cù una punta à a fine è un circhiu in u centru. Comu pudete vede da u diagramma, i prucessi riferenu à relazioni, micca oggetti.
In più di a transizione ordinaria mostrata in a figura, ci hè una transizione stretta. Hè adupratu in i casi induve a transizione in una situazione determinata ùn hè micca evidenti, ma hè impurtante per noi di enfatizà. Per esempiu, a stallazione di un specchiu retrovisore nantu à una vittura ùn hè micca una operazione significativa se cunsideremu u prucessu di assemblea una vittura in u mondu. Tuttavia, in certi casi, hè necessariu di selezziunà sta operazione:
Una transizione stretta hè denotata simili à una transizione normale, eccettu per a doppia punta à a fine.
Transizioni rigulari è stretti ponu ancu esse marcati cum'è istantane. Per fà questu, un triangulu hè aghjuntu à u circhiu cintrali. E transizioni istantanee sò aduprate in i casi induve u tempu di transizione hè cusì cortu chì hè cumplettamente insignificante in l'area di u sughjettu in cunsiderà (menu di l'intervallu di tempu minimu significativu).
Per esempiu, ancu cù u minimu dannu à una vittura, pò esse cunsideratu danatu è u so prezzu scende bruscamente. Tuttavia, a maiò parte di i danni si trovanu istantaneamente, à u cuntrariu di l'anzianu è l'usura:
L'esempiu mostra una transizione stretta, ma pudete ancu aduprà una transizione normale cum'è una transizione immediata.
Diagrammi funziunali
Tali schemi sò usati per indicà a struttura di interazzione trà l'uggetti. Per esempiu, un meccanicu di vittura esegue u mantenimentu di l'automobile, è un gestore di serviziu di vittura piglia e dumande di riparazione è li passa à un meccanicu di vittura:
I rilazioni funziunali sò raffigurati cum'è una linea recta senza punta, ma à volte cù una etichetta, chì hè u nome di a relazione.
Schemi cumminati
I schemi cumminati sò una cumminazione di schemi cunsiderati prima. A maiò parte di schemi in a metodulugia IDEF5 sò cumminati, postu chì l'ontologii chì utilizanu solu un tipu di schema sò rari.
Tutti i circuiti spessu usanu operatori lògichi. Utilizendu elli, pudete implementà relazioni trà trè, quattru o più oggetti. Un operatore logicu pò sprime una entità generale nantu à quale un prucessu hè realizatu o chì participa in una altra relazione. Per esempiu, pudete cunghjuntà l'esempi precedenti in unu cum'è seguitu:
In un casu specificu, u schema cumminatu usa un schema di cumpusizioni (specchiu + vittura senza specchiu = vittura cun specchiu) è un schema di transizione (una vittura cù un specchiu diventa una vittura rossa sottu l'influenza di u prucessu di pittura rossa). Inoltre, una vittura cù un specchiu ùn hè micca spressione esplicitamente - invece, l'operatore logicu AND hè indicatu.
cunchiusioni
In questu articulu, aghju pruvatu à discrive l'uggetti principali è e relazioni in a metodulugia IDEF5. Cum'è un esempiu, aghju utilizatu l'area di u sughjettu in relazione à i vitture, postu chì hè diventatu assai più faciule per custruisce diagrammi nantu à u so esempiu. Tuttavia, i schemi IDEF5 ponu esse aduprati in ogni altra zona di sapè.
L'ontologia è l'analisi di cunniscenza di u duminiu hè un tema piuttostu estensivu è di tempu. Tuttavia, in u quadru di IDEF5, tuttu risulta micca cusì difficiule, almenu i fundamenti di stu tema sò amparati abbastanza simplice. U scopu di u mo articulu hè di attruverà un novu audience à u prublema di l'analisi di a cunniscenza, ancu s'ellu hè a spesa di un tali strumentu IDEF5 primitivu cum'è una lingua gràfica.
U prublema di una lingua gràfica hè chì ùn pò micca esse aduprata per furmulà certi rilazioni (assiomi) di l'ontulugia abbastanza chjaramente. Per fà questu, ci hè una lingua di testu IDEF5. In ogni casu, in u stadiu iniziale, una lingua gràfica pò esse assai utile per furmulà i requisiti di l'ontologia iniziale è per determinà u vettore per sviluppà una ontulugia più dettagliata in a lingua di testu IDEF5 o in qualsiasi altru strumentu.
Spergu chì questu articulu serà utile per i principianti in questu campu, forse ancu per quelli chì anu trattatu u tema di l'analisi ontologica per un bellu pezzu. Tuttu u materiale principale di questu articulu hè statu traduttu è capitu da u standard IDEF5, chì aghju riferitu prima (). Sò ancu inspiratu da un libru maravigliu di l'autori di KNOW INTUIT ().
Source: www.habr.com