Введение
GNOWSYS (система сетевого взаимодействия и организации знаний) – это спецификация для универсальной распределённой сети, предназначенной для управления памятью и знаниями. Она разработана как приложение для создания и поддержки семантического веб-контента. Она написана на языке Python и реализована в виде приложения Django. Проект GNOWSYS был начат Нагарджуной Г. в 2001 году, когда он работал в Центре научного образования имени Хоми Бхабы (HBCSE). Память GNOWSYS организована как пространство, ориентированное на узлы. Каждый узел описывается другими узлами, с которыми он связан. Узлы организованы и обрабатываются в соответствии со сложной структурой данных, называемой "окрестностью".
Приложения
Приложение может использоваться в веб-проектах по представлению знаний и управлению контентом, для разработки структурированных баз знаний, как инструмент для совместного редактирования, подходящий для создания электронных глоссариев, словарей и энциклопедий, для управления крупными веб-сайтами или ссылками, разработки онлайн-каталога для библиотеки чего угодно, включая книги, для создания онтологий, классификации и установления связей между любыми объектами и т.д. Этот инструмент также предназначен для использования в онлайн-системе обучения с управлением зависимостями между различными понятиями или программными пакетами. Например, зависимости между пакетами Debian были представлены порталом gnowledge.
Классы компонентов
Ядро разработано для обеспечения поддержки постоянного хранения высокогранулярных узлов представления знаний, таких как термины, предикаты и очень сложные пропозициональные системы, включая аргументы, правила, аксиоматические системы, слабо связанные абзацы и более сложные структурированные и согласованные композиции. Все классы компонентов в GNOWSYS классифицируются по сложности на три группы, при этом первые две группы используются для выражения всех возможных корректных формул, допустимых в логике первого порядка.
Условия
«Объект», «Тип объекта» для декларативных знаний, «Событие», «Тип события» для временных объектов и «Метатипы» для выражения верхней онтологии. Объекты в этой группе – это, по сути, всё, о чём инженер знаний намерен выразить и сохранить в базе знаний, то есть они являются объектами обсуждения. Экземпляры этих компонентных классов могут храниться как с указанием, так и без указания отношений «является экземпляром» или «является подклассом» между ними.
objects in this group are essentially any thing about which the knowledge engineer intends to express and store in the knowledge base, i. e., they are the objects of discourse. The instances of these component classes can be stored with or without expressing ‘instance of’ or ‘sub class of’ relations among them.
Предкаты
Эта группа состоит из элементов «Отношение» и «Тип отношения» для выражения декларативных знаний, и «Функция» и «Тип функции» для выражения процедурных знаний. Эта группа предназначена для выражения качественных и количественных взаимосвязей между различными экземплярами, хранящимися в базе знаний. Инстанцирование предикатов может быть охарактеризовано их логическими свойствами, такими как отношения, кванторы и кардинальность, как монадические предикаты этих объектов-предикатов.
of these predicate objects.
Структуры
«Система», «Инкапсулированный класс», «Программа» и «Процесс» – это другие базовые классы для сложных структур, которые могут итеративно комбинироваться для создания более сложных систем. Класс компонента «Система» предназначен для хранения в базе знаний набора пропозиций, составленных в онтологии, аксиоматические системы, сложные системы, такие как, например, человеческое тело или артефакт, например, транспортное средство, с проверкой согласованности или без неё. «Инкапсулированный класс» предназначен для гибкого составления декларативных и поведенческих объектов для построения классов. «Программа» предназначена не только для хранения логики любой полной программы или компонентного класса, составленного из уже доступных поведенческих экземпляров в базе знаний с использованием встроенных связующих элементов (условий и циклов), но и для их выполнения в качестве веб-сервисов. «Процесс» предназначен для структурирования временных объектов с указанием последовательности, параллельности, синхронных или асинхронных спецификаций. Каждый узел в базе данных хранит информацию об окружении, такую как его суперкласс, подкласс, экземпляр и другие отношения, в которых объект играет роль, в форме предикатов. Эта особенность значительно упрощает вычисление графов и логических выводов, с одной стороны, и зависимостей и путей навигации, с другой. Все данные и метаданные индексируются в центральном каталоге, что обеспечивает эффективный поиск и обнаружение ресурсов.
pose declarative and behavioural objects in a flexible way to build classes. A ‘Program’ is not only to store the logic of any complete program or a component class, composed from the already available behavioural instances in the knowledge base with built in connectives (conditions, and loops), but also execute them as web services. A ‘Process’ is to structure temporal objects with sequence, concurrency, synchronous or asynchronous specifications. Every node in the database keeps the neighbourhood information, such as its super class, sub class, instance of, and other relations, in which the object has a role, in the form of predicates. This feature makes computation of drawing graphs and inferences, on the one hand, and dependency and navigation paths on the other hand very easy. All the data and metadata is indexed in a central catalogue making query and locating resources efficient.