Как составлять поисковые запросы

Содержание

h2. Сухая теория: введение в RDF

Вся информация, опубликованная на сайте, организована в соответствии с "моделью":http://www.w3.org/TR/rdf-mt/ "RDF":http://ru.wikipedia.org/wiki/Resource_Description_Framework. Это значит, что весь сайт построен из ресурсов и утверждений о них.

_Сообщение_ - это ресурс, опубликовавший его пользователь - тоже ресурс.

_Утверждение_ определяет некое свойство ресурса и всегда содержит три части: субъект (ресурс, чьё свойство мы определяем), предикат (название свойства) и объект (значение свойства). Объект в утверждении может быть как числом или строкой (по-научному - литералом, то есть "буквальным значением"), так и другим ресурсом.

Например, когда Вася Пупкин публикует на сайте сообщение "Паццталом!", субъектом утверждения будет сообщение, предикатом - свойство "автор", а объектом - сам Вася. Можно условно записать так: (<"Паццталом!"> <автор> <Вася Пупкин>).

То, что запись сильно условная, видно невооружённым взглядом, и не только по угловым скобкам - Васей Пупкиных в мире множество, желающих подписаться этим славным именем - ещё больше, да и как отличить "Паццталом!" Васи Пупкина от такого же возгласа нашего Петровича в соседней дискуссии?

В RDF для этого используются "URI":http://ru.wikipedia.org/wiki/URI, причём чаще всего URI оказывается URL-ом, то есть адресом, по которому данный ресурс доступен в Web. В Samizdat схема назначения ресурсам URI предельно проста - в пределах одного сайта каждому ресурсу назначается серийный номер, а URI составляется из адреса сайта и этого номера. Например, пользователь, опубликовавший данное сообщение, представлен ресурсом с URI "https://belarus.indymedia.org/1":1.

В результате выходит, что каждый идентифицированный таким образом ресурс - уникальная сущность, не размытое пятно, а конкретная точка в пространстве знаний. Соответственно, описание, сделанное средствами RDF, представляет собой именованный ориентированный "граф":http://ru.wikipedia.org/wiki/%D0%93%D1%80%D0%B0%D1%84_%28%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0%29, узлы которого - ресурсы, а дуги - утверждения. Причём постольку, поскольку идентификаторы ресурсов уникальны в масштабах всего Интернета, а свойства, используемые в качестве предикатов, "чётко определены":http://ru.wikipedia.org/wiki/%D0%9E%D0%BD%D1%82%D0%BE%D0%BB%D0%BE%D0%B3%D0%B8%D1%8F_%28%D0%B8%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0%29, все RDF-сайты в сети можно объединить в один большой граф и анализировать как единую базу знаний.

Подробнее об RDF можно узнать в "первоисточниках":http://w3.org/RDF, нам же осталось разобраться только с одним ещё понятием, скрывающимся под мудрёным словом "реификация" ("Reification":http://en.wikipedia.org/wiki/Reification). _Реификация_ - представление утверждения в виде самостоятельного ресурса, о котором в свою очередь можно делать новые утверждения.

Вот подумайте: чего стоит утверждение, которое нельзя подвергнуть сомнению? Именно эту возможность нам и даёт реификация - вместо того, чтобы рассматривать любое утверждение как непокобелимый факт, мы можем рассмотреть, кем и когда это утверждение сделано, кто с ним согласен, а кто - нет, можем такому же анализу подвергнуть любое утверждение об утверждении и так далее.

В Samizdat эта возможность используется для того, чтобы описывать связи между ресурсами и фокусами. Каждый раз, когда вы привязываете сообщение к фокусу, утверждение этой связи реифицируется, и о нём делаются новые утверждения: пользователь такой-то оценивает верность этой связи в такое-то значение, средневзвешенный рейтинг связи вышел таким-то. При желании можно раскопать всю эту цепочку и выяснить, кто какое сообщение повесил под какой фокус: поскольку утверждения связи - тоже ресурсы, их тоже можно просматривать по их серийным номерам и находить с помощью поиска по RDF.

h2. Сырая практика: язык запросов Squish

На "странице поиска":query.rb можно редактировать запросы на языке "Squish":http://ilrt.org/discovery/2001/02/squish/.

Главная часть запроса - шаблон, которому должны удовлетворять найденные ресурсы. Шаблон запроса составляется из шаблонов утверждений - троек "предикат - субъект - объект". Предикат выбирается из перечисленных ниже поддерживаемых в Samizdat свойств.

Субъект может быть заранее известным ресурсом (можно указывать как полный URI, так и номер ресурса на сайте) или переменной (свободным узлом - blank node), которая задаётся в формате "?имя" и обозначает любой ресурс, подходящий под это утверждение. Переменная с тем же именем может встречаться и в других утверждениях шаблона, в пределах одного найденного результата она везде будет обозначать один и тот же ресурс. При помощи переменных утверждения можно связывать между собой в цепочки вроде "найдите мне автора такого сообщения, у которого есть комментарий, который написан по-английски и привязан к фокусу "Перевод".

Объект утверждения может быть либо ресурсом (в том числе и переменной), либо литералом, в записимости от предиката. Одни свойства подразумевают, что объект - ресурс определённого типа (например, объект свойства "автор" - всегда ресурс типа "участник"), у других объектом может быть только литерал (например, заголовок - это всегда строка).

В дополнение к шаблону запроса, определяющему вид подграфа RDF, в который должен вписываться каждый найденный результат, в поле "буквального условия" можно вписать дополнительные условия, которым должны удовлетворять найденные литералы.

h3. Свойства ресурсов в Samizdat

Формальное опреление свойств можно просмотреть в "RDF-схеме":http://cvs.savannah.gnu.org/viewcvs/samizdat/samizdat/data/samizdat/rdf/schema.n3?rev=1.99 Samizdat в формате "Notation 3":http://ru.wikipedia.org/wiki/%D0%9D%D0%BE%D1%82%D0%B0%D1%86%D0%B8%D1%8F_3.

h4. Общие свойства

* s::id - идентификатор (серийный номер) ресурса
* dc::date - дата публикации

h4. Свойства участников

* s::login - имя учётной записи
* s::fullName - видимое имя

h4. Свойства сообщений

* dc::title - заголовок
* s::inReplyTo - родительское сообщение (объект - сообщение)
* dc::creator - автор сообщения (объект - участник)
* dc::format - формат
* dc::language - язык сообщения
* dc::description - краткое описание сообщения (объект - сообщение)
* s::hidden - скрыто ли сообщение
* s::content - текст сообщения, если сообщение - не файл
* dct::isVersionOf - текущая версия сообщения (субъект - одна из старых версия, объект - текущая версия)
* s::openForAll - открыто ли сообщение для редактирования другими пользователями

h4. Реифицированные утверждения

* rdf::predicate - предикат (объект - ресурс, хранящий URI предиката)
* rdf::subject - субъект утверждения (любой ресурс)
* rdf::object - объект утверждения (если объект - литерал, он также хранится в отдельном ресурсе)

h4. Фокусы

* dc::relation - связанный с ресурсом фокус (субъект - любой ресурс, объект - фокус)
* s::rating - средневзвешенный рейтинг утверждения о связи между ресурсом и фокусом (субъект - реифицированное утверждение, объект - число)
* s::voteProposition - реифицированное утверждение, вес которого оценивает участник (субъект - ресурс "голос", объект - реифицированное утверждение)
* s::voteMember - участник, оценивающий утверждение (субъект - голос, объект - участник)
* s::voteRating - оценка утверждения одним участником (субъект - голос, объект - литерал)

Powered by Free Software, including Ruby programming language, PostgreSQL database. Samizdat engine is free software; you can distribute/modify it under the terms of the GNU General Public License version 3 or later.