Семанти́ческий Веб (англ. Semantic Web), сеть данных (Berners-Lee. 2001), в которой бо́льшая часть смысла является машиночитаемой. В то время как критики ставят под сомнение его осуществимость, сторонники утверждают, что приложения в библиотеках и информатике, промышленности, биологии и исследованиях в области гуманитарных наук уже доказали обоснованность. Термин предложен Т. Бернерсом-Ли. Стандарты семантического Веба определяются Консорциумом всемирной паутины (W3C), но многие из технологий уже существовали ранее. Они используются в различных контекстах, особенно при работе с информацией, которая охватывает ограниченную и определённую область, и когда обмен данными является общей необходимостью, такой как научные исследования или информационное взаимодействие между предприятиями. В частности, для кодирования семантики данных используется формальное представление метаданных, характеризующих ресурсы сети, на основе технологий Resource Description Framework (RDF) (RDF/XML Syntax Specification ... 2003) и Web Ontology Language (OWL) (OWL Web Ontology Language Overview. 2004).

Семантический веб-стек

Стек семантического Веба (см. рисунок) иллюстрирует его архитектуру.

Нижние уровни, в том числе URI (Uniform Resource Identifier), кодировка Unicode, XML и XML Schema, обеспечивают представление, но не налагают никаких семантических ограничений на содержание документов, описанных с их помощью. XML обеспечивает элементарный синтаксис для структуры содержимого в документах, но не связывает семантику со значением содержимого. XML Schema – это язык для предоставления и ограничения структуры и содержимого элементов, содержащихся в XML-документах.

RDF – это простой язык для выражения моделей данных о ресурсах сети и их взаимосвязях. Модель на основе RDF может быть представлена различными синтаксисами, например RDF/XML, N3, Turtle и RDFa. RDF является одним из основополагающих семантического Веба.

RDFS (RDF Schema) расширяет RDF и представляет собой словарь для описания свойств и классов ресурсов на основе RDF с семантикой для обобщенных иерархий таких свойств и классов.

OWL расширяет возможности описания свойств и классов. Среди прочего позволяет описывать отношения между классами (например, непересекаемость), кардинальность (например, «ровно один»), равенство, характеристики свойств (например, симметрию) и перечисляемые классы.

Форматы описания метаданных в семантическом Вебе предполагают проведение логического вывода на этих метаданных и разрабатывались с оглядкой на существующие математические формализмы в этой области. Формализм, лежащий в основе формата, даёт возможность делать заключения о свойствах программ, обрабатывающих данные в этом формате.

Проблемы

В 2006 г. журнал IEEE Intelligent Systems опубликовал новую статью Т. Бернерса-Ли и Н. Шедболта «Semantic Web Revisited» (Shadbolt. 2006), в которой описанный подход к организации информации в Вебе назван «простой идеей, до сих пор в большой степени нереализованной», несмотря на все преимущества, предоставляемые семантическим Вебом в случае её внедрения.

Проблема в том, что в то время как изучение основ HTML является относительно простым, изучение языка или инструмента представления знаний требует изучения методов абстракции представления и их влияния на рассуждения. Эффективное использование такого формального представления требует, чтобы автор стал квалифицированным специалистом по знаниям в дополнение к любым другим навыкам, требуемым предметной областью.

См. также Онтология в информатике.