Підхід до реалізація онтології ПрО

Існує цілий ряд інструментів підтримки онтологій, огляд яких зроблено в [17, 18]. Найбільшу популярність в нашій країні набули Protege і Ontolingva. Це безкоштовні, розширювані за допомогою плагінов ((plug-іn, надбудов), редактори онтологій.

В Protege використовується фреймова модель представлення знань, що дозволяє пристосовувати його для редагування моделей ПрО, описаних у різних форматах UML, XML, SHOE, DAML+OIL, RDF і RDFS і т.п.

Сучасні інструменти розроблення онтологій такі як Protege, дозволяють не тільки створювати онтологію ПрО, але і знаходити в ній помилки, подібно відлагоджувачам у мовах програмування. Protege може використовуватися як середовище швидкого прототипування, в якому розробники онтології можуть перевіряти семантичні обмеження, генерувати інтерфейси користувача.

Окрім засобів підтримки розроблення онтологій, Protege має відкриту архітектуру, що дозволяє програмістам вбудовувати в нього програмні компоненти за допомогою плагінів. Ця можливість може використовуватися як при розробленні застосувань для Семантичного Веб, так і для створення застосувань в парадигмі ГП.

Для Protege існують також готові плагіни. Наприклад, Protege OWL Plugin надає відрите середовище, в якому можна виконувати код, подібний тестам JUnit. Ще одна можливість Protege – генерація по онтології програмного коду класів для мови Java.

Подібну можливість надають також і інші інструменти, наприклад, діаграми класів в UML, побудовані за допомогою Rational Rose, можуть відображатися в програмний код класів на декількох мов програмування.

Поширеним є також безпосереднє застосування XML-схем для опису онтологій та застосування редакторів XML для синтаксичної перевірки XML-документів, перевірки на відповідність документа XML-схемі (валідування). Це подання зручне для програмної обробки засобами генеруючого програмування.

Перевага Protege – зручність побудови онтології можливість трансформації онтології у формат XML-схеми, який підтримується у платформі Eclipse в XML Schema Infoset Model (XSD), що являє собою бібліотеку функцій прикладного програмування для маніпулювання компонентами XML-схеми.

У якості редактора онтологій використовувся Protégé 3.4. В ньому онтологія представляється класами, слотами, фасетами та аксіомами. [28].

Класи описують поняття ПрО, а слоти – властивості (атрибути) класів.

Фасети описують властивості слотів (конкретні типи і можливі діапазони значень).

Аксіоми визначають додаткові обмеження (правила).

Класи можуть бути абстрактними чи конкретними.

Абстрактні класи є контейнерами конкретних класів і можуть містити абстрактні атрибути (які не містять конкретних значень).

Атрибути понять ПрО в Protégé називаються слотами.

Конкретні класи містять конкретні слоти, яким можуть бути призначені значення (екземпляри атрибутів).

Protégé підтримує множинне наслідування: один клас може мати декілька суперкласів.

Для визначення типів та обмежень на значення (подібно правилам XML-схеми) використовуються фасети.

Слоти в Protégé описують властивості класів і екземплярів (можливі атрибути). Згідно фреймової моделі подання знань, яка використовується в Protégé, слот – це фрейм. Слоти визначаються незалежно від будь-якого класу і один і той самий слот може належати різним класам.

Фасети. Дозволяють вводити обмеження на типи і діапазони значень екземплярів (значень атрибутів) і подібні відповідним поняттям XML-схеми. Кардинальність слота визначає можливу кількість значень слота, обмеження типу значень слота (наприклад, ціле, строкове, тощо, екземпляр класа), граничні значення (мін. і макс.) для числових слотів тощо. Фасети визначають обмеження на приєднання слоту до фрейму класа.

Слоти-зразки (template slot) і власні (own) слоти. Слот можна приєднати до фрейму (класу) одним з двох способів: як слот-зразок чи як власний слот. Власний слот, приєднаний до фрейму, описує властивості об’єкту, представленого фреймом. Класи також можуть мати власні слоти. Наприклад, документація класу є власним слотом, приєднаним до класу, окільки описує сам клас, а не екземпляри класу.

Використання засобу Protégé для побудови процесу тестування ПС наведено в Додатку 3, а предмету – обчислювальна геометрія описано в розділі 5 і реалізовано студентами в ІТК ІПС.

Читайте також:

<== попередня сторінка	\|	наступна сторінка ==>
Мовний опис онтології домену чи СПС	\|	Типи даних та засоби їх генерації для використання в збиральному прогрмуванні

Не знайшли потрібну інформацію? Скористайтесь пошуком google:

Генерація сторінки за: 0.003 сек.