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

1. Классификация редакторов.
2. Protégé.
Назначение редактора Protégé.
Изначально использовался для концептуального моделирования в области медицины.
В последнее время используется при создании онтологий для Semantic Web.
Поддерживаемые языки и формализмы.
фреймы + FOL – first order logic («родной»).
языки представления онтологий в Semantic Web: DAML+OIL, RDF/RDFS, OWL.
другие языки: SHOE, XOL.
Элементы модели знаний.
- классы.
- слоты.
- экземпляры.
- фасеты.
Элементы пользовательского интерфейса.
- вкладки для пополнения онтологии.
- модули функционального расширения.
- генерация форм приобретения знаний.
- модули запросов.
- модули логического вывода.