Формализация знаний с помощью редактора онтологий PROTÉGÉ

Description

Данная статья посвящена формализация знаний в Protégé. А именно составление Базы Знаний предметной области «Компьютер» в форме онтологии. В качестве среды разработки – самый популярный язык разработки и представления онтологий Protégé.Ключевые слова: формализация знаний, База Знаний, Онтология, Язык представления онтологий.В работе описываются результаты создания онтологии локальной узкой предметной области ―Компьютеры.Цели создания: формализация знаний на основе онтологий.Онтология — это попытка всеобъемлющей и детальной формализации некоторой области знаний с помощью таксономии. Таксономии - базовая составляющая онтологии, определяет классы объектов и взаимодействие между этими классами. Обычно таксономия состоит из иерархической структуры данных, содержащей все релевантные классы объектов, их связи, правила и ограничения, принятые в этой области. Система классов, подклассов и свойств классов является универсальным и выразительным инструментом представления знаний. В настоящее время интеграция вычислительных ресурсов идет на уровне создания единой Глобальной базы знаний. Для такого объединения необходимо наличие инфраструктуры, обеспечивающей единый концептуальный формат представления и интерпретации знаний на всех уровнях – от уровня терминологии до уровня совокупности текстов по предметной области. В данной работе принято, что онтология есть своего рода интерфейс, единый формат представления знаний, подразумевающий использование единой терминологии. В ходе работы были рассмотрены актуальные проблемы онтологического моделирования. Описаны результаты, полученные при проектировании ограниченной онтологии для создания информационной среды по предметной области «компьютеры». Процесс разработки онтологии обычно начинается с того, что составляется глоссарий терминов (понятий), который в дальнейшем используется для исследования свойств и характеристик представленных в нем терминов. Далее на естественном языке создается список точных определений терминов, представленных в глоссарии. Затем на основе таксономических отношений строятся деревья классификации понятий (иерархии классов), которых в онтологии может быть несколько. Из понятий, не задействованных при составлении деревьев классификации, выделяются атрибуты классов и их возможные значения. Именно эти понятия и устанавливают основные связи между классами. После этого в зависимости от целей, для которых разрабатывается онтология, в нее могут добавляться экземпляры классов. И на последнем этапе создается система правил логических выводов, позволяющие оперировать данными, представленными в онтологии, и извлекать из созданной онтологии новые знания.