Системы управления знаниями стр.80

держиваются целостность и санкционированность доступа

Этап жизненного цикла:

Деятельность при проверке на этапе Поддержки и Развития

ConVisOr

Проверяет соответствие онтологии дескриптивной логике

Lockheed

Martin

OntoClean

(ODE)

Анализирует согласованность онтологий

University of Madrid

Исследовательский прототип, совместим с языком DAML+OIL

Окончание табл. 6.2

OilED

Анализирует согласованность онтологий на основе дескриптивной логики

University

of

Manchester

В свободном доступе. Интегрируется с MS Office.

Поддерживает языки RDF, DAML+OIL

Cerebra

Inference

Engine

Анализирует согласованность и делает выводы на основе дескриптивной логики

Network

Inference

Коммерческая версия OilED.

Поддерживает развертывание. Также позволяет поддерживать и развивать онтологии путем добавления новых аксиом/отношений без приостановки работы системы. Поддерживает языки RDF,

DAML+OIL, OWL, интерфейс SOAP

Этап жизненного цикла:

Деятельность по слиянию на этапе Поддержки и Развития

PROMPT

Поддерживает слияние двух и более онтологий

Stanford

KSL

Модуль расширения (plug-in) для редактора онтологий Protege 2000

Chimera

Позволяет обрабатывать несколько онтологий вместе, проводит анализ для определения возможности слияния онтологий

Stanford

University

KSL

Планируется поддержка языков RDF и OWL

FCA-Merge

Производит слияние онтологий снизу-вверх, основываясь на общих экземплярах понятий

AIFB,

Karlsruhe

Исследовательский прототип

6.4. Программные инструменты для обеспечения логического вывода

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

Как отмечалось ранее, для реализации логического вывода на формальной структуре модели предметной области используется специальный класс так называемых дескриптивных (описательных) логик. В настоящее время разработаны различные программные инструменты логического вывода. Некоторые из них являются бесплатными и свободно распространяемыми средствами, а некоторые - коммерческими. Примерами таких систем является FaCT, RACER, Cerebra Network Inference.

6.4.1. Система FaCT (Fast Classification of Terminologies)

Система FaCT [Patel-Schneider P.F., Horrocks I., 1999] реализована на языке Common Lisp и использует интерфейс CORBA (рис. 6.7). FaCT поддерживает модели дискриптивной логики SHIQ (инверсные роли и численные ограничения на количество связей), но не работает с типизированными данными (например, Integer или String). Система поддерживает основные операции логического вывода - satisfiable, subsumes, equivalent, all_subs, all_supers. Кроме этого, поддерживаются две спецификации языка KRSS и XML-подобных (ни OWL, ни DAML+OIL не поддерживаются).

Рис. 6.7. Архитектура сервера FaCT

Имеется также версия FaCT, работающая по интерфейсу DIG (протокол взаимодействия между модулем логического вывода и клиентом). Взаимодействие осуществляется через выражения XML, передающиеся по протоколу HTTP.

Существует новая версия данной системы - FaCT++, которая реализована на языке C++ и поддерживает полную спецификацию OWL-Lite. Данная версия также включает набор новых методов оптимизации вывода.

Так как FaCT эмулирует работу CORBA-брокера, то соединение с ним возможно установить с использованием протокола HTTP. Пример работы с системой FaCT через программный код можно видеть на рис. 6.8.

Рис. 6.8. Схема взаимодействия клиента с сервером FaCT


⇐ назад к прежней странице | | перейти на следующую страницу ⇒

Читайте также:

Помоги себе сам

Что может быть обыденней интернета в наши дни? Он стал незаменимой частью жизни всех нас. И это можно понять, ведь с его помощью люди работаю во всевозможных сферах деятельности, является очень эффективным. Но очень часто стоит вопрос о том, с помощью чего лучше всего добиваться лучших результатов и делать это более оперативно и с комфортом.

AlgoMusic M51 Galaxy - виртуальный инструмент на основе PD-синтеза

Виртуальный инструмент M51 Galaxy позволяет синтезировать "космические" звуки, обладает завораживающим звучанием. Обычно музыканты не очень жалуют инструменты, созданные с помощью SynthEdit. Однако M51, хоть и относится к их числу, действительно очень хорош. Секрет его звучания кроется в оригинальной архитектуре синтеза. На M51 Galaxy распространяется поговорка, что "все новое - это хорошо забытое старое". Идеи, заложенные в M51, уже были успешно реализованы в 80-х годах XX века.

Яркая жизнь с компьютерными программами

На каждом шагу сегодня мы слышим нарекания на современную молодёжь и её бездеятельность. А ведь и правда – ребят кроме компьютера и досконального его знания мало что интересует и беспокоит, даже будучи на шашлыках, они тянут с собой компьютер и включают музыку либо фильмы. Такая зависимость является страшной для развития человечества в целом хотя б потому что все вокруг становятся замкнутыми и променивают реальный мир на виртуальное общение. Раньше, вспоминают люди постарше, у костра играли на гитаре вживую, ездили в горы с палатками, игрались миниатюрными поездами теперь заменённое компьютерными играми и различными программами симуляторами. Возникает закономерный вопрос – так ли вредны эти самые компьютерные программы и для чего они были созданы.