protege онтологія формалізація
Глосарій
Глосарій - це словник вузькоспеціалізованих термінів у якій-небудь галузі знань.
Для розробки онтології першим кроком є ??складання глосарію (дивися Додаток А) основних термінів предметної області, які в подальшому будуть використовуватися в якості класів і підкласів.
Створення класів
Класи інтерпретуються як множини, елементами яких є екземпляри. Вони описуються, використовуючи формальні конструкції, які декларують вимоги для членства в класі. Класи можуть бути організовані в ієрархію відносин виду підклас - суперклас (таксономія). Підкласи є підмножинами свого суперкласу.
Враховуючи те, що обрана предметна область, Світові автовиробники, були визначені наступні класи та їх підкласи. В якості основного класу виступає клас Світові автовиробники, що має підкласи у вигляді відомих марок автомобілів. Так само маємо такі класи як Країни і Класи авто.
У Prot? g? 4.2 створення класів здійснюється в закладці Classes. (Малюнок 1). Спочатку порожня онтологія містить один клас з ім'ям THING. Клас THING - це клас, що представляє набір, що містить всі об'єкти предметної області.
Малюнок 1 - Створення класів
Для створення класу Світові автовиробники необхідно переконатися, що обрана закладка Classes, потім натиснути кнопку Додати підклас (див. Малюнок 2). Ця кнопка створює новий клас як підклас обраного класу (в даному випадку як підклас класу THING). З'явиться діалогове вікно для введення назви нашого класу, після введення необхідно натиснути Enter. (Малюнок 3).
Малюнок 2 - Створення класів
Таким же чином створюються підкласи класу Світові автовиробники. Необхідно відзначити, що наприклад клас Bmw є спорідненим класом по відношенні до класу Toyota, тому для створення родинних класів необхідно використовувати кнопку Створити споріднений клас.
У результаті отримана наступна ієрархія класів.
Малюнок 4 - Ієрархія класів
Також отриманий результат можна побудувати у вигляді графа в закладці OntoGraf.
Малюнок 5 - Дерево класів
Визначення атрибутів класу і властивостей екземплярів
У Prot? g? 4.2 існує два основних типи властивостей: властивості об'єкта (Object Properties) і властивості типів даних (Data Properties). Властивостями об'єкта є відносини між двома екземплярами.
У Prot? g? 4.2 за замовчуванням автоматично створюються властивості об'єктів верхнього рівня (TopObjectProperties), за аналогією з класом THING. (Малюнок 6). Для створення властивостей об'єкта необхідне перейти в закладку Object Properties.
Малюнок 6 - Створення властивостей об'єкта
Властивості об'єкта створюються подібним способом, як і класи.
Малюнок 7 - Створення властивостей об'єкта
Кожна властивість набір характеристик. (Малюнок 8).
Малюнок 8 - Характеристики властивостей об'єктів
Функціональні властивості (Functional) - якщо властивість є функціональним, то для даного індивіда (примірника) може існувати не більше одного індивіда, який має відношення до першого індивіду через цю властивість.
Зворотні функціональні властивості (Inverse functional) - якщо властивість є зворотним функціональні властивості, то це означає, що властивість є зворотним функціональним.
Транзитивні властивості (Transitive) - якщо властивість Транзитивне і властивість пов'язує індивіда a та індивіда b, а також індивіда b пов'язує з індивідом c, то ми можемо вивести, що індивід a пов'язаний з індивідом c через це властивість.
Симетричні властивості (Simmetric) - якщо властивість p симетричне, і властивість пов'язує індивіда a з індивідом b, то індивід b пов'язаний також з індивідом a через властивість p.
Асиметричні властивості (Asimmetric) - якщо властивість p асиметричне, і властивість пов'язує індивіда a з індивідом b, то індивід b не може бути пов'язаний з індивідом a через властивість p.
Рефлексивні властивості (Reflexive) - властивість p називається рефлексивним, коли індивід a повинен бути пов'язаний з собою.
Іррефлексівние властивості (Irreflexive) - якщо властивість p іррефлексівное, то воно може бути охарактеризоване як властивість, яка пов'язує індивіда a з індивідом b, де індивід a і індивід b обов'язково різні.
Приклад транзитивного властивості представлений на ма...
