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