Web Ontology Language

OWL (англ. Web Ontology Language) — мова опису онтологій для семантичної павутини. Мова OWL дозволяє описувати класи і відносини між ними, властиві для веб-документів і застосунків. OWL заснований на більш ранніх мовах OIL і DAML OIL і в наш час[коли?] є рекомендованим консорціумом Всесвітньої павутини.
В основі мови — уявлення дійсності в моделі даних «об'єкт — властивість». OWL придатний для опису не тільки веб-сторінок, але і будь-яких об'єктів дійсності. Кожному елементу опису в цій мові (в тому числі властивостями, що зв'язує об'єкти) ставиться у відповідність URI.
Різновиди мови
OWL має три діалекти (у порядку зростання виразності):
- OWL Lite призначений для користувачів, які потребують передусім класифікаційної ієрархії і простих обмежень. Наприклад, при тому, що вона підтримує обмеження кардинальності (кількості елементів), допускаються значення кардинальності тільки 0 або 1. Для розробників повинно бути простіше в своїх продуктах забезпечити підтримку OWL Lite, чим виразніших варіантів OWL. Зокрема, OWL Lite дозволяє швидко перенести існуючі тезауруси і інші таксономії. OWL Lite також має більш низьку формальну складність, ніж OWL DL.
- OWL DL призначений для користувачів, яким потрібна максимальна виразність при збереженні повноти обчислень (всі логічні висновки, що припускаються тією чи іншою онтологією, будуть гарантовано обчислюваними) і розв'язуваності (всі обчислення завершаться за певний час). OWL DL включає всі мовні конструкції OWL, але вони можуть використовуватися лише згідно з певним обмеженням (наприклад, клас може бути підкласом багатьох класів, але не може сам бути представником іншого класу). OWL DL так названий з-за його відповідності дескрипційній логіці — дисципліні, в якій розроблені логіки, що складають формальну основу OWL.
- OWL Full призначений для користувачів, яким потрібна максимальна виразність і синтаксична свобода RDF без гарантій обчислення. Наприклад, у OWL Full клас може розглядатися одночасно як збори індивідів і як один індивід у своєму власному значенні. OWL Full дозволяє будувати такі онтології, які розширюють склад зумовленого (RDF або OWL) словника. Малоймовірно, що будь-яке програмне забезпечення буде в змозі здійснювати повну підтримку кожної особливості OWL Full.
Версії
1.0
Нині діюча рекомендація з 10 лютого 2004 року.
1.1
Нова специфікація, що має статус робочої чернетки. Адреса робочої групи — [1].
- OWL, мову веб-онтологій. Короткий огляд, Редактори Deborah L. McGuinness і Frank van Harmelen. Рекомендація W3C, 10 лютого 2004 — OWL Короткий огляд; Остання версія
- OWL Web Ontology Language Reference, Mike Dean and Guus Schreiber, Editors. Рекомендація W3C, 10 лютого 2004 — OWL Довідка; Остання версія
- OWL Web Ontology Language Use Cases and Requirements, Jeff Heflin, Editor. Рекомендація W3C, 10 лютого 2004 — OWL Вимоги; остання версія.
- OWL Web Ontology Language Test Cases, Jeremy J. Carroll and Jos De Roo, Editors. Рекомендація W3C, 10 лютого 2004 — OWL Тестові зразки; Остання версія.
- OWL
2.0
Із 27 жовтня 2009 року OWL2 стала рекомендацією W3C. Представляє собою набір з 11 документів:
- Structural Specification and Functional-Style Syntax
- Direct Semantics
- RDF-Based Semantics
- Conformance and Test Cases
- Mapping to RDF Graphs
- XML Serialization
- Profiles
- Quick Reference Guide
- New Features and Rationale
- Manchester Syntax
- rdf:text: A Datatype for Internationalized Text