Тема магистерской аттестационной работы: Предположение открытости и замкнутости миров в Semantic Web. Целью работы является теоретическое исследование предположений об открытой и закрытой картин мира, их применения в Semantic Web, а также практическое исследование того, как предположения влияют на результат логического вывода по онтологии. Объектом исследования является логический вывод по онтологии с открытой и замкнутой картинах мира. Методы работы: теоретические и экспериментальные исследования на примерах онтологий. Результат работы: памятка для онтолога при выборе картины мира. SEMANTIC WEB, OWL, OWA, CWA, UNA, РАССУЖДЕНИЕ, ПРЕДПОЛОЖЕНИЕ, КАРТИНА МИРА, ЛОГИЧЕСКИЙ ВЫВОД, ОНТОЛОГИЯ, ЗНАНИЯ, RDF, ИНДИВИД, АКСИОМА Тема магістерської атестаційної роботи: Припущення відкритості та замкнутості світів в Semantic Web. Метою роботи є теоретичне дослідження припущень про відкриту та замкнуту картини світу, їх застосування в Semantic Web, а також практичне дослідження того, як припущення впливають на результат логічного виведення за онтологією. Об’єктом дослідження є логічне виведення за онтологією з відкритою та замкнутою картинами світу. Методи роботи: теоретичні та експериментальні дослідження на прикладах онтологій. Результат роботи: пам’ятка для онтолога при виборі картини світу. SEMANTIC WEB, OWL, OWA, CWA, UNA, СУДЖЕННЯ, ПРИПУЩЕННЯ, КАРТИНА СВІТУ, ЛОГІЧНЕ ВИВЕДЕННЯ, ОНТОЛОГІЯ, ЗНАННЯ, RDF, ІНДИВІДИ, АКСІОМА The thesis topic: Open world assumption and closed world assumption in Semantic Web. The aim of the thesis is theoretical research in open world assumption and closed world assumption, their Semantic Web applications and also experimental research of their influence on a reasoning result in ontology. The object of research is reasoning in ontology with open world assumption and closed world assumption. Methods of research are theoretical and experimental research on examples of ontologies. The result of research is a reminder for ontologist choosing a world. SEMANTIC WEB, OWL, OWA, CWA, UNA, REASONING, ASSUMPTION, WORLDVIEW, LOGICAL INFERENCE, ONTOLOGIES, KNOWLEDGE, RDF, INDIVIDUAL, AXIOM
