OWL (Ontology Web Language) - це мова, що базується на напрямку Semantic Web, службовець для подання web-онтологій предметних областей. схвалений консорціумом W 3 C. Під онтологією розуміється деякий набір термінів предметної області та зв'язків між цими термінами.
OWL надає три підмножини, що мають різну ступінь деталізації:
- OWL Lite призначений для користувачів або додатків, які потребують лише класифікаційна ієрархія сутностей і деякі прості умови узгодженості сутностей.
- OWL DL (Description Logic) розраховане на користувачів, яким необхідна максимальна ступінь виражальних можливостей мови без втрати обчислювальної повноти, без втрати жодного з семантичних втілень - змістовних тлумачень висновків, отриманих формально-логічним шляхом і можливості розв'язання, що означає що обчислення, будуть закінчені за кінцеве час. Рівень OWL DL орієнтований на існуючі сьогодні системи опису знань і системи логічного програмування.
- OWL Full розраховане на користувачів, яким необхідні максимальні виразні можливості мови і свобода вибору кінцевого формату Resource Description Framework (RDF), але без будь-яких гарантій обчислювальної повноти і можливості розв'язання. OWL Full дозволяє розширити зміст терміну, взятого з будь-якого заданого словника, і додати його в онтологію.
В якості свого синтаксису OWL використовує мову XML. Основними елементами мови є властивості, класи і обмеження. Ці елементи дозволяють реалізувати уявлення про світ, як про безліч сутностей (об'єктів), що характеризуються деяким набором властивостей. Ці сутності складаються між собою в певних відносинах і об'єднуються за певними ознаками (властивостями і обмеженням) в групи (класи).
У мові OWL властивості поділяються на два види: властивості-характеристики (DatatypeProperty) і властивості-зв'язку (ObjectProperty). Перші характеризують об'єкти (класи) і приймають як своїх значень дані певних типів. Другі асоціює об'єкти (класи) один з одним і відповідно приймають в якості своїх значень об'єкти (класи).
Крім того, на властивості можуть накладатися обмеження. Обмеження поділяються на два види: глобальні та локальні. До глобальних обмежень належать домени (domain) (класи, об'єкти яких можуть володіти цими властивостями) і діапазони (range) (класи, об'єкти яких можуть виступати в якості значень цих властивостей). Локальні обмеження накладаються на властивості в рамках певного класу і можуть ще більше звужувати діапазони для властивостей в рамках цього класу, визначати потужність властивостей і їх види.
Також мова OWL має механізми опису версій онтології і механізми агрегування даних, що містяться в онтологіях.