entri
Artikel iki ditujokake kanggo wong-wong sing wis ngerti konsep ontologi paling ora ing tingkat SD. Yen sampeyan ora ngerti babagan ontologi, kemungkinan tujuan ontologi lan artikel iki utamane ora bakal jelas kanggo sampeyan. Aku menehi saran supaya sampeyan ngerti fenomena iki sadurunge miwiti maca artikel iki (bisa uga artikel saka Wikipedia wis cukup).
Dadi banjur Ontologi - iki minangka katrangan rinci babagan subyek tartamtu sing dianggep. Dhèskripsi kasebut kudu diwènèhaké nganggo basa sing dirumusaké kanthi cetha. Kanggo njlèntrèhaké ontologi, sampeyan bisa nggunakake metodologi IDEF5, sing nduweni 2 basa ing arsenal:
- basa skema IDEF5. Basa iki visual lan nggunakake unsur grafis.
- Basa teks IDEF5. Basa iki diwakili minangka teks terstruktur.
Artikel iki bakal nimbang pilihan pisanan - basa skema. Kita bakal ngomong babagan teks ing artikel sabanjure.
Obyek
Ing basa skematis, kaya sing wis kasebut, unsur grafis digunakake. Kaping pisanan, kita kudu nimbang unsur dhasar saka basa iki.
Asring, ontologi nggunakake entitas umum lan obyek tartamtu. Entitas umum diarani jinis. Iki digambarake minangka bunder kanthi label (jeneng obyek) ing njero:
Spesies minangka koleksi spesimen individu saka spesies tartamtu. Sing, tampilan kayata "Mobil" bisa makili kabeh koleksi mobil individu.
Minangka salinan Jinis iki bisa dadi mobil tartamtu, utawa jinis peralatan tartamtu, utawa merek tartamtu. Iku kabeh gumantung ing konteks, area subyek lan tingkat rinci. Contone, kanggo bengkel mobil, mobil tartamtu minangka entitas fisik bakal penting. Kanggo njaga sawetara statistik babagan penjualan ing dealer mobil, model tartamtu, lan liya-liyane bakal dadi penting.
Kasus individu spesies ditetepake kanthi cara sing padha karo spesies kasebut, mung dituduhake kanthi titik ing sisih ngisor bunder:
Uga, minangka bagéan saka diskusi obyek, iku worth nyebutke obyek kayata pangolahan.
Yen tampilan lan kedadean diarani obyek statis (ora owah saka wektu), banjur pangolahan minangka obyek dinamis. Iki tegese obyek kasebut ana ing wektu tartamtu sing ditetepake kanthi ketat.
Contone, kita bisa nemtokake obyek kasebut minangka proses manufaktur mobil (amarga kita ngomong babagan). Iku intuisi cetha sing obyek ana mung sak produksi nyata saka mobil iki (periode strictly ditetepake). Sampeyan kudu eling yen definisi iki kondisional, amarga obyek kayata mobil uga duwe urip layanan dhewe, urip beting, orane, etc. Nanging, aja lali babagan filsafat lan ing kerangka umume subyek, kita bisa nampa manawa kedadeyan, lan luwih akeh spesies, ana ing salawas-lawase.
Proses digambarake minangka persegi panjang kanthi label (jeneng) proses kasebut:
Proses digunakake ing skema kanggo transisi saka siji obyek menyang liyane. Iki bakal dibahas kanthi luwih rinci ing ngisor iki.
Saliyane pangolahan, skema kasebut digunakake operator logis. Kabeh ing kene cukup prasaja kanggo sing ngerti predikat, aljabar Boolean utawa pemrograman. IDEF5 nggunakake telung operator logis dhasar:
- logika AND (AND);
- logika UTAWA (OR);
- eksklusif UTAWA (XOR).
Standar IDEF5 (http://idef.ru/documents/Idef5.pdf - umume informasi saka sumber iki) nemtokake gambar operator logis ing wangun bunderan cilik (dibandhingake karo tampilan lan conto) kanthi label ing wujud simbol. Nanging, ing lingkungan grafis IDEF5 sing dikembangake, kita wis pindhah saka aturan iki amarga akeh alasan. Salah sijine yaiku identifikasi operator kasebut angel. Mula, kita nggunakake notasi tekstual operator kanthi nomer identifikasi:
Mbok menawa kita bakal ngrampungake obyek ing kene.
Hubungan
Ana hubungan antarane obyek, sing ing ontologi tegese aturan sing nemtokake interaksi antarane obyek lan saka ngendi kesimpulan anyar diturunake.
Biasane, hubungan ditemtokake dening jinis skema sing digunakake ing ontologi. Skema minangka kumpulan obyek ontologi lan hubungan antarane. Ana jinis utama skema ing ngisor iki:
- Skema komposisi.
- Skema klasifikasi.
- Diagram transisi.
- Diagram fungsional.
- Skema gabungan.
Uga kadhangkala ana jinis skema kaya eksistensial. Skema eksistensial yaiku kumpulan obyek tanpa hubungan. Diagram kasebut mung nuduhake yen ing area subyek tartamtu ana obyek tartamtu.
Saiki, supaya, babagan saben jinis skema.
Skema komposisi
Diagram jinis iki digunakake kanggo makili komposisi obyek, sistem, struktur, lsp. Conto khas yaiku bagean mobil. Ing wangun sing paling gedhe, mobil kasusun saka awak lan transmisi. Sabanjure, awak dibagi dadi pigura, lawang lan bagean liyane. Dekomposisi iki bisa diterusake maneh - kabeh gumantung ing tingkat rinci sing dibutuhake ing tugas tartamtu iki. Conto skema kasebut:
Hubungan komposisi ditampilake minangka panah kanthi panah ing pungkasan (ora kaya, contone, hubungan klasifikasi, ing ngendi panah ana ing wiwitan panah, luwih rinci ing ngisor iki). Sesambungan kasebut bisa diwenehi label kaya ing gambar (bagean).
Skema klasifikasi
Skema klasifikasi dimaksudaké kanggo nyebut definisi spesies, subspesies, lan conto spesies. Contone, mobil bisa dadi mobil lan truk. Yaiku, tampilan "Mobil" duwe rong subview. Vaz-2110 minangka conto tartamtu saka subtipe "Mobil Penumpang", lan GAZ-3307 minangka conto saka subtipe "Truk".
Hubungan ing skema klasifikasi (subspesies utawa conto tartamtu) duwe wangun panah kanthi tip ing wiwitan lan, kaya ing skema komposisi, bisa duwe label kanthi jeneng hubungan kasebut.
Skema transisi
Skema jinis iki perlu kanggo nampilake proses transisi obyek saka siji negara menyang negara liyane ing pengaruh proses tartamtu. Contone, sawise proses nglukis cat abang, mobil ireng dadi abang:
Hubungan transisi dituduhake dening panah kanthi sirah ing mburi lan bunder ing tengah. Nalika sampeyan bisa ndeleng saka diagram, pangolahan nuduhake sesambetan, ora obyek.
Saliyane transisi biasa sing ditampilake ing gambar kasebut, ana transisi sing ketat. Iki digunakake ing kasus nalika transisi ing kahanan tartamtu ora ketok, nanging penting kanggo kita nandheske. Contone, nginstal kaca spion ing mobil ora dadi operasi sing penting yen kita nimbang proses perakitan mobil sacara global. Nanging, ing sawetara kasus, operasi iki kudu dipisahake:
A transisi ketat ditandhani padha kanggo transisi biasa, kajaba ferrule pindho ing mburi.
Transisi normal lan ketat uga bisa ditandhani kanthi cepet. Kanggo nindakake iki, segitiga ditambahake menyang bunder tengah. Transisi cepet digunakake ing kasus nalika wektu transisi cendhak banget nganti ora pati penting ing area subyek sing dianggep (kurang saka periode wektu sing signifikan).
Contone, yen ana kerusakan sing paling sithik ing mobil, bisa dianggep rusak lan regane mudhun banget. Nanging, akeh karusakan langsung kedadeyan, ora kaya tuwa lan nyandhang:
Conto nuduhake transisi sing ketat, nanging sampeyan uga bisa nggunakake transisi biasa minangka cepet.
Diagram fungsional
Diagram kasebut digunakake kanggo nunjukake struktur interaksi antarane obyek. Contone, mekanik mobil nindakake pangopènan kendaraan, lan manajer layanan mobil nampa panjalukan kanggo ndandani lan ditransfer menyang mekanik mobil:
Hubungan fungsional digambarake minangka garis lurus tanpa tip, nanging kadhangkala nganggo label, yaiku jeneng hubungan kasebut.
Skema gabungan
Skema gabungan minangka kombinasi saka skema sing wis dibahas sadurunge. Umume skema ing metodologi IDEF5 digabungake, amarga ontologi sing nggunakake mung siji jinis skema langka.
Kabeh desain asring nggunakake operator logis. Kanthi nggunakake, bisa ngetrapake hubungan antarane telu, papat utawa luwih obyek. Operator logis bisa nyebutake sawetara entitas umum ing ngendi proses ditindakake utawa sing melu ing sawetara hubungan liyane. Contone, sampeyan bisa gabungke conto sadurunge dadi siji kaya ing ngisor iki:
Ing kasus tartamtu, skema gabungan nggunakake skema komposisi (pangilon + mobil tanpa pangilon = mobil kanthi pangilon) lan skema transisi (mobil kanthi pangilon dadi mobil abang ing pangaruh proses cat abang). Kajaba iku, mobil kanthi pangilon ora ditulis kanthi jelas - tinimbang, operator logis lan dituduhake.
kesimpulan
Ing artikel iki, aku nyoba kanggo njlèntrèhaké obyek utama lan sesambetan ing metodologi IDEF5. Aku nggunakake domain mobil minangka conto amarga dadi luwih gampang kanggo nggawe diagram nggunakake contone. Nanging, skema IDEF5 bisa digunakake ing lapangan kawruh liyane.
Ontologi lan analisis kawruh domain minangka topik sing rada ekstensif lan akeh wektu. Nanging, ing framework IDEF5, kabeh dadi ora dadi angel, paling dhasar saka topik iki sinau cukup prasaja. Tujuan artikelku yaiku kanggo narik kawigaten para pamirsa anyar kanggo masalah analisis kawruh, sanajan liwat alat IDEF5 primitif minangka basa grafis.
Masalah basa grafis yaiku kanthi bantuan ora bisa kanthi jelas ngrumusake sawetara hubungan (aksioma) ontologi. Ana basa teks IDEF5 kanggo iki. Nanging, ing tahap wiwitan, basa grafis bisa migunani banget kanggo ngrumusake syarat ontologi awal lan nemtokake vektor kanggo ngembangake ontologi sing luwih rinci ing basa teks IDEF5 utawa ing piranti liyane.
Muga-muga artikel iki bisa migunani kanggo pemula ing bidang iki, bisa uga kanggo wong-wong sing wis suwe ngurusi masalah analisis ontologis. Kabeh materi utama ing artikel iki diterjemahake lan diinterpretasikake saka standar IDEF5, sing dakkandhakake sadurunge (). Aku uga diilhami dening buku apik saka penulis saka NOU INTUIT ().
Source: www.habr.com