Знайте, Intuit, лекция, описание онтология езици

OWL (Web Онтология език, в писмата акроним умишлено разменени места, за да получите английски език думата "бухал") - представителство езика на онтологии в мрежата. В действителност, този речник, разширяване на набора от условия, определени от РУГ. OWL -ontologii може да съдържа описания на класове, свойства, както и техните случаи. Създаване на OWL - в отговор на необходимостта от осигуряване на знания в интернет в един формат. Исторически погледнато, предшественик на OWL е език DAML + масло, комбинирайте 2 Инициатива: Проект DAML (DARPA Агент Markup Language) и МАСЛО проект (Онтология извод Layer). Най-ранното проект, представляващ онтологии в интернет беше ОБУВКА (Simlpe HTML Онтология Extensions). Клон на описание онтология езици за уеб са показани на фиг. 6.4. Горно ниво: МАСЛО, DAML + МАСЛО и OWL продължи да се развива, но най-популярните е OWL.

Знайте, Intuit, лекция, описание онтология езици


Фиг. 6.4. Основната клон на езика за описание на онтологията за уеб

Език OWL има 3 диалект (подгрупи от гледна точка).

  • OWL Lite - е най-малко изразителен силата на всеки, но тя може да бъде достатъчно, за прости задачи. Това OWL говор еквивалентно на описателен логика (разтворим част от предикат логика първи ред). OWL Lite има важна функция - може да се реши (т.е., проблемът на последствията от оттеглянето на твърденията, изложени в този език е изчислима). Това може да се реши (и по-малко изчислително сложност) е основната причина за използване на OWL Lite, за да създадете множество практически онтология (в медицината, биоинформатиката и т.н.).
  • OWL DL - има по-голяма изразителна сила от OWL Lite. ekvivalenen но също така и някои (по-изразителен) описателна логика. За по-голямата част от проблемите, които срещат в дизайна на онтологии, израз на този диалект е достатъчно. OWL DL също има свойството да разрешимост. Въпреки това, изчислителната сложност на това е по-висока от OWL Lite. Decidability постига по-специално ограничения на синтаксиса на езика; По този начин, в OWL DL клас се забранява да бъдат копие.
  • OWL Full - най-отличителната диалект. Еквивалентно на RDF. При използване на OWL Full не е гаранция за заключения Изчислимост.

Всеки един от тези диалекти (с изключение на OWL Lite) е разширение на предишната. В резултат на това всяка OWL Lite онтология е OWL DL онтология на, както и всяка OWL DL онтология е OWL Full онтология.

Структурата на OWL-онтология

Всяко онтология има глава и тяло. Заглавието съдържа информация за себе си (версия бележки) онтологията, вносен онтологии. След удар с глава на тялото онтологията на съдържащ описание на класове, свойства, както и копия.

Основни елементи OWL

В OWL, въведе нов термин - класа (бухал: клас). Необходимостта от това е, защото не всички класове на OWL DL и OWL Lite диалекти са РУГ-класа (в този случай, бухал: Клас подклас РУГ: Class). В диалекта на OWL Full тези ограничения са налице, и бухал: Class е всъщност синоним на РУГ: Class.

За организиране на класове в йерархия с помощта на РУГ имот: subClassOf.

Специално място е заето от два допълващи клас - бухал: Thing и бухал: Нищо. Първият от тях е суперкласа от всеки клас на OWL. вторият - подклас на всеки клас на OWL. OWL инстанция на всеки клас е част от разширението на бухала клас: Thing. Удължаването на бухала клас: Нищо не е празното множество.

OWL е клас може да бъде описан в шест начина:

  1. идентификатор клас (URI);
  2. изредени всички инстанции на класа;
  3. ограничение за стойността на имота;
  4. пресичане на 2 или повече определения клас;
  5. комбиниране на два или повече определения клас;
  6. допълнение (логическо отрицание) дефиницията на клас.

Само първият метод се определя класа на име OWL. Всички останали се определят анонимен клас, като ограничава своята екстензионна. Метод 2 изрично изброява случаите на клас, метод за ограничаване на разширяването на 3 до само тези случаи, които отговарят на този имот. Методи 4-6 се използват за настройка теоретични операции (съюз, пресичане и допълнение) над екстензионна съответните класове, за да се определи разширяването на нов клас.

Описания на един клас са градивните елементи за определения клас от аксиоми.

Обикновено аксиома, че горе е дефиниран клас:

Всичко, което постулира аксиома, - наличието на клас, наречен Human.

В друго 3 OWL дефинирани дизайн, който комбинира, може да се определи по-сложни класове аксиоми:

  • РУГ: subClassOf предполага, че разширяването на един клас (подклас) е изцяло включен в разширяване на друга (суперкласа);
  • бухал: equivalentClass предполага, че екстензионна два класа съвпадат;
  • бухал: disjointWith казва, че две екстензионна класове не се пресичат. Понякога се казва, че по този начин се определя дизюнктивен класове.

За определяне на нови свойства на двете копия бухал: ObjectProperty или бухал: DatatypeProperty използва аксиоми свойства.

Всичко, което постулира тази аксиома - наличието на определени свойства hasParent. Асоциирани например клас сова на: Thing един с друг.

Освен това, OWL поддържа следната структура за изграждане на имоти аксиоми:

  • Дизайн РУГ: РУГ: subPropertyOf (под-имот се посочва, че имот), РУГ: домейн (домейна определя свойствата) и РУГ: обхват (определя границите на имота)
  • Връзката между свойства: сова: equivalentProperty (определя еквивалент собственост) и сова: inverseOf (определя обратен собственост).
  • Ограничения глобален кардиналност: сова: FunctionalProperty (определя еднозначно имот - един картографиране домейни свойства в диапазон) и сова: (. И обратното функционално свойство, което определя, че имот обратен на този комплекс, е недвусмислен) InverseFunctionalProperty.
  • Логически характеристики на хотела: сова: SymmetricProperty (определя като симетричен собственост) и сова: TransitiveProperty (определя преходен имот).