asup
Tulisan ieu ditujukeun pikeun anu terang kana konsép ontologi sahenteuna dina tingkat SD. Mun anjeun teu wawuh jeung ontologies, mangka paling dipikaresep tujuan ontologies sarta artikel ieu hususna moal jelas ka anjeun. Kuring mamatahan anjeun pikeun familiarize diri jeung fenomena ieu sateuacan Anjeun maca artikel ieu (malah artikel ti Wikipedia bakal cukup).
Janten Ontologi - Ieu pedaran detil ngeunaan wewengkon subjek nu tangtu dina tinimbangan. Katerangan sapertos kitu kedah dipasihkeun dina sababaraha basa anu dirumuskeun sacara jelas. Pikeun ngajelaskeun ontologi, anjeun tiasa nganggo metodologi IDEF5, anu ngagaduhan 2 basa dina arsenal na:
- IDEF5 basa skéma. Basa ieu visual sareng nganggo elemen grafis.
- basa téks IDEF5. Basa ieu digambarkeun salaku téks terstruktur.
Artikel ieu bakal mertimbangkeun pilihan kahiji - basa schematic. Urang bakal ngobrol ngeunaan téks dina artikel di handap ieu.
Objék
Dina basa schematic, sakumaha geus disebutkeun, elemen grafis dipaké. Kahiji, urang kudu mertimbangkeun unsur dasar basa ieu.
Seringna, hiji ontologi ngagunakeun éntitas umum sareng objék khusus. Éntitas umum disebut rupa. Éta digambarkeun salaku bunderan kalawan labél (ngaran objék) di jero:
Spésiés nyaéta kumpulan spésimén individu tina hiji spésiés. Hartina, pintonan saperti "Mobil" bisa ngagambarkeun sakabeh kumpulan mobil individu.
salaku salinan Jenis ieu tiasa janten mobil khusus, atanapi jinis peralatan anu tangtu, atanapi merek anu tangtu. Éta sadayana gumantung kana kontéks, daérah subjek sareng tingkat detilna. Salaku conto, pikeun bengkel mobil, mobil khusus salaku éntitas fisik bakal penting. Pikeun ngajaga sababaraha statistik ngeunaan penjualan di dealer mobil, modél khusus, jsb bakal penting.
Instance individu spésiés ditunjuk sami sareng spésiésna sorangan, ngan ditunjuk ku titik di handapeun bunderan:
Ogé, salaku bagian tina sawala objék, eta sia mentioning objék kayaning prosés.
Lamun pintonan sarta instansi disebut objék statik (henteu ngarobah kana waktu), mangka prosés téh objék dinamis. Ieu ngandung harti yén objék ieu aya dina jangka waktu nu tangtu tangtu.
Contona, urang bisa milih hiji obyék kayaning prosés manufaktur mobil (sakumaha urang ngobrol ngeunaan eta). Ieu intuitif jelas yén obyék ieu aya ngan salila produksi sabenerna mobil ieu (periode pasti tangtu). Eta sia tetep dina pikiran nu harti ieu kondisional, sabab objék kayaning mobil ogé boga hirup layanan sorangan, hirup rak, ayana, jsb. Nanging, hayu urang henteu lebet kana filsafat sareng dina kerangka kalolobaan daérah subjek urang tiasa nampi yén instansi, komo deui spésiés, aya salamina.
Prosés digambarkeun salaku sagi opat kalawan labél (ngaran) prosés:
Prosés dipaké dina skéma pikeun transisi hiji objék ka nu sejen. Ieu bakal dibahas dina leuwih jéntré di handap.
Salian prosés, skéma sapertos nganggo operator logis. Sagalana di dieu cukup basajan pikeun jalma anu wawuh jeung predikat, aljabar Boolean atawa programming. IDEF5 ngagunakeun tilu operator logis dasar:
- logis AND (AND);
- logis ATAWA (OR);
- ekslusif OR (XOR).
Standar IDEF5 (http://idef.ru/documents/Idef5.pdf - kalolobaan inpormasi tina sumber ieu) ngahartikeun gambar operator logis dina bentuk bunderan leutik (dibandingkeun pintonan sareng instansi) kalayan labél dina wangun lambang. Nanging, dina lingkungan grafis IDEF5 anu kami kembangkeun, kami parantos ngajauhan aturan ieu kusabab seueur alesan. Salah sahijina nyaéta idéntifikasi hésé operator ieu. Ku alatan éta, kami nganggo notasi tékstual operator kalayan nomer idéntifikasi:
Panginten urang bakal réngsé sareng objék di dieu.
hubungan
Aya hubungan antara objék, anu dina ontologi hartina aturan anu nangtukeun interaksi antara objék jeung ti mana conclusions anyar diturunkeun.
Biasana, hubungan ditangtukeun ku jinis skéma anu dianggo dina ontologi. Skéma mangrupa susunan objék ontologi jeung hubungan antara aranjeunna. Aya sababaraha jinis skéma utama di handap ieu:
- Skéma komposisi.
- Skéma klasifikasi.
- diagram transisi.
- diagram fungsional.
- skéma digabungkeun.
Ogé kadang aya jenis skéma saperti eksistensial. Skéma eksistensial nyaéta kumpulan objék tanpa hubungan. Diagram sapertos kitu ngan saukur nunjukkeun yén dina daérah subjek anu tangtu aya sakumpulan objék anu tangtu.
Muhun, ayeuna, dina urutan, ngeunaan unggal jenis skéma.
Skéma komposisi
Jenis diagram ieu dipaké pikeun ngagambarkeun komposisi hiji obyék, sistem, struktur, jsb. Hiji conto has nyaéta suku cadang mobil. Dina bentuk paling enlarged na, mobil diwangun ku awak jeung transmisi. Kahareupna awak dibagi kana pigura, panto jeung bagian séjén. Dékomposisi ieu tiasa diteruskeun deui - éta sadayana gumantung kana tingkat detil anu diperyogikeun dina tugas khusus ieu. Conto skéma sapertos kieu:
Hubungan komposisi dipintonkeun salaku panah sareng panah di tungtung (teu sapertos, contona, hubungan klasifikasi, dimana panah aya di awal panah, langkung rinci di handap). Hubungan sapertos kitu tiasa dilabélan ku labél sapertos dina gambar (bagian).
Skéma klasifikasi
Skéma klasifikasi dimaksudkeun pikeun nganyatakeun definisi spésiés, subspésiésna, sareng conto spésiés. Contona, mobil bisa jadi mobil jeung treuk. Hartina, pintonan "Mobil" boga dua subviews. VAZ-2110 mangrupikeun conto khusus tina subtipe "Mobil Panumpang", sareng GAZ-3307 mangrupikeun conto tina subtipe "Truk":
Hubungan dina skéma klasifikasi (subspésiés atanapi conto khusus) ngagaduhan bentuk panah sareng tip di awal sareng, sapertos dina kasus skéma komposisi, tiasa gaduh labél sareng nami hubungan.
Skéma transisi
Skéma tina tipe ieu diperlukeun pikeun mintonkeun prosés transisi objék tina hiji kaayaan ka sejen dina pangaruh prosés nu tangtu. Contona, sanggeus prosés ngalukis cet beureum, mobil hideung jadi beureum:
Hubungan transisi dituduhkeun ku panah kalayan sirah di tungtung sareng bunderan di tengah. Sakumaha anjeun tiasa tingali tina diagram, prosés nujul kana hubungan, sanes objék.
Salian transisi biasa ditémbongkeun dina gambar, aya transisi ketat. Hal ieu dipaké dina kasus dimana transisi dina situasi dibikeun teu atra, tapi hal anu penting pikeun urang ngantebkeun eta. Salaku conto, masang kaca spion dina mobil sanés operasi anu penting upami urang nganggap prosés perakitan mobil sacara global. Sanajan kitu, dina sababaraha kasus perlu pikeun misahkeun operasi ieu:
A transisi ketat ditandaan sarupa jeung transisi biasa, iwal ti ferrule ganda dina tungtungna.
Transisi normal sareng ketat ogé tiasa ditandaan sakedapan. Jang ngalampahkeun ieu, tambahkeun segitiga ka bunderan sentral. Transisi instan dianggo dina kasus dimana waktos transisi sakedapan dugi ka teu pati penting dina daérah subjek anu dipertimbangkeun (kurang tina periode waktos anu signifikan).
Contona, lamun aya malah slightest ruksakna mobil, éta bisa dianggap ruksak tur harga na turun sharply. Sanajan kitu, lolobana karuksakan lumangsung instan, teu kawas sepuh tur maké:
Conto nunjukkeun transisi anu ketat, tapi anjeun ogé tiasa nganggo transisi biasa salaku transisi instan.
diagram fungsional
Diagram sapertos kitu dianggo pikeun nunjukkeun struktur interaksi antara objék. Contona, montir mobil ngalaksanakeun pangropéa kandaraan, sarta manajer layanan mobil narima requests pikeun perbaikan sarta mindahkeun aranjeunna ka montir mobil:
Hubungan fungsional digambarkeun salaku garis lempeng tanpa tip, tapi kadang kalawan labél, nu ngaran hubungan.
skéma digabungkeun
Skéma gabungan nyaéta kombinasi skéma anu dibahas saméméhna. Seuseueurna skéma dina metodologi IDEF5 digabungkeun, sabab ontologi anu ngan ukur nganggo hiji jinis skéma jarang.
Sadaya desain sering nganggo operator logis. Ku ngagunakeun éta, kasebut nyaéta dimungkinkeun pikeun nerapkeun hubungan antara tilu, opat atawa leuwih objék. A operator logis bisa nganyatakeun sababaraha éntitas umum leuwih nu hiji prosés dilumangsungkeun atawa nu ilubiung dina sababaraha hubungan séjén. Contona, Anjeun bisa ngagabungkeun conto saméméhna jadi hiji saperti kieu:
Dina kasus husus, skéma gabungan ngagunakeun skéma komposisi (eunteung + mobil tanpa eunteung = mobil kalawan eunteung) jeung skéma transisi (mobil jeung eunteung janten mobil beureum dina pangaruh prosés cet beureum). Leuwih ti éta, mobil kalawan eunteung teu dinyatakeun eksplisit - gantina, operator logis AND dituduhkeun.
kacindekan
Dina artikel ieu, kuring diusahakeun ngajelaskeun objék utama jeung hubungan dina metodologi IDEF5. Kuring nganggo domain mobil sabagé conto sabab tétéla langkung gampang ngawangun diagram nganggo conto na. Sanajan kitu, skéma IDEF5 bisa dipaké dina sagala widang pangaweruh lianna.
Ontologies jeung analisis pangaweruh domain mangrupakeun topik rada éksténsif jeung waktu-consuming. Sanajan kitu, dina kerangka IDEF5, sagalana tétéla teu jadi hese, sahenteuna, dasar topik ieu diajar cukup basajan. Tujuan artikel abdi nyaeta pikeun narik panongton anyar kana masalah analisis pangaweruh, sanajan ngaliwatan alat IDEF5 primitif sapertos basa grafis.
Masalah basa grafis éta kalayan bantuan na mustahil pikeun jelas ngarumuskeun sababaraha hubungan (axioms) ontologi nu. Aya basa téks IDEF5 pikeun ieu. Nanging, dina tahap awal, basa grafis tiasa pisan mangpaat pikeun ngarumuskeun syarat ontologi awal sareng nangtukeun véktor pikeun ngembangkeun ontologi anu langkung rinci dina basa téks IDEF5 atanapi dina alat anu sanés.
Kuring miharep artikel ieu bakal mangpaat pikeun beginners dina widang ieu, meureun malah pikeun maranéhanana anu geus nungkulan masalah analisis ontologis pikeun lila. Sadaya bahan utama dina tulisan ieu ditarjamahkeun sareng diinterpretasi tina standar IDEF5, anu ku kuring dirujuk sateuacana (). Kuring ogé diideuan ku buku éndah ti pangarang ti NOU INTUIT ().
sumber: www.habr.com