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

5.5.11. Связь языка OWL с дескриптивной логикой

OWL был спроектирован на основе SH семейства ДЛ (напомним, что S - это сокращение ДЛ ALCR+ (AL - базовый язык; С - отрицание для сложных понятий; R+ - транзитивные роли), а H - это использование иерархии ролей). Конструкторы и аксиомы, поддерживаемые SH, включают булевы операции (пересечение, объединение и дополнение), ограничения на свойства, транзитивные свойства и иерархию свойств, т. е.

эквивалентны ALC ДЛ, расширены транзитивными свойствами и иерархией свойств. Иерархия свойств важна для OWL, так как это особенность RDFS (онтологическое моделирование), однако многие серьезные приложения требуют использования транзитивных свойств. Члены семейства SH включают важную SHIQ ДЛ, которая добавляет инверсные свойства и обобщенные ограничения мощности (generalised cardinality restrictions) и SHOQ(D), которая добавляет возможность определить класс (понятие) путем перечисления экземпляров (например, понятие ДниНедели = {Понедельник, Вторник, Среда, Четверг, Пятница, Суббота}) и поддержку типов данных и значений (например, типы данных целые, строки и значения, такие, как "35").

Использование языка OWL DL в стиле дескриптивной логики тесно связано с ДЛ SHOIN(D), которая сама является расширением SHOQ(D) (расширенной инверсными ролями и ограниченной до неуточненных числовых ограничений). OWL DL может формировать описания классов, типов данных, индивидуумов, используя конструкторы (табл. 5.1) и аксиомы (табл. 5.2).

OWL DL связан с очень выразительной дескриптивной логикой SHOIN(D). Эта ДЛ достаточно трудна для ее изучения новыми пользователями, так как позволяет строить сложные булевые описания, используя, например, объединение и дополнение. SHOIN(D) также трудна для выполнения логического вывода, так как ключевые задачи вывода имеют NExpTime сложность и до некоторой степени трудны для построения даже не выполняющими логический вывод инструментами из-за сложных описаний.

По этим причинам было выявлено подмножество OWL DL, которое должно быть проще по всем указанным выше показателям. Это подмножество называется OWL Lite. OWL Lite не использует объединения и дополнения, ограничивает пересечения до неявных пересечений в аксиомах, подобных фреймам классов, ограничивает встроенные описания

Таблица 5.1

до имен понятий, не позволяет индивидуумам появляться в описаниях и аксиомах классов и ограничивает мощности до 0 и 1.

Эти ограничения делают OWL Lite подобным дескриптивной логике SHIF(D). Подобно SHIF(D), ключевые логические выводы в OWL Lite в худших случаях вычисляются за экспоненциальное время (ExpTime), и уже существует несколько оптимизированных систем вывода для логических эквивалентов OWL Lite. Такое улучшение в реализации получается с относительно небольшой потерей выразительной силы - хотя синтаксис OWL Lite более ограничен, чем синтаксис OWL DL, он все еще способен выразить сложные описания, вводя новые имена классов и используя неявное отрицание с помощью аксиом непересекаемости. С помощью этих методов все OWL DL-описания могут быть записаны в OWL Lite, за исключением тех, которые содержат или имена индивидуумов, или мощности более чем 1.

Глава 6

ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА ДЛЯ РАБОТЫ СО ЗНАНИЯМИ

Как уже отмечалось в предыдущих главах, современное представление об управлении знаниями не сводится к применению компьютеров и современных информационных технологий. Однако справедливо и обратное утверждение. Без современных IT-технологий, без Интернета и интранета управление знаниями в компании не может быть поднято на должный уровень, так как именно IT-технологии обеспечивают расширение доступа к знаниям, облегчают и ускоряют процесс обмена знаниями между специалистами, подразделениями, предприятиями, создают технологическую основу для семантической обработки информации и получения новых знаний.


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

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

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

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

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

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

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

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