7.2.2. Protégé-owl. Мова Web онтологій owl
Чергова модернізація Protégé-2000 полягала у введенні в основу Protégé нової мови подання знань — OWL. У результаті споживачі отримали потужний інструмент побудови онтологій баз знань з новими можливостями — Protégé-OWL.
OWL (Ontology Web Language — мова опису онтологій у Web) — це найновіше розроблення стандартних мов для онтологій, зокрема Web-онтологій. Вона розроблялася як альтернатива DAML, отже, позбавлена деяких її недоліків. Ця мова орієнтована саме на відображення онтологій, а не семантики загалом. OWL будується на основі стандартів RDF і RDFS і збагачує останні новими можливостями для опису властивостей і класів. Наприклад, застосовуючи OWL, можна вказувати, що класи не перетинаються, вказувати кардинальність та визначати еквівалентність заданих класів. OWL має у своєму розпорядженні ширшу систему типів порівняно з іншими подібними мовами.
Редактор Protégé-OWL характеризується гнучкістю та модульністю (наявна система плаґінів (plug-in) і застосовується в області інженерії онтологій (Ontology Engineering), здобуття знань (Knowledge Acquisition) та автоматичного виведення (Automated Reasoning). Protégé підтримує введення бази знань на будь-якій природній мові, але сам інструмент пропонується лише англійською. Редактор також підтримує будь-яку базу даних з драйвером JDBC 1.0, що дозволяє підтримку переважної більшості реляційних баз даних (Oracle, MySQL, Microsoft SQL Server, Microsoft Access).
Protégé-OWL дає змогу описувати класи з використанням нових можливостей. Зокрема, мова OWL має великий набір операторів і базується на логічній моделі, яка дозволяє давати визначення поняттям так, як вони описані. Тому складні комплексні поняття у визначеннях можуть бути створені з простіших. До того ж, логічна модель дозволяє використовувати механізм міркувань (reasoner), котрий може перевірити, чи твердження і визначення в онтології є взаємно послідовними, а також розпізнати відповідність визначень певним поняттям. Завдяки цьому механізму підтримується правильність ієрархії бази знань.
У редакторі Protégé-OWL забезпечена можливість вибору однієї з трьох розроблених зараз версій мови OWL: OWL-Lite, OWL-DL, OWL-Full (рис. 7.6).
Рис. 7.6. Взаємозв’язок трьох підмов OWL.
Визначальною особливістю кожної з версій є міра їх виразності. OWL-Lite є найменш виразною підмовою, проте найпростішою з точки зору синтаксису. Її найкраще використовувати при побудові простої ієрархії класів та застосуванні обмежень.
OWL-DL є значно виразнішою підмовою порівняно з OWL-Lite. Вона базується на логіці опису (description logics), і підтримує тих користувачів, які хочуть максимальної виразності без втрати повноти обчислень. Завдяки цьому можливо здійснювати автоматичне виведення висновків (процес міркування). Також можна обчислити ієрархію класифікації і здійснити перевірку неузгодженостей в онтології. OWL DL включає в себе всі мовні конструкції OWL з обмеженнями, на зразок розділення типу (клас не може бути властивістю, а властивість не може бути індивідом або класом).
OWL-Full використовується в ситуаціях, де дуже висока виразність важливіша, ніж потреба в обчислювальних можливостях мови. Вона забезпечує максимальну синтаксичну свободу стандарту RDF без обчислювальних ґарантій. Разом з тим вона використовує всі переваги попередніх двох підмов. Отже, розробники онтологій, використовуючи OWL, повинні вирішити, яку з підмов краще використати для вирішення конкретних завдань.
Загалом OWL як мова Web-онтологій вирішує наступні задачі і забезпечує:
синтаксис опису понять, зручний для всіх користувачів мережі Інтернет — людей та програмних аґентів;
максимальну виразність механізмів опису понять та зв’язків між ними;
механізми еволюції описів і спільного використання онтологій в середовищі Інтернету.
Ще одна з переваг редактора Protégé — безкоштовне розповсюдження (freeware). Інструмент доступний для завантаження на офіційному сайті проекту: http://protege.stanford.edu.