Дослідження логічної моделі мови OWL – Ontology Web Language

  <owl:Class rdf:ID="СъедобнаяВещь" />

 

  <owl:Class rdf:ID="НесъедобнаяВещь">

    <owl:complementOf rdf:resource="#СъедобнаяВещь" />

  </owl:Class>

Класс НесъедобнаяВещь  включает в качестве своих членов всех индивидов, которые не относятся  к СъедобнаяВещь. Это множество  включает Винодельни, Регионы и т.д. Буквально - это разница множеств owl:Thing (Вещь) и СъедобнаяВещь.

 

9.2 Непересекающиеся классы

 

disjointWith

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

<owl:Class rdf:ID="Соль">

  <owl:disjointWith rdf:resource="#Мясо"/>

  <owl:disjointWith rdf:resource="#Кавун"/>

  <owl:disjointWith rdf:resource="#Мороженое"/>

  <owl:disjointWith rdf:resource="#Десерт"/>

  <owl:disjointWith rdf:resource="#Фрукты"/>

</owl:Class>

Пример с Паста демонстрирует  множественные непересекающиеся классы. Заметьте, что в нем только утверждается, что Паста не пересекается со всеми  этими другими классами. Тут не утверждается, например, что Мясо и Фрукты не пересекаются между собой. Чтобы утверждать, что набор классов взаимно не пересекается, должны существовать утверждения owl:disjointWith для каждой пары классов.

Часто требуется определить класс как объединение нескольких взаимно непересекающихся подклассов.

<owl:Class rdf:ID="НесладкийДесерт">

  <rdfs:subClassOf rdf:resource="#Съестное" />

  <owl:disjointWith rdf:resource="#СладкийДесерт" />

</owl:Class>

 

<owl:Class rdf:ID="Фрукты">

  <owl:unionOf rdf:parseType="Collection">

    <owl:Class rdf:about="#СладкийДесерт" />

    <owl:Class rdf:about="#НесладкийДесерт" />

  </owl:unionOf>

</owl:Class>

Здесь определяется, что Фрукты - это именно объединение СладкийДесерт и НесладкийДесерт. И эти подклассы точно делят Фрукты на два различных подкласса, потому что они являются непересекающимися. С ростом числа взаимно непересекающихся классов число утверждений о непересекаемости растет пропорционально n2. Однако, в тех случаях использования, что были у нас, n достаточно маленькое.

 

 

 

 

 

 

 

 

 

 

 

10. ВЕРСИИ ОНТОЛОГИЙ

 

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

<owl:Ontology rdf:about="">

  ...

  <owl:priorVersion rdf:resource="http://www.w3.org/TR/2003/CR-owl-guide-20030818/wine"/>

  ...

</owl:Ontology>

Версии онтологий могут  быть несовместимыми друг с другом. Например, предыдущая версия онтологии  может содержать утверждения, которые  противоречат текущей версии. В пределах элемента owl:Ontology , я использую тэги owl:backwardCompatibleWith и owl:incompatibleWith, ч тобы указать на совместимость или ее отсутствие с предыдущими версиями данной онтологии. Если owl:backwardCompatibleWith не объявлен, то совместимость не должна предполагаться. Кроме того, owl:versionInfo обеспечивает средства, пригодные для использования системами отслеживания версий. В противоположность предыдущим трем тэгам, типом данных owl:versionInfo является литерал, и этот тэг может использоваться, чтобы аннотировать классы и свойства в дополнение к онтологиям.

Для многих целей, отслеживания версий при известной степени  детализации всей онтологии недостаточно. Авторы могут захотеть хранить информацию о версиях для классов, свойств  и индивидов - и даже этого, возможно, будет недостаточно. Имеющие свойство разрастаться, выражения классов в OWL предполагают, что одна онтология может добавить ограничения к (именованному) классу, определенному в другой онтологии, и сами эти дополнительные ограничения могут потребовать информации о версии.

OWL Full обеспечивает экспрессивную  мощь для того, чтобы сделать  утверждения любого вида о  классе, то есть, что это он  является представителем другого  класса, или что он (а не его  представители) имеет свойство  и значение для этого свойства. Эта структура может использоваться, чтобы построить онтологию классов и свойств для отслеживания информации о версиях. OWL namespace включает два предопределенных класса, которые могут использоваться для этих целей: owl:DeprecatedClass и owl:DeprecatedProperty.

Важно отметить, что owl:DeprecatedClass и owl:DeprecatedProperty не имеют никакой дополнительной семантики, и то, что они используются по предназначению - целиком на совести разработчиков и пользователей OWL.

 

ВЫВОДЫ

 

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

Этот документ описывает Язык Веб-Онтологий OWL. OWL предназначен для тех случаев, когда содержащаяся в документах информация должна быть обработана приложениями, в противоположность ситуациям, где нужно только представить содержимое документов людям. OWL может использоваться, чтобы явно представлять значения терминов и отношения между этими терминами в словарях. Такое представление терминов и их взаимоотношений называют онтологией. OWL имеет больше средств для выражения значения и семантики, чем XML, RDF, и RDF-S, и, таким образом, OWL идет дальше этих языков в способности представить поддающийся машинной обработке контент Сети. OWL - это ревизия языка веб-онтологий DAML+OIL, включающая в себя опыт, полученный при проектировании и использовании DAML+OIL.

 

 

 

 

ПЕРЕЧЕНЬ ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ

 

1. http://www.w3.org/TR/2004/REC-owl-guide-20040210/
2. http://sherdim.ru/pts/semantic_web/REC-owl-guide-2004021_ru.html
3. http://semanticfuture.net/index.php?title=%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:OWL
4. http://shcherbak.net/tag/ontologii/