7.1. Редакторы онтологий Классификация редакторов Protégé
Классификация инструментов проектирования онтологий зависящие от языка представления знаний не зависящие от языка
Методологии построения онтологий On-To-Knowledge METHONTOLOGY
Архитектура программной реализации инструментов ранние инструменты – клиент-серверная архитектура более поздние проекты – 3-х уровневая архитектура основной язык реализации – Java. хранение данных (онтологий) --текстовые файлы --БД
Базовые формализмы большая часть проектов использует комбинацию фреймов и логики предикатов (FOL) инструменты OilEd и OntoSaurus используют дескриптивную логику (DL)
Общие функциональные возможности редакторов пользовательский интерфейс web-приложение локальное приложение графический интерфейс для редактирования и навигации поддержка редактора формальных аксиом и сложных выражений коллективная разработка
Выбор «лучшего» инструмента Всё зависит от целей разработчика разрабатываемой онтологии имеющейся (базовой) онтологии имеющейся инфраструктуры ПО (СУБД, язык и среда программирования)
Protégé
Назначение редактора Protégé Изначально использовался для концептуального моделирования в области медицины В последнее время используется при создании онтологий для Semantic Web
Поддерживаемые языки и формализмы фреймы + FOL – first order logic («родной») языки представления онтологий в Semantic Web: DAML+OIL, RDF/RDFS, OWL другие языки: SHOE, XOL
Элементы модели знаний классы слоты экземпляры фасеты
Элементы пользовательского интерфейса вкладки для пополнения онтологии модули функционального расширения генерация форм приобретения знаний модули запросов модули логического вывода
Список других редакторов (для самостоятельного изучения) WebODE ( OntoSaurus ( WebOnto ( OilEd ( OntoEdit ( OilEd ( Ontolingua (
Библиотеки онтологий DAML ontology library ( Protege ontology library ( Ontolingua ontology library ( WebOnto ontology library ( SHOE ontology library ( WebODE ontology library ( (KA)2 ontology library ( AKT ontology (
Вопросы к лекции Перечислите известные вам методологии разработки онтологий. Какой формализм является родным (native) для редактора Protege? Какие типы проектов (языки) поддерживает редактор Protege?