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

Один из недостатков языка OWL Full возник из-за того, что он стал таким мощным и выразительным, что появилась проблема разрешимости, вследствие чего не обеспечивается поддержка логического вывода.

•    OWL DL: (Description Logic - Дескриптивная логика) является подмножеством языка OWL Full, который ограничивает способ ис пользования конструкторов языков OWL и RDF, восстанавливая тем самым вычислительную эффективность языка. Органичение заключается в запрещении применения конструкторов друг к другу и, таким образом, гарантирует, что язык соответствует хорошо изученной дескриптивной логике. Это позволяет обеспечить поддержку эффективного логического вывода. Недостатком является то, что в OWL DL отчасти теряется совместимость с RDF: RDF-документ должен быть, в общем случае, некоторым образом расширен и некоторым образом ограничен, прежде чем стать правильным OWL DL-документом. И наоборот, каждый правильный OWL DL-документ остается правильным RDF-документом.

•    OWL Lite: Является еще более ограниченным языком, чем OWL DL. Он содержит подмножества конструкторов языка OWL DL. OWL Lite не содержит перечисляемые классы (enumerated classes), утверждения о непересекаемости (disjointness statements) и произвольные мощности (arbitrary cardinality).

Преимущество этого языка в том, что его проще изучить (пользователем) и проще реализовать (разработчикам инструментов).

Разработчики онтологий, осваивающие OWL, должны решать, какое подмножество OWL лучше соответствует их потребностям. Выбор между OWL Lite и OWL DL зависит от степени потребности пользователя в более выразительных конструкторах, предоставляемых OWL DL и OWL Full. Выбор между OWL DL и OWL Full в основном зависит от степени потребности пользователя в возможностях метамоделирования языка RDFS (таких, как определение класса классов или прикрепления свойств к классам). При использовании OWL Full, по сравнению с OWL DL, поддержка логического вывода является менее предсказуемой, так как полная реализация логического вывода в OWL Full будет невозможна.

Имеется строгое понимание восходящей совместимости между этими тремя языками:

•    Каждая онтология, допустимая на языке OWL Lite, является онтологией, допустимой на языке OWL DL.

•    Каждая онтология, допустимая на языке OWL DL, является онтологией, допустимой на языке OWL Full.

•    Каждое правильный вывод для OWL Lite является правильным выводом для OWL DL.

•    Каждое правильный вывод для OWL DL является правильным выводом для OWL Full.

OWL все еще в значительной степени использует RDF и RDFS:

•    Все варианты OWL используют RDF в качестве своего синтаксиса.

•    Экземпляры объявляются в RDF, используя RDF описания и информацию о типах.

•    OWL-конструкторы типа owl:Class, owl:DatatypeProperty и owl: ObjectProperty являются специализациями их двойников в RDF.

На рис. 5.7 показаны иерархия включения классов между некоторыми примитивами моделирования OWL и RDF/RDFS.

Рис. 5.7. Иерархия классов OWL и RDF/RDFS (отношения подклассов)

При проектировании OWL вначале надеялись на обратную совместимость с соответствующей возможностью повторного использования программного обеспечения (ПО) между различными уровнями. Однако преимущество полной обратной совместимости для OWL (что любой процессор, понимающий OWL, будет обеспечивать правильную интерпретацию любого документа RDFS) достижимо только для OWL Full, ценой частичной потери вычисляемости.


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

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

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

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

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

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

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

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