Онтологічна модель захисту розумного дому в Protégé
Вантажиться...
Дата
2025
Автори
Мартиненко, Даніїл Вадимович
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Обсяг роботи: 55 сторінок, 16 ілюстрацій, 1 таблиця, 2 додатки, 18 джерел літератури. Мета дослідження: формалізація знань про структуру систем розумного дому, забезпечення логічного виведення та побудова основи для подальшої автоматизації реагування на фізичні загрози. Об’єкт дослідження: системи безпеки розумного дому. Предмет дослідження: онтологія як засіб моделювання систем безпеки та формалізації логіки реагування на фізичні інциденти з використанням інструментів Protégé. Методи дослідження: моделювання структури знань у середовищі Protégé, формалізація логічних зв’язків між об’єктами системи, тестування онтологічної моделі з використанням reasoner'а Pellet та SWRL-правил, візуалізація структури та перевірка консистентності моделі. Отримані результати: розроблено онтологічну модель захисту розумного дому, що охоплює ключові компоненти системи. Реалізовано взаємозв’язки між елементами за допомогою object та data properties, включно з логікою реагування на фізичні загрози. Модель протестовано у середовищі Protégé з використанням механізму логічного виведення. Під час тестування змодельовано типові інциденти та продемонстровано реакцію системи через автоматичне оновлення властивостей і класифікацію подій. Онтологія також підтримує запити SPARQL для вибірки даних і може бути використана як основа для інтелектуальної системи реагування в реальному середовищі.
Опис
Ключові слова
онтологія, розумний дім, логічне виведення, protege, ontology, smart home, logical inference
Бібліографічний опис
Мартиненко, Д. В. Онтологічна модель захисту розумного дому в Protégé : дипломна робота ... бакалавра : 125 Кібербезпека / Мартиненко Даніїл Вадимович. – Київ, 2025. – 55 с.