МАРК РЕГНЕРУС ДОСЛІДЖЕННЯ: Наскільки відрізняються діти, які виросли в одностатевих союзах
РЕЗОЛЮЦІЯ: Громадського обговорення навчальної програми статевого виховання ЧОМУ ФОНД ОЛЕНИ ПІНЧУК І МОЗ УКРАЇНИ ПРОПАГУЮТЬ "СЕКСУАЛЬНІ УРОКИ" ЕКЗИСТЕНЦІЙНО-ПСИХОЛОГІЧНІ ОСНОВИ ПОРУШЕННЯ СТАТЕВОЇ ІДЕНТИЧНОСТІ ПІДЛІТКІВ Батьківський, громадянський рух в Україні закликає МОН зупинити тотальну сексуалізацію дітей і підлітків Відкрите звернення Міністру освіти й науки України - Гриневич Лілії Михайлівні Представництво українського жіноцтва в ООН: низький рівень культури спілкування в соціальних мережах Гендерна антидискримінаційна експертиза може зробити нас моральними рабами ЛІВИЙ МАРКСИЗМ У НОВИХ ПІДРУЧНИКАХ ДЛЯ ШКОЛЯРІВ ВІДКРИТА ЗАЯВА на підтримку позиції Ганни Турчинової та права кожної людини на свободу думки, світогляду та вираження поглядів Контакти
Тлумачний словник |
|
|||||||
Підхід до реалізація онтології ПрОІснує цілий ряд інструментів підтримки онтологій, огляд яких зроблено в [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 і реалізовано студентами в ІТК ІПС. Читайте також:
|
||||||||
|