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

<owl:differentFrom rdf:resource="949352"> </lecturer>

Так как такого рода утверждения встречаются часто и количество таких утверждений может очень быстро расти, если требуется заявить о несовпадении большого числа индивидуумов, то OWL предоставляет краткое обозначение для утверждения о попарном неравенстве всех индивидуумов заданного списка:

<owl:allDifferent>

<owl:distinctMembers rdf:parseType="Collection"> <lecturer rdf:about="949318">

<lecturer rdf:about="949352">

<lecturer rdf:about="949111">

</owl:distinctMembers>

</owl:allDifferent>

Отметим, что owl:distinctMembers может использоваться только в комбинации с owl:AllDifferent.

5.5.9. Типы данных (Datatypes)

Хотя XML Schema предоставляет механизм для построения определяемых пользователями типов данных (например, тип данных «взрос-лыйВозраст» (adultAge), как целые числа более 18 или тип данных -строки, начинающиеся с номера), такие производные типы данных не могут использоваться в OWL. Фактически, даже не все из многих встроенных типов данных XML Schema могут использоваться в OWL. Справочный документ по OWL перечисляет те данные XML Schema, которые могут использоваться. Как правило, они включают большинство часто используемых типов, таких, как string, integer, boolean, time и date.

Ранее было показано использование элемента owl:priorVersion как части заголовочной информации для указания о ранних версиях текущей онтологии. Эта информация не имеет формальной модельнотеоретической семантики, но может использоваться людьми и программами в целях, отличных от управления онтологиями.

Кроме элемента owl:priorVersion, OWL имеет еще три утверждения для указания дополнительной неформальной информации о версиях. Ни один из них не несет какого-либо формального смысла.

•    owl:versionInfostatement обычно содержит строку, дающую информацию о текущей версии, например, ключевые слова RCS/CVS.

•    owl:backwardCompatibleWith содержит ссылку на другую онтологию. Таким образом, определяется, что конкретная онтология является предыдущей версией онтологии, содержащейся в документе, и более того, указывается, что она обратно совместима с ней. В част ности, это указывает, что все идентификаторы из предыдущей версии имеют те же предполагаемые интерпретации в новой версии. Таким образом, это подсказывает авторам документа, что они могут внести изменения в документы, чтобы соответствовать новой версии (просто исправляя объявления имен пространств и утверждения owl:imports для ссылки на URL новой версии).

•    owl:incompatibleWith, с другой стороны, указывает, что содержащаяся онтология является более поздней версией онтологии, на которую ссылается, но обратно не совместима с ней. По существу, это может быть использовано авторами онтологий, которые желают явно указать, что документы не могут быть обновлены (updated) для использования новой версии без тщательной проверки необходимости внесения изменения.

5.5.10. Разновидности языка OWL

Конфликт требований, а именно поддержка эффективного логического вывода и выразительность языка привели к тому, что Web Ontology Working Group определила OWL как три различных подъязыка, каждый из которых разработан для удовлетворения столь несовместимому набору требований:

•    OWL Full: Полный язык называется OWL Full и использует все примитивы (базовые элементы) языка. Он также позволяет объединять эти примитивы произвольным способом с RDF и RDFS. Это позволяет также изменять смысл предопределенных в RDF или OWL примитивов путем применения примитивов языка друг к другу. Например, в OWL Full можно задать ограничения мощности owl:class, по существу ограничивая количество классов, которые могут быть описаны в любой онтологии. Преимущество OWL Full заключается в том, что он полностью совместим с RDF как синтаксически, так и семантически: любой допустимый RDF-документ также является допустимым документом языка OWL Full и любое верное заключение для RDF/RDFS является также верным заключением для OWL Full.


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

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

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

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

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

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

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

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