Онтологі́чна інженерія в комп'ютерних науках та інформатиці це нова галузь, яка вивчає методи і методики для будівництва онтологій: формального подання безлічі понять і відносини між цими поняттями.
Огляд
Онтологічний інжиніринг прагне зробити явними знання, що містяться як у програмному забазпечені, так і всередині підприємств і бізнес процесах певної предметної області. Онтологічний інжиніринг пропонує напрямок вирішення проблем сумістності, викликаних семантичними перешкодами, тобто перешкодами, пов'язаними з визначення класів з точки зору бізнесу та програмного забезпечення. Онтологічний інжиніринг - це набір завдань, пов'язаних з розвитком онтології для конкретної предметної області.— , і , Ontology Engineering for Distributed Collaboration in Manufacturing
Онтології забезпечують загальний словник предметної області та визначає, з різним рівнем формальності, зміст термінів і відносин між ними. Протягом останнього десятиліття все більше уваги приділялося онтологіям. Сьогодні онтології широко застосовуються в інженерії знань, штучному інтелекті, а також в інформатиці; в програмному забезпеченні пов'язаному з управлінням знаннями, обробкою природної мови, електронній комерції, інтелектуальній інтеграції інформації, біоінформатиці, навчанні; і в нових областях, які розвиваються: семантична павутина. Онтологічний інжиніринг є новою областю досліджень, що стосуються процесу розробки онтології, онтологічного циклу життя, методів і методологій для побудови онтології,.
Онтологічні мови
Онтологічна мова є формальною мовою призначеною для визначення онтологій. Є цілий ряд таких мов, як приватних, так і засновані на стандартах:
- [en] це стандарт ISO 24707, специфікація для низки онтологічних мов, які можуть бути точно переведені одна в одну.
- Сус має власну мову онтологій під назвою [en], що базується на логіці предикатів першого порядку з деякими розширеннями більш високого порядку.
- [en] мова включає правила для свого власного розширення, і таким чином інтегрує онтологію з онтологією мови.
- [en] це метод програмної інженерії для створення і підтримки корисної та точної онтології предметної області.
- [en] це синтаксис для логіки першого порядку який базується на S-виразах.
- Rule Interchange Format (RIF) і [en] комбінують онтологію та правила.
- OWL це мова для створення онтологічних суджень, розроблена наступниками RDF і [en], як ранній проект онтологічної мови, який включав [en], [en] і (DAML+OIL). OWL призначений для використання в Всесвітній павутині, і всі його елементи (класи, властивості та фізичні особи) визначаються як RDF [en], і ідентифікуються URI.
- [en] (Extensible Business Reporting Language) це синтаксис для вираження бізнес-семантики.
Онтологічний інжиніринг в науках про життя
Науки про життя процвітає з онтологіями, які біологи використовують для визначення змісту своїх експериментів. Для виведення правильних висновків з експериментів, онтології повинні бути структуровані оптимально базам знань, які вони представляють. Структура онтології повинна постійно змінюватися так, щоб створити точне представлення моделі предметної області.
Останнім часом автоматизований метод онтологічного інжинірингу був введений в науках про життя, наприклад генні онтології (ГО), одна з найбільш успішних і широко використовуваних біомедичних онтологій. Базуючись на теорії інформації, вона перебудовує онтології, так що рівні являють собою бажану специфіку концепцій. Аналогічні підходи теорії інформації також були використані для оптимального розбиття генної онтології. Враховуючи математичну природу таких інженерних алгоритмів, ці оптимізації можуть бути автоматизовані для розробки науково-теоретичної та масштабованої архітектури для перебудови онтологій, наприклад таких як ГО.
[en] (OBO), в 2006 з ініціативи Національного центру США Біомедичних Онтологій, що забезпечує загальну 'основу' для різних онтологічних ініціатив, серед яких:
- [en] (GMOD)
- Консорціум Gene Ontology
- Онтологія результатів
- Служба онтологічного пошуку
- [en] консорціум
- Стандарти і онтології для функціональної геноміки
та інші
Програмне забезпечення для онтологічного інжинірингу
- [en]
- DogmaModeler
- [en]
- [en]
- [en]
- [en]
Корисна інформація
- Онтологія
- [en]
- [en]
- [en]
- [en]
Література
- Онтологічний інжиніринг: навч. посібник/ Т. М. Басюк, Д. Г. Досин, В. В. Литвин. — Львів: Видавництво Львівської політехніки, 2017. — 224 с. умовн. друк. арк. — .
Посилання
- Peter Shames, Joseph Skipper. «Toward a Framework for Modeling Space Systems Architectures» [ 27 лютого 2009 у Wayback Machine.]. NASA, JPL.
- Line Pouchard, Nenad Ivezic and Craig Schlenoff (2000) "Ontology Engineering for Distributed Collaboration in Manufacturing". In Proceedings of the AIS2000 conference, March 2000.
- Asuncion Gomez-Perez, Mariano Fernandez-Lopez, Oscar Corcho (2004). Ontological Engineering: With Examples from the Areas of Knowledge Management, E-commerce and the Semantic Web. Springer, 2004.
- Denicola, A; Missikoff, M; Navigli, R (2009). A software engineering approach to ontology building (PDF). Information Systems. 34 (2): 258. doi:10.1016/j.is.2008.07.002.
- Alterovitz, G; Xiang, M; Hill, DP; Lomax, J; Liu, J; Cherkassky, M; Dreyfuss, J; Mungall, C; Harris, MA (2010). Ontology engineering. Nature biotechnology. 28 (2): 128—30. doi:10.1038/nbt0210-128. PMID 20139945.
- Botstein, David; Cherry, J. Michael; Ashburner, Michael; Ball, Catherine A.; Blake, Judith A.; Butler, Heather; Davis, Allan P.; Dolinski, Kara; Dwight, Selina S. (2000). (PDF). Nature Genetics. 25 (1): 25—9. doi:10.1038/75556. PMC 3037419. PMID 10802651. Архів оригіналу (PDF) за 26 травня 2011. Процитовано 18 грудня 2011.
- Alterovitz, G.; Xiang, M.; Mohan, M.; Ramoni, M. F. (2007). GO PaD: The Gene Ontology Partition Database. Nucleic Acids Research. 35 (Database issue): D322—7. doi:10.1093/nar/gkl799. PMC 1669720. PMID 17098937.
Додаткова література
- John Davies (Ed.) (2006). Larger ImageSemantic Web Technologies: Trends and Research in Ontology-based Systems. Wiley.
- Asuncion Gomez-Perez, Mariano Fernandez-Lopez, Oscar Corcho (2004). Ontological Engineering: With Examples from the Areas of Knowledge Management, E-commerce and the Semantic Web. Springer, 2004.
- Jarrar, Mustafa (2006). Proceedings of the 15th international conference on World Wide Web - WWW '06: 497. doi:10.1145/1135777.1135850. ISBN .
{{}}
: Проігноровано|chapter=
() - Mustafa Jarrar and Robert Meersman (2008). «Ontology Engineering -The DOGMA Approach». Book Chapter (Chapter 3). In Advances in Web Semantics I. Volume LNCS 4891, Springer.
- Riichiro Mizoguchi (2004). «Tutorial on ontological engineering: part 3: Advanced course of ontological engineering». In: New Generation Computing. Ohmsha & Springer-Verlag, 22(2):198-220.
- Elena Paslaru Bontas Simperl and Christoph Tempich (2006). «Ontology Engineering: A Reality Check»
- Devedzic, Vladan (2002). Understanding ontological engineering. Communications of the ACM. 45 (4): 136. doi:10.1145/505248.506002.
Посилання
- .
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Ontologi chna inzheneriya v komp yuternih naukah ta informatici ce nova galuz yaka vivchaye metodi i metodiki dlya budivnictva ontologij formalnogo podannya bezlichi ponyat i vidnosini mizh cimi ponyattyami Priklad pobudovanoyi MBED ontologiyi verhnogo rivnya v osnovi yakoyi en OglyadOntologichnij inzhiniring pragne zrobiti yavnimi znannya sho mistyatsya yak u programnomu zabazpecheni tak i vseredini pidpriyemstv i biznes procesah pevnoyi predmetnoyi oblasti Ontologichnij inzhiniring proponuye napryamok virishennya problem sumistnosti viklikanih semantichnimi pereshkodami tobto pereshkodami pov yazanimi z viznachennya klasiv z tochki zoru biznesu ta programnogo zabezpechennya Ontologichnij inzhiniring ce nabir zavdan pov yazanih z rozvitkom ontologiyi dlya konkretnoyi predmetnoyi oblasti i Ontology Engineering for Distributed Collaboration in Manufacturing Ontologiyi zabezpechuyut zagalnij slovnik predmetnoyi oblasti ta viznachaye z riznim rivnem formalnosti zmist terminiv i vidnosin mizh nimi Protyagom ostannogo desyatilittya vse bilshe uvagi pridilyalosya ontologiyam Sogodni ontologiyi shiroko zastosovuyutsya v inzheneriyi znan shtuchnomu intelekti a takozh v informatici v programnomu zabezpechenni pov yazanomu z upravlinnyam znannyami obrobkoyu prirodnoyi movi elektronnij komerciyi intelektualnij integraciyi informaciyi bioinformatici navchanni i v novih oblastyah yaki rozvivayutsya semantichna pavutina Ontologichnij inzhiniring ye novoyu oblastyu doslidzhen sho stosuyutsya procesu rozrobki ontologiyi ontologichnogo ciklu zhittya metodiv i metodologij dlya pobudovi ontologiyi Ontologichni moviOntologichna mova ye formalnoyu movoyu priznachenoyu dlya viznachennya ontologij Ye cilij ryad takih mov yak privatnih tak i zasnovani na standartah en ce standart ISO 24707 specifikaciya dlya nizki ontologichnih mov yaki mozhut buti tochno perevedeni odna v odnu Sus maye vlasnu movu ontologij pid nazvoyu en sho bazuyetsya na logici predikativ pershogo poryadku z deyakimi rozshirennyami bilsh visokogo poryadku en mova vklyuchaye pravila dlya svogo vlasnogo rozshirennya i takim chinom integruye ontologiyu z ontologiyeyu movi en ce metod programnoyi inzheneriyi dlya stvorennya i pidtrimki korisnoyi ta tochnoyi ontologiyi predmetnoyi oblasti en ce sintaksis dlya logiki pershogo poryadku yakij bazuyetsya na S virazah Rule Interchange Format RIF i en kombinuyut ontologiyu ta pravila OWL ce mova dlya stvorennya ontologichnih sudzhen rozroblena nastupnikami RDF i en yak rannij proekt ontologichnoyi movi yakij vklyuchav en en i DAML OIL OWL priznachenij dlya vikoristannya v Vsesvitnij pavutini i vsi jogo elementi klasi vlastivosti ta fizichni osobi viznachayutsya yak RDF en i identifikuyutsya URI en Extensible Business Reporting Language ce sintaksis dlya virazhennya biznes semantiki Ontologichnij inzhiniring v naukah pro zhittyaNauki pro zhittya procvitaye z ontologiyami yaki biologi vikoristovuyut dlya viznachennya zmistu svoyih eksperimentiv Dlya vivedennya pravilnih visnovkiv z eksperimentiv ontologiyi povinni buti strukturovani optimalno bazam znan yaki voni predstavlyayut Struktura ontologiyi povinna postijno zminyuvatisya tak shob stvoriti tochne predstavlennya modeli predmetnoyi oblasti Ostannim chasom avtomatizovanij metod ontologichnogo inzhiniringu buv vvedenij v naukah pro zhittya napriklad genni ontologiyi GO odna z najbilsh uspishnih i shiroko vikoristovuvanih biomedichnih ontologij Bazuyuchis na teoriyi informaciyi vona perebudovuye ontologiyi tak sho rivni yavlyayut soboyu bazhanu specifiku koncepcij Analogichni pidhodi teoriyi informaciyi takozh buli vikoristani dlya optimalnogo rozbittya gennoyi ontologiyi Vrahovuyuchi matematichnu prirodu takih inzhenernih algoritmiv ci optimizaciyi mozhut buti avtomatizovani dlya rozrobki naukovo teoretichnoyi ta masshtabovanoyi arhitekturi dlya perebudovi ontologij napriklad takih yak GO en OBO v 2006 z iniciativi Nacionalnogo centru SShA Biomedichnih Ontologij sho zabezpechuye zagalnu osnovu dlya riznih ontologichnih iniciativ sered yakih en GMOD Konsorcium Gene Ontology Ontologiya rezultativ Sluzhba ontologichnogo poshuku en konsorcium Standarti i ontologiyi dlya funkcionalnoyi genomiki ta inshiProgramne zabezpechennya dlya ontologichnogo inzhiniringu en DogmaModeler en en en en Korisna informaciyaOntologiya en en en en LiteraturaOntologichnij inzhiniring navch posibnik T M Basyuk D G Dosin V V Litvin Lviv Vidavnictvo Lvivskoyi politehniki 2017 224 s umovn druk ark ISBN 978 966 941 031 3 PosilannyaPeter Shames Joseph Skipper Toward a Framework for Modeling Space Systems Architectures 27 lyutogo 2009 u Wayback Machine NASA JPL Line Pouchard Nenad Ivezic and Craig Schlenoff 2000 Ontology Engineering for Distributed Collaboration in Manufacturing In Proceedings of the AIS2000 conference March 2000 Asuncion Gomez Perez Mariano Fernandez Lopez Oscar Corcho 2004 Ontological Engineering With Examples from the Areas of Knowledge Management E commerce and the Semantic Web Springer 2004 Denicola A Missikoff M Navigli R 2009 A software engineering approach to ontology building PDF Information Systems 34 2 258 doi 10 1016 j is 2008 07 002 Alterovitz G Xiang M Hill DP Lomax J Liu J Cherkassky M Dreyfuss J Mungall C Harris MA 2010 Ontology engineering Nature biotechnology 28 2 128 30 doi 10 1038 nbt0210 128 PMID 20139945 Botstein David Cherry J Michael Ashburner Michael Ball Catherine A Blake Judith A Butler Heather Davis Allan P Dolinski Kara Dwight Selina S 2000 PDF Nature Genetics 25 1 25 9 doi 10 1038 75556 PMC 3037419 PMID 10802651 Arhiv originalu PDF za 26 travnya 2011 Procitovano 18 grudnya 2011 Alterovitz G Xiang M Mohan M Ramoni M F 2007 GO PaD The Gene Ontology Partition Database Nucleic Acids Research 35 Database issue D322 7 doi 10 1093 nar gkl799 PMC 1669720 PMID 17098937 Dodatkova literaturaJohn Davies Ed 2006 Larger ImageSemantic Web Technologies Trends and Research in Ontology based Systems Wiley ISBN 978 0 470 02596 3 Asuncion Gomez Perez Mariano Fernandez Lopez Oscar Corcho 2004 Ontological Engineering With Examples from the Areas of Knowledge Management E commerce and the Semantic Web Springer 2004 Jarrar Mustafa 2006 Proceedings of the 15th international conference on World Wide Web WWW 06 497 doi 10 1145 1135777 1135850 ISBN 1595933239 a href wiki D0 A8 D0 B0 D0 B1 D0 BB D0 BE D0 BD Cite journal title Shablon Cite journal cite journal a Proignorovano chapter dovidka Mustafa Jarrar and Robert Meersman 2008 Ontology Engineering The DOGMA Approach Book Chapter Chapter 3 In Advances in Web Semantics I Volume LNCS 4891 Springer Riichiro Mizoguchi 2004 Tutorial on ontological engineering part 3 Advanced course of ontological engineering In New Generation Computing Ohmsha amp Springer Verlag 22 2 198 220 Elena Paslaru Bontas Simperl and Christoph Tempich 2006 Ontology Engineering A Reality Check Devedzic Vladan 2002 Understanding ontological engineering Communications of the ACM 45 4 136 doi 10 1145 505248 506002 Posilannya