Кіріспе

Концепцияны формалдаудың сипаттамасы

Ақпараттық ғылымда онтология – бір, көп немесе барлық дискурстық салаға қатысты ұғымдардың, деректердің немесе объектілердің категорияларын, қасиеттерін және арақатынастарын көрсететін, ресми атауын беретін және анықтайтын ұғымдық жүйе. Басқаша айтқанда, онтология – белгілі бір саланың қасиеттерін және олардың өзара байланысын анықтайтын, сол саланың объектілерін білдіретін терминдер мен қатынас тіркестері жиынтығы арқылы көрсету тәсілі. Осылай құрылған онтологияларды зерттейтін сала қолданбалы онтология деп аталады. Кез келген академиялық пән немесе сала өз терминологиясын жасау арқылы онтологияның негізін қалайды. Әрқайсысы нақты теорияларды, зерттеулерді және қолданыстарды құру үшін онтологиялық қағидаларды пайдаланады. Онтологияны жетілдіру сол сала ішіндегі мәселелерді шешуге, деректер жүйелерінің үйлесімділігіне және деректерді табуға көмектеседі. Әр сала бойынша ғылыми мақалаларды аудару, әртүрлі елдердің сарапшылары әр тілдегі мамандық сөздерін бақылап отырғанда жеңілдейді. Мысалы, экономиканың анықтамасы мен онтологиясы марксистік экономикада және экономиканың басқа да салаларында маңызды мәселе болып табылады. Ақпараттық ғылымға сүйенетін экономиканың мысалы – экономикалық шешімдерді қабылдауға бағытталған модельдерде, мысалы, қандай капитал активтері тәуекел астында және қаншалықты (қатерді басқаруды қараңыз) анықтау жағдайларында кездеседі. Ақпараттық ғылым мен философиядағы онтологиялардың ортақ ерекшелігі – категориялар жүйесіне сәйкес барлық өзара байланысты қасиеттері мен қатынастары бар объектілер мен оқиғаларды, яғни субъектілерді бейнелеуге ұмтылыс. Екі салада да онтологиялық инженерия мәселелері бойынша (мысалы, философияда Куайн және Крипке, ақпараттық ғылымда Сова мен Гуарино) көп жұмыс жасалады және нормативтік онтологияның мүмкіндігі туралы пікірталастар жүргізіледі (мысалы, философияда фундаментализм және когерентизм, жасанды интеллектте BFO және Cyc). Кейбіреулер қолданбалы онтологияны философиядағы бұрынғы жұмыстардың жалғасы деп санайды. Дегенмен, қазіргі көптеген күш-жігер философиялық бастапқы қағидаларға қарағанда, тар салалардың бақыланатын сөздіктерін құруға көбірек бағытталған, немесе тұрақты мәндердің болу тәсіліне немесе тұрақты объектілердің (мысалы, пердурантизм және эндурантизм) процестерге қарағанда онтологиялық тұрғыдан басым болуы мүмкін деген сұрақтарды қарастырады. Жасанды интеллект қолданбалы онтологияға машиналық аударма және білімді ұсыну сияқты кіші салаларда, соның ішінде табиғи тілді өңдеуде көп көңіл бөледі, бірақ онтология редакторы биомедициналық информатика, өнеркәсіп сияқты көптеген салаларда жиі қолданылады. Мұндай күш-жігер көбінесе Protégé сияқты онтологияны өңдеу құралдарын пайдаланады.

Философиядағы онтология

Онтология – философияның бір саласы және ол метафизика, эпистемология және тіл философиясы сияқты салалармен байланысты, себебі ол білімнің, тілдің және қабылдаудың шындықтың мәнімен қалай байланысты екенін қарастырады. Метафизика "не бар?" және "шындықтың мәні қандай?" сияқты сұрақтарды зерттейді. Философияның бес негізгі саласының бірі – метафизика, қасиеттер, нысандар және қатынастар арқылы, мысалы, жеке және жалпы, ішкі және сыртқы қасиеттер, немесе мән мен барлық арақатынастар арқылы барлықты зерттеумен айналысады. Метафизика жазылған тарихтан бері үздіксіз талқыланып келе жатқан тақырып.

Этимология

Онтология сөзі грекше ὄν, on (gen. ὄντος, ontos) деген сөзден және λογία, logia деген сөздерден құралған, яғни "болу; барлық нәрсе" және "логикалық әңгіме", осы типтегі сөзжасамның классикалық мысалдарына назар аударыңыз. Этимологиясы грек тілінде болғанымен, сөздің өзінің ең көне сақталған жазбасы – нео-латын тіліндегі ontologia түрі 1606 жылы Якоб Лорхардтың (Лорхард) "Огдоас Scholastica" еңбегінде, ал 1613 жылы Рудольф Гёкельдің (Гоклениус) "Lexicon philosophicum" еңбегінде кездеседі. Оксфорд ағылшын сөздігінің (Oxford English Dictionary, онлайн нұсқасы, 2008) мәліметінше, онтология сөзі ағылшыл тілінде алғаш рет Гидеон Харвидің "Archeologia Philosophica Nova" немесе "Философияның жаңа қағидалары" еңбегінде қолданылған.

Формалды онтология

1970-ші жылдардың ортасынан бері жасанды интеллект (ЖИ) саласындағы зерттеушілер білім инженериясының үлкен және қуатты ЖИ жүйелерін құрудың кілті екенін мойындады. ЖИ зерттеушілері белгілі бір автоматтандырылған қорытуды қамтамасыз ететін есептеу модельдері ретінде жаңа онтологияларды жасауға тырысты, бірақ бұл әрекет көбінесе аз ғана табысқа жетті. 1980-ші жылдары ЖИ қауымдастығы онтология терминін модельделген әлемнің теориясын және білімге негізделген жүйелердің құрамдас бөлігін білдіру үшін қолдана бастады. Атап айтқанда, Дэвид Пауэрс онтология сөзін ЖИ-ге нақты әлеммен немесе роботтық байланысқа қатысты енгізді. 1990 жылы ол AAAI жазғы симпозиумындағы «Жаратылыс тілінің және онтологияның машиналық оқылуы» тақырыбына қағаздарды жинау туралы хабарламамен байланысты негізделген онтологияға ерекше назар аударған әдебиеттер шолуларын жариялады. Бұл шолулар SIGART бюллетенінде кеңейтілген нұсқада жарияланды және іс-шараның алғы сөзі ретінде қосылды. Философиялық онтологиялардан шабыт алған кейбір зерттеушілер есептеулік онтологияны қолданбалы философияның бір түрі деп қарастырды. 1993 жылы Том Грубердің «Білімді бөлісу үшін қолданылатын онтологияларды жобалау принциптеріне қарай» деген кеңінен сілтеме жасалатын веб-беті мен мақаласы онтологияны компьютерлік ғылымдағы техникалық термин ретінде пайдаланды, ол семантикалық желілер мен таксономиялардың бұрынғы идеяларымен тығыз байланысты. Грубер бұл терминді тұжырымдаманың ерекшелігі ретінде енгізді: онтология – агент немесе агенттер қауымдастығы үшін ресми түрде болуы мүмкін ұғымдар мен қатынастардың сипаттамасы (бағдарламаның ресми сипаттамасы сияқты). Бұл анықтама онтологияны ұғымдар анықтамаларының жиынтығы ретінде пайдаланумен үйлеседі, бірақ одан да жалпы. Бұл сөздің философиядағы қолданысынан өзгеше мағынаны білдіреді. Онтологияларды таксономиялардан және сыныптар мен мұрагерлікке негізделген білімді модельдеудегі ұқсас күш-жігерлерден ажыратуға тырысқан Грубер (1993) былай деді: Онтологиялар көбінесе сыныптардың таксономиялық иерархияларымен, сыныптардың анықтамаларымен және қосалқы қатынаспен шатастырылады, бірақ онтологиялар осы формалармен шектелуі міндетті емес. Онтологиялар консервативті анықтамалармен де шектелмейді, яғни тек терминологияны енгізетін және әлем туралы ешқандай білімді қоспайтын дәстүрлі логикалық мағынадағы анықтамалар. Тұжырымдаманы ерекшелеу үшін, анықталған терминдердің мүмкін болатын интерпретацияларын шектейтін аксиомаларды көрсету қажет. Грюбердің анықтамасын жетілдіру ретінде Feilmayr және Wöß (2016) былай деді: «Онтология – бұл күрделіліктің артуы үшін қажетті жоғары семантикалық экспрессивтілікпен сипатталатын ортақ тұжырымдаманың ресми, нақты ерекшелігі».

Формалды онтология компоненттері

Қазіргі заманғы онтологиялар, олар қандай тілде болса да, көптеген құрылымдық ұқсастықтарға ие. Көптеген онтологиялар жеке даналарды (мысалдарды), класс(тарды) (тұжырымдамаларды), атрибуттарды және қатынастарды сипаттайды.

Домендік онтология

Домендік онтология (немесе салалық онтология) – биология немесе саясат сияқты әлемнің белгілі бір саласына жататын ұғымдарды көрсетеді. Әрбір домендік онтология әдетте терминдердің салалық анықтамаларын модельдейді. Мысалы, «карта» сөзінің көптеген мағыналары бар. Покер саласы туралы онтология сөздің «ойналатын карта» мағынасын модельдейді, ал компьютерлік жабдық саласы туралы онтология «перфокарта» және «видеокарта» мағыналарын модельдейді. Домендік онтологиялар әртүрлі адамдармен жасалғандықтан, олар ұғымдарды өте нақты және ерекше жолдармен көрсетеді және көбінесе бір жобада үйлесімсіз болады. Домендік онтологияларға сүйенетін жүйелер кеңейгенде, оларға әрбір нысанды қолмен түзету немесе бағдарламалық біріктіру мен қолмен түзетудің комбинациясын қолдану арқылы домендік онтологияларды біріктіру қажеттігі туындайды. Бұл онтологияны жобалаушы үшін қиындық туғызады. Бір саланың әртүрлі онтологиялары әртүрлі тілдерге, онтологиялардың әртүрлі мақсатты қолданылуына және саланың әртүрлі түсініктеріне байланысты (мәдени фонға, білімге, идеологияға және т.б.) туындайды. Қазіргі уақытта ортақ жоғарғы онтологиядан жасалмаған онтологияларды біріктіру көбінесе қолмен жасалатын процесс болып табылады, сондықтан көп уақытты алады және қымбатқа түседі. Домендік онтологиялар, домендік онтология нысандарының мағыналарын анықтау үшін негізгі элементтер жиынтығын ұсыну үшін бірдей жоғарғы онтологияны пайдаланса, оларды аз күшпен біріктіруге болады. Онтологияларды біріктірудің жалпылама әдістері зерттелген, бірақ бұл зерттеу саласы әлі де дамып келеді, ал мәселені OBO Foundry сияқты бірдей жоғарғы онтологияны пайдаланатын бірнеше домендік онтологиялар арқылы шешіп алу жақында ғана мүмкін болды.

Жоғарғы онтология

Жоғарғы онтология (немесе негіздік онтология) – кең ауқымды салалық онтологияларда жалпы қолданылатын, ортақ қатынастар мен объектілердің моделі. Ол әдетте, түрлі салалық онтологияларда қолданылатын терминдер мен оған байланысты объектілердің сипаттамаларын қамтитын негізгі сөздікті пайдаланады. Қолдануға дайын стандартталған жоғарғы онтологияларға BFO, BORO әдісі, Dublin Core, GFO, Cyc, SUMO, UMBEL және DOLCE жатады. WordNet кейбір мамандар тарапынан жоғарғы онтология ретінде қарастырылып, салалық онтологияларды оқып үйрену үшін лингвистикалық құрал ретінде қолданылады.

Гибридтік онтология

Геллиш онтологиясы жоғарғы деңгейдегі және салалық онтологияның үйлесімінің мысалы болып табылады.

Көрнекілендіру

Катифори және тағы басқалар онтологияны визуализациялау әдістеріне шолу жасайды. Dudás және тағы басқалар онтологияны визуализациялау әдістері мен құралдарына қатысты жаңартылған шолу жариялады. Fu және тағы басқалар ең қалыптасқан онтологияны визуализациялау әдістерін, атап айтқанда, ішкі жинақталған ағаш және график түріндегі визуализацияны бағалайды. OWL форматында ұсынылған онтологиялар үшін визуалды тіл, OWL онтологияларының визуалды нотациясы (VOWL) арқылы анықталады.

Басшылар

Онтология редакторлары – онтологияларды жасауға немесе өзгертуге көмектесетін бағдарламалар. Онтология редакторлары көбінесе бір немесе бірнеше онтология тілдерін пайдаланады. Онтология редакторларының мүмкіндіктеріне: білім моделіндегі визуалды навигация, логикалық қорытынды шығару және ақпаратты алу; модульдерді қолдау; онтологияларды салыстыру үшін басқа білімді ұсыну тілдерін импорттау және экспорттау; OWL S, Dublin Core сияқты метаонтологияларды қолдау жатады.

Оқу

Онтологиялық оқыту – онтологияларды автоматты немесе жартылай автоматты түрде жасау, соның ішінде табиғи тілдегі мәтіндерден белгілі бір саланың терминдерін табу. Онтологияларды қолмен жасау өте көп күш жұмысын және уақытты қажет ететіндіктен, осы процесті автоматтандыруға зор қатысы бар. Ақпараттық іздеу және мәтіндік талдау онтологияларды құжаттармен автоматты түрде байланыстыру мақсатында зерттелді, мысалы, BioCreative сынды жарыстарда.

Зерттеу

Эпистемологиялық болжамдар, зерттеуде "Не білесіз?" немесе "Мұны қалай білесіз?" деген сұрақтар арқылы, зерттеушілердің белгілі бір тақырыпқа немесе зерттеу саласына қатысқандағы негізгі тұғырын құрайды. Эпистемология біліммен және біздің белгілі бір шындықтарды қабылдау жолымен тікелей байланысты болғандықтан, академиялық зерттеу жүргізетін адамдар теория құруға не қажеттігін түсінуі керек. Қысқасы, эпистемологиялық болжамдар зерттеушілерді өз білімдеріне қалай келгендері туралы ойлануға итермелейді.

Қолдану үлгілері

Жалпы, онтологияларды бірнеше салаларда тиімді қолдануға болады. Кәсіпорын қолданбалары. Нақты мысал – SAPPHIRE (Денсаулық сақтау) немесе Қоғамдық денсаулық оқиғаларына және жағдайларға дайындық және хабардар болу жүйесі, бұл семантикалық негіздегі денсаулық сақтау ақпараттық жүйесі болып табылады, ол қоғамдық денсаулыққа әсер ететін жағдайларды және оқиғаларды қадағалауға және бағалауға қабілетті. Географиялық ақпараттық жүйелер әртүрлі көздерден алынған деректерді біріктіреді, сондықтан онтологиялық метадеректерден пайда көреді, бұл деректердің семантикасын байланыстыруға көмектеседі. Домендік онтологиялар биомедициналық зерттеулерде өте маңызды, себебі олар бірдей әріптер тізбесін білдіргенімен, әртүрлі биомедициналық ұғымдарды көрсететін әртүрлі биомедициналық терминдер мен аббревиатураларды ажыратуды қажет етеді. Мысалы, CSF колонияны стимуляциялайтын факторды немесе цереброспинальді сұйықтықты білдіруі мүмкін, екеуі де биомедициналық әдебиетте CSF терминімен белгіленеді. Сондықтан көптеген қоғамдық онтологиялар өмір ғылымдарымен байланысты. Биомедициналық онтологияларды қолдана алмайтын өмір ғылымдары деректерін талдау құралдары ұғымдар арасындағы себеп-салдарлық байланысты дұрыс анықтай алмайды.