GNOWSYS

GNOWSYS может использоваться для веб-ориентированного представления знаний и управления содержимым, разработки структурированных баз знаний, в качестве инструмента коллективной авторской работы, а также для создания электронных глоссариев, словарей и энциклопедий, администрирования крупных веб-сайтов или ссылок, создания онлайн-каталогов для библиотек любых объектов, построения онтологий, классификации и сетевого взаимодействия разных сущностей и др. Данный инструмент также предназначен для использования в системах онлайн-обучения с управлением зависимостями между разными понятиями или программными пакетами.

Ядро GNOWSYS разработано для постоянного хранения мелко детализированных узлов представления знаний, таких как термины, предикаты и сложные пропозициональные системы: аргументы, правила, аксиоматические системы, нестрого связанные абзацы, а также более сложные структурированные и согласованные композиции. Все компонентные классы GNOWSYS разделены по уровню сложности на три группы, при этом первые две позволяют выразить все допустимые формулы первого порядка логики^[3].

«Объект», «Тип объекта» — для декларативных знаний; «Событие», «Тип события» — для темпоральных объектов; и «Мета-типы» ― для выражения верхних онтологий. Объекты этой группы — любые сущности, о которых инженер знаний хочет выразить и хранить информацию в базе знаний, то есть это объекты обсуждения. Экземпляры данных компонентных классов могут храниться с указанием связей «экземпляр» или «подкласс», а могут и без них.

Эта группа включает «Отношение» и «Тип отношения» для выражения декларативного знания, а также «Функцию» и «Тип функции» для описания процедурных знаний. Она служит для выражения качественных и количественных связей между различными экземплярами, хранящимися в базе знаний. При задании предикатов они описываются по логическим свойствам — отношениям, кванторам и кардинальности — в виде монадических предикатов этих объектов.

«Система», «Инкапсулированный класс», «Программа» и «Процесс» — базовые классы для сложных структур, которые могут комбинироваться итеративно для создания ещё более сложных систем. Класс «Система» позволяет хранить набор высказываний, организованных в онтологии, аксиоматические системы, сложные объекты (например, человеческое тело, артефакт вроде автомобиля), с проверкой согласованности или без неё. «Инкапсулированный класс» предназначен для гибкой комбинации декларативных и поведенческих объектов с целью построения классов. Класс «Программа» позволяет не только хранить логику завершённых или отдельных программных компонентов, составленных из уже имеющихся поведенческих экземпляров базы знаний с использованием встроенных связок (условия, циклы), но и выполнять их как веб-сервисы. Класс «Процесс» описывает структуру темпоральных объектов с заданиями последовательности, параллельности, синхронности и асинхронности.

Каждый узел БД хранит информацию об «окрестности» — относящиеся к нему связи, такие как суперкласс, подкласс, принадлежность к экземпляру, а также прочие ролевые отношения в виде предикатов. Эти возможности позволяют легко строить графы, формировать выводы, а также вычислять зависимости и навигационные пути. Все данные и метаданные индексируются в центральном каталоге, что делает выполнение запросов и поиск ресурсов эффективными.