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

Сформированные с использованием ДЛ базы знаний также могут использоваться и для обработки запросов. Ответы на запросы получаются в результате кодирования запроса в виде понятий ДЛ и доказательства того, что эти понятия являются выполнимыми. Если запрос является выполнимым, то понятие, описанное в запросе, является логически согласованным с онтологией. Кроме этого, операция включения ДЛ может использоваться для обнаружения отношений класс-подкласс, которые заданы в онтологии неявно.

Источник...

Источник:

Автореферат: "Онтолого-семантические модели в корпоративных системах управления знаниями", Тузовский А.Ф., 2007 г., Томск, 39 стр.

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

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

Источник...

Источник:

Книга: "Системы управления знаниями (методы и технологии)", Тузовский А.Ф., 2005 г., Томск, изд-во науч.-техн. лит., 258 стр., ISBN 5-89503-241-9. Исходный раздел: 6.4. Программные инструменты для обеспечения логического вывода Найти книгу в продаже

См. также:

    Средства для организации совместной работы

    Средства, поддерживающие принятие решений

    Поисковые системы

    Порталы знаний

    Модельные представления

    Каталог знаний

    Карты знаний

    Обучение пользователей

    Картирование информации

    Метаданные

     ...

 Обсудить на форуме