Введение
Тип вики
Семантическая вики – это вики, которая оперирует базовой моделью знаний, описываемых на её страницах. Обычные, или синтаксические, вики имеют структурированный текст и нетипизированные гиперссылки. Семантические вики, в свою очередь, предоставляют возможность фиксировать или идентифицировать информацию о данных, содержащихся на страницах, и об отношениях между страницами, таким образом, чтобы её можно было запрашивать или экспортировать как из базы данных с помощью семантических запросов. Семантические вики были впервые предложены в начале 2000-х годов и начали активно внедряться примерно с 2005 года. По состоянию на 2021 год, известными движками семантических вики являются Semantic MediaWiki и Wikibase.
Формальная обозначение
Модель знаний, содержащаяся в семантической вики, как правило, представлена на формальном языке, что позволяет машинам обрабатывать её и преобразовывать в модель «сущность-связь» или реляционную базу данных. Формальная нотация может быть включена в сами страницы пользователями, как, например, в Semantic MediaWiki, или же она может быть извлечена из содержимого страниц, их названий или способов установления связей. Например, использование определённого альтернативного названия страницы может указывать на намерение установить связь определённого типа. Предоставление информации в формальной нотации позволяет машинам вычислять новые факты (например, связи между страницами) на основе фактов, представленных в модели знаний.
Совместимость семантической сети
Технологии, разработанные сообществом Semantic Web, предоставляют одну из основ для формального рассуждения о модели знаний, создаваемой при импорте этих данных. Однако существует также широкий спектр технологий, работающих с реляционными данными.
Пример
Представьте себе семантическую вики, посвященную еде. Страница, посвященная яблоку, содержала бы, помимо стандартной текстовой информации, некоторые машиночитаемые или, по крайней мере, легко интерпретируемые машиной семантические данные. Самый простой вид таких данных – указание на то, что яблоко является разновидностью фрукта, что известно как отношение наследования. Таким образом, вики могла бы автоматически генерировать список фруктов, просто перечисляя все страницы, помеченные как относящиеся к типу "фрукт". Другие семантические теги на странице "яблоко" могли бы содержать информацию о яблоках, включая их возможные цвета и размеры, питательную ценность и рекомендации по употреблению, и так далее. Если вики экспортирует все эти данные в формате RDF или аналогичном, то к ним можно будет обращаться как к базе данных – например, внешний пользователь или сайт могли бы запросить список всех фруктов, которые красные и подходят для выпечки пирогов.
История
В 1980-х годах, до появления Всемирной паутины, существовало несколько технологий для обработки типизированных ссылок между коллективно поддерживаемыми гипертекстовыми страницами, таких как NoteCards, KMS и gIBIS. Обширные исследования по этим инструментам были опубликованы сообществами разработчиков программного обеспечения для совместной работы, компьютерно-опосредованной коммуникации, гипертекста и компьютерной поддержки совместной работы. Первым известным использованием термина «Семантическая вики» была публикация Энди Дингли в Usenet в январе 2001 года. Его первое известное появление в научной работе было в статье австрийского исследователя Лео Сауэрмана в 2003 году. Многие из существующих приложений семантических вики были запущены в середине 2000-х годов, включая ArtificialMemory (2004), Semantic MediaWiki (2005), Freebase (2005) и OntoWiki (2006). В июне 2006 года состоялась первая встреча, посвященная семантическим вики, – семинар «SemWiki», проходивший совместно с Европейской семантической веб-конференцией в Черногории. Этот семинар проводился ежегодно до 2010 года. Сайт DBpedia, запущенный в 2007 году, хотя и не является семантической вики, публикует структурированные данные из Википедии в формате RDF, что позволяет выполнять семантические запросы к данным Википедии. В марте 2008 года Wikia, крупнейшая в мире вики-ферма, сделала использование Semantic MediaWiki доступным для всех своих вики по запросу, что позволило всем размещенным на ней вики функционировать как семантические вики. Однако после обновления до версии 1.19 MediaWiki в 2013 году они прекратили поддержку Semantic MediaWiki для новых запросов из-за проблем с производительностью. В июле 2010 года Google приобрела Metaweb, компанию, разработавшую Freebase. В апреле 2012 года началась работа над Wikidata – совместным многоязычным хранилищем данных, которые затем можно использовать в статьях Википедии, а также внешними пользователями.
Семантическое программное обеспечение вики
Существует ряд вики-приложений, предоставляющих семантическую функциональность. Есть несколько автономных семантических вики-приложений, включая OntoWiki. Другие семантические вики-программы реализованы в виде расширений или плагинов для стандартных вики-систем. Наиболее известным из них является Semantic MediaWiki – расширение для MediaWiki. Другой пример – расширение SemanticXWiki для XWiki. Некоторые стандартные вики-движки также поддерживают добавление типизированных семантических ссылок на страницы, например, PhpWiki и Tiki Wiki CMS Groupware. Freebase, хотя и не позиционируется как вики-движок, представляет собой веб-базу данных с семантическими свойствами, схожими с вики.
Общие черты
Семантические вики различаются степенью формализации. Семантика может быть включена в разметку вики или размещена отдельно от неё. Пользователи могут получать поддержку при добавлении этого контента, например, с помощью форм или автозаполнения, или более сложных механизмов генерации предложений или проверки согласованности. Язык представления может быть синтаксисом вики, стандартным языком, таким как RDF или OWL, или базой данных, непосредственно заполняемой инструментом, извлекающим семантику из исходных данных. Также может быть предусмотрена отдельная поддержка версионного контроля или редактирования исправлений для формализованного контента. Поддержка прослеживаемости формализованного контента, то есть указание автора данных отдельно от самих данных, варьируется. Различается и то, какие данные могут быть формализованы. Можно задавать типы для страниц, категорий, абзацев или предложений (последнее чаще встречалось в системах, предшествовавших вебу). Ссылки обычно также типизируются. Источник, свойство и целевой объект могут определяться значениями по умолчанию, например, в Semantic MediaWiki источником всегда является текущая страница. Степень рефлексивности также варьируется. Более рефлексивные пользовательские интерфейсы обеспечивают мощную поддержку онтологии непосредственно внутри вики, позволяя загружать, сохранять, создавать и изменять онтологию. Некоторые вики полностью наследуют свою онтологию из существующей, хорошо разработанной онтологии, такой как Cyc или SKOS, в то время как в других семантических вики вся онтология генерируется пользователями. Традиционные, несемантические вики обычно по-прежнему предоставляют пользователям способы выражать данные и метаданные, как правило, с помощью тегов, категоризации и пространств имен. В семантических вики эти функции обычно сохраняются, но интегрируются с другими семантическими декларациями, а иногда и с ограничениями на их использование. Некоторые семантические вики обеспечивают поддержку логического вывода, используя различные движки. Такой вывод может требовать, чтобы все данные экземпляров соответствовали онтологиям. Большинство семантических вики поддерживают простые запросы (например, поиск всех троек с определенным субъектом, предикатом и объектом), но степень поддержки расширенных запросов варьируется: некоторые семантические вики предоставляют запросы на стандартных языках, таких как SPARQL, а другие – на собственном языке. Поддержка пользовательского интерфейса для их построения также различается. Особенно может поддерживаться визуализация связей. Многие семантические вики могут отображать отношения между страницами или другие данные, такие как даты, географические координаты и числовые значения, в различных форматах, таких как графы, таблицы, диаграммы, календари и карты.