Описание визуального языка классификаторов и проекций для разработки баз знаний

Визуальный язык классификаторов и проекций содержит следующие элементы:

L: = ,.

где: TYPES — описание типов, позволяющее представить таксономию верхнеуровневых классов, типы связей между классами, значения свойств классов. Каждому типу ставится в соответствие пиктограмма (графический знак).

CL — классификатор, формат ввода нижнеуровневых классов и экземпляров онтологии, их свойств и иерархических связей между ними. Основные типы связей: «класс-подкласс», «часть-целое», «подчиняется» и т. п.;

CL= {CL_i^name, Onto-CL_i, Base-CL_i} - классификатор,.

где CL_i^name — имя классификатора; Onto-CL_i — свойства классификатора — часть классификатора, задающая состав типов элементов, перечисляемых в классификаторе, перечень их свойств с областями допустимых значений и типы иерархических связей между элементами; Base-CL_i — содержание классификатора — часть классификатора, в которой перечисляются и типизируются моделируемые нижнеуровневые классы, значения их свойств и задается древовидная система связей между классами.

PR — проекция, формат ввода связей между экземплярами онтологии, перечисленными в классификаторах. Примеры типов связей: «выполняет», «обеспечивает достижение», «отвечает за»;

PR_j = {PR_j^name, Onto-PR_j, Base-PR_j} - проекция,.

где PR_j^name — наименование проекции; Onto-PR_j — свойства проекции — часть проекции, определяющая состав связей между типами, перечисляемых в классификаторе элементов; Base-PR_j — содержание проекции — часть проекции, содержащая множество связей между элементами, связываемых классификаторов.

TASKS — формат спецификации задач по разработке и использованию онтологии (не рассматривается в рамках данной статьи);

SPEC — формат спецификации запросов к онтологической модели (не рассматривается в рамках данной статьи).

Данный язык используется для структурирования и представления знаний, а также для формирования запросов к онтологической модели.