OWL: онтологія, у якій висновок обчислюється
10 лютого 2004 року W3C затвердив мову онтологій OWL і разом із нею перероблену специфікацію RDF. OWL додав до графа класи, обмеження на властивості й три рівні виразності — Lite, DL і Full.
Чому це важливо
Граф трійок сам по собі нічого не виводить: він зберігає твердження, але не знає, що з них випливає. OWL дав спосіб написати правила так, щоб для частини мови можна було довести, що машина дійде висновку за скінченний час. Вибір між виразністю й розв'язністю тут уперше зроблено явно й записано в стандарт.
Редактори огляду OWL — Дебора Макґіннесс із Knowledge Systems Laboratory Стенфордського університету і Франк ван Гармелен із Vrije Universiteit в Амстердамі. Три підмови документ розрізняє за тим, що кожна обіцяє. OWL Lite — для тих, кому досить ієрархії класифікації й простих обмежень. OWL DL — для тих, хто хоче максимальної виразності, зберігаючи, дослівно, «computational completeness (all conclusions are guaranteed to be computable) and decidability (all computations will finish in finite time)». OWL Full — максимальна виразність і свобода запису RDF, але, знову дослівно, «with no computational guarantees». Того самого дня вийшла нова редакція RDF. Її текст сам каже, чим вона є: «one document in a set of six (Primer, Concepts, Syntax, Semantics, Vocabulary, and Test Cases) intended to jointly replace the original Resource Description Framework specifications, RDF Model and Syntax (1999 Recommendation) and RDF Schema (2000 Candidate Recommendation)». Там-таки вперше записано, що означає граф: «the meaning of an RDF graph is the conjunction (logical AND) of the statements corresponding to all the triples it contains». Чого запис не стверджує. Гарантія завершеності належить не мові OWL, а підмові OWL DL — сам документ відмовляє в ній підмові Full. І запис не приписує стандартові опису через дескриптивні логіки SHIF(D) та SHOIN(D): ці відповідності встановлено в окремих академічних роботах, а в тексті Рекомендації обидва рядки трапляються нуль разів.