Редакторы онтологий

advertisement
7.1. Редакторы онтологий
 Классификация редакторов
 Protégé
Классификация инструментов
проектирования онтологий
 зависящие от языка представления
знаний
 не зависящие от языка
Методологии построения онтологий
 On-To-Knowledge
 METHONTOLOGY
Архитектура программной
реализации инструментов
 ранние инструменты – клиент-серверная
архитектура
 более поздние проекты – 3-х уровневая
архитектура
 основной язык реализации – Java.
 хранение данных (онтологий)
--текстовые файлы
--БД
Базовые формализмы
 большая часть проектов использует
комбинацию фреймов и логики предикатов
(FOL)
 инструменты OilEd и OntoSaurus
используют дескриптивную логику (DL)
Общие функциональные
возможности редакторов
 пользовательский интерфейс


web-приложение
локальное приложение
 графический интерфейс для
редактирования и навигации
 поддержка редактора формальных аксиом
и сложных выражений
 коллективная разработка
Выбор «лучшего» инструмента
 Всё зависит от




целей разработчика
разрабатываемой онтологии
имеющейся (базовой) онтологии
имеющейся инфраструктуры ПО (СУБД,
язык и среда программирования)
Protégé
http://protege.stanford.edu/
Назначение редактора Protégé
 Изначально использовался для
концептуального моделирования в области
медицины
 В последнее время используется при
создании онтологий для Semantic Web
Поддерживаемые языки и
формализмы
 фреймы + FOL – first order logic («родной»)
 языки представления онтологий в Semantic
Web: DAML+OIL, RDF/RDFS, OWL
 другие языки: SHOE, XOL
Элементы модели знаний
 классы
 слоты
 экземпляры
 фасеты
Элементы пользовательского
интерфейса
 вкладки для пополнения онтологии
 модули функционального расширения
 генерация форм приобретения знаний
 модули запросов
 модули логического вывода
Список других редакторов
(для самостоятельного изучения)
 WebODE (http://webode.dia.fi.upm.es/webODE/)
 OntoSaurus (http://www.isi.edu/isd/ontosaurus.html)
 WebOnto (http://kmi.open.ac.uk/projects/webonto/)
 OilEd (http://oiled.man.ac.uk/)
 OntoEdit (http://ontoserver.aifb.unikarlsruhe.de/ontoedit/)
 OilEd (http://oiled.man.ac.uk/)
 Ontolingua (http://www-ksl.stanford.edu)
Библиотеки онтологий
 DAML ontology library (http://www.daml.org/ontologies/)
 Protege ontology library






(http://protege.stanford.edu/ontologies.html)
Ontolingua ontology library (http://ontolingua.stanford.edu/)
WebOnto ontology library (http://webonto.open.ac.uk)
SHOE ontology library
(http://www.cs.umd.edu/projects/plus/SHOE/onts/index.html)
WebODE ontology library (http://webode.dia.fi.upm.es/)
(KA)2 ontology library (http://ka2portal.aifb.uni-karlsruhe.de/)
AKT ontology (http://www.aktors.org/ontology/)
Вопросы к лекции
 Перечислите известные вам методологии
разработки онтологий.
 Какой формализм является родным
(native) для редактора Protege?
 Какие типы проектов (языки) поддерживает
редактор Protege?
Download