Ex in конструктор: Ex-In — Конструктор сайтов для генерации клиентов и продаж из интернета

Как и положено «конструктору», каждый покупатель может подобрать необходимый набор опций, удовлетворяющий личным требованиям и бюджету. «Представьте, что вы приходите в автосалон и к понравившейся вам модели добираете нужные именно вам опции. Тоже самое вы можете сделать и с нашей багги», – пишет Сергей на своей странице в Фейсбуке. Чтобы наглядно показать отличия базовой версии от «богатой», на видео каркас мотовездехода как бы поделили пополам, оборудовав одну половину различными опциями.

Вариант базовой комплектации включает:

• полностью омологированная по правилам FIA рама
• все необходимые документы, подтверждающие данную омологацию
• алюминиевый пол
• защита кардана
• омологированный топливный бак
• рамка для сидений
• алюминиевая крыша
• защита двигателя
• крепление для запасного колеса
• крепление крыльев
• противопожарная перегородка

Дополнительно можно установить более 80 позиций, включая:

• вынос радиатора назад (радиатор в три раза больше стандартной комплектации)
• перенос интеркулера
• воздушный кожух
• алюминиевые двери
• алюминиевые закрылки
• печку
• кондиционер
• лобовое стекло
• сиденья и ремни безопасности
• рычаги подвески
• передний алюминиевый подрамник

Желающий приобрести это «конструктор» получит файл-конфигуратор, где можно выбрать необходимые опции и посмотреть как это выглядит. Отдельно Сергей подчеркивает, что все детали взаимозаменяемы: «Также отмечу, что эта концепция уникальна – она позволяет устанавливать взаимозаменяемые детали от производителей при желании заказчика».

Напомним, 2 недели назад Сергей Карякин выставил на продажу свой личный автомобиль, собранный в Германии по спецзаказу, чтобы наскрести денег на взнос за участие в очередном «Дакаре».

Комментарии для сайта Cackle

Игрушки оптом | Дропшиппинг | ПРЯМЫЕ ДИСТРИБЬЮЦИИ

Игрушки оптом

У нас можно купить игрушки оптом. Украинский дистрибьютор, оптовая компания поставщик игрушек, прямой импорт и собственные торговые марки. Гарантия качества, сертифицированные детские игрушки с документами, гарантийное обслуживание, собственные сервисные центры в Украине. Мы эксперты в продаже игрушек гаджетов, радиоуправляемых, электронных и детских развивающих игрушек оптом, радиоуправляемых моделей от среднего до премиум класса. Оптовая продажа игрушек сопровождается консультацией и поддержкой на всех этапах. Ассортимент около 1000 игрушек, более 50 торговых марок, 15 категорий. Наш ассортимент включает в себя такие товарные группы, как радиоуправляемые игрушки, детская безопасная электроника, товары для детского творчества, развивающие игрушки для малышей, куклы, детские музыкальные инструменты, конструкторы. Игрушки производства США, Германия, Испания, Италия, Тайвань, Китай. Наши торговые марки сопровождаются маркетинговой поддержкой. Мы предлагаем купить игрушки оптом со склада Днепр и Киев, или доставку по Украине Новой почтой.

Получить предложение

Игрушки дропшиппинг

Игрушки и детская электроника дропшиппинг: выгрузки XML, YML, контент для Prom, Rozetka и других популярных маркетплейсов. Оперативная прямая отгрузка в день заказа на конечного покупателя с нашего оптового склада игрушек. Надежный оптовый поставщик игрушек для интернет магазинов: актуальные остатки в разрезе оптовых складов онлайн в реалтайм, синхронизация цен и остатков между интернет магазином и нашим оптовым сайтом игрушек для B2B. Качественные игрушки: качество детских товаров подтверждено декларациями соответствия. Гарантия, обмен и возврат. Заказ от 1 единицы. Контроль рекомендованных розничных цен. Тексты, описания, ключевые слова, фото, видео, характеристики, комплектация, что дополнительно необходимо докупить, преимущества детских товаров для конечных покупателей.

Зарегистрироваться в B2B

RegExp — JavaScript | MDN

Буквальная нотация и конструктор

Существует два способа создания объекта RegExp : буквальная нотация и конструктор .

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

Следующие три выражения создают один и тот же объект регулярного выражения:

  пусть re = / ab + c / i;
пусть re = new RegExp ('ab + c', 'i')
пусть re = new RegExp (/ ab + c /, 'i')
  

Буквальная запись приводит к компиляции регулярного выражения при вычислении выражения.Используйте буквальную нотацию, если регулярное выражение останется постоянным. Например, если вы используете буквальную нотацию для построения регулярного выражения, используемого в цикле, это регулярное выражение не будет перекомпилироваться на каждой итерации.

Конструктор объекта регулярного выражения — например, new RegExp ('ab + c') — приводит к компиляции регулярного выражения во время выполнения. Используйте функцию-конструктор, если вы знаете, что шаблон регулярного выражения будет изменяться, или если вы не знаете шаблон и получаете его из другого источника, например из пользовательского ввода.

Флаги в конструкторе

Начиная с ECMAScript 6, new RegExp (/ ab + c /, 'i') больше не генерирует TypeError ( "не может предоставить флаги при построении одного RegExp из другого" ), когда первым аргументом является RegExp , а вторым flags аргумент присутствует. Вместо этого создается новое RegExp из аргументов.

При использовании функции конструктора необходимы обычные правила перехода строки (предшествующие специальные символы с \ при включении в строку).

Например, следующие эквиваленты:

  пусть re = / \ w + /
пусть re = new RegExp ('\\ w +')
  

Perl-подобные свойства RegExp

Обратите внимание, что некоторые из RegExp свойств имеют как длинные, так и короткие (похожие на Perl) имена. Оба имени всегда относятся к одному и тому же значению. (Perl — это язык программирования, на основе которого JavaScript смоделировал свои регулярные выражения.). См. Также устаревшие свойства RegExp .

Использование регулярного выражения для изменения формата данных

Следующий скрипт использует метод replace () экземпляра String для сопоставления имени в формате первый последний и вывода его в формате последний, первый .

В тексте замены сценарий использует $ 1 и $ 2 , чтобы указать результаты соответствующих совпадающих круглых скобок в шаблоне регулярного выражения.

  пусть re = / (\ w +) \ s (\ w +) /
let str = 'Джон Смит'
пусть newstr = str.replace (re, '$ 2, $ 1')
console.log (новая строка)
  

Здесь отображается «Смит, Джон» .

Использование регулярного выражения для разделения строк с разными окончаниями строк / окончаниями строк / переносами строк

Окончание строки по умолчанию зависит от платформы (Unix, Windows и т. Д.)]*день/);

Использование регулярного выражения с флагом залипания

Флаг залипания указывает, что регулярное выражение выполняет закрепленное сопоставление в целевой строке, пытаясь сопоставить, начиная с RegExp.prototype.lastIndex .

  let str = '# foo #'
пусть регулярное выражение = / foo / y

regex.lastIndex = 1
regex.test (str)
regex.lastIndex = 5
regex.test (str)
regex.lastIndex  

Разница между липким флагом и глобальным флагом

С липким флагом y следующее совпадение должно произойти в позиции lastIndex , а с глобальным флагом g совпадение может произойти в позиции lastIndex или позже:

  рэ = / \ д / у;
в то время как (r = re.exec ("123 456")) console.log (r, "И re.lastIndex", re.lastIndex);




  

С глобальным флагом g будут сопоставлены все 6 цифр, а не только 3.

Регулярное выражение и символы Unicode

\ w и \ W соответствуют только символам на основе ASCII; например, от до до z , от до Z , 0 от до 9 и _ .

Чтобы сопоставить символы из других языков, таких как кириллица или иврит, используйте \ u hhhh , где hhhh — это значение Unicode символа в шестнадцатеричном формате.

Этот пример демонстрирует, как можно отделить символы Юникода от слова.

  let text = 'Образец текста на русском языке'
пусть regex = / [\ u0400- \ u04FF] + / g

let match = regex.exec (текст)
console.log (совпадение [0])
console.log (regex.lastIndex)

пусть match3 = regex.exec (текст)
console.log (match3 [0])
console.log (regex.lastIndex)


  

Функция экранирования свойств Unicode предлагает решение, позволяя использовать такой простой оператор, как \ p {scx = Cyrl} ..] + /. exec (url) [0] .substr (7))

Вместо использования регулярных выражений для синтаксического анализа URL-адресов обычно лучше использовать встроенный в браузеры анализатор URL-адресов с помощью API URL-адресов.

BCD-таблицы загружаются только в браузер

Примечания для Firefox

Начиная с Firefox 34, в случае группы захвата с квантификаторами, препятствующими ее выполнению, согласованный текст для группы захвата теперь равен undefined вместо пустого строка:

 
'Икс'.replace (/ x (.)? / g, function (m, group) {
  console.log ("'группа:" + группа + "'");
});



'x'.replace (/ x (.)? / g, function (m, group) {
  console.log ("'группа:" + группа + "'");
});

  

Обратите внимание, что из-за веб-совместимости RegExp. $ N по-прежнему будет возвращать пустую строку вместо undefined (ошибка 1053944).

El ex-constructor está viviendo el ‘sueño americano’ con su restaurant Vikingos

Era un sueño de la infancia.

«Cuando yo era un niño, me gustaba mucho el marisco y quería abrir mi propio lugar de mariscos», дихо Карлос Ландерос, refiriéndose al deseo a largo plazo que tenía con apenas 8 nos cuando vivía en León, Guanajuxico en León.

Treinta y siete años más tarde y después de una carrera en la construcción, Ландерос, ахора-де-45 лет, está viviendo el sueño americano con su restaurant Vikingos en Bonita Springs, el que abrió hace cinco años. Después del éxito del Restaurante, Landeros —dueño y chef— ha ampiado recientemente el Restaurante de Bonita, abrió un segundo local en Immokalee y tiene interés en la apertura de un tercero.

Antes de que Landeros abriera Vikingos en Bonita Springs en julio de 2009, el ex trabajador de la construcción ya había estado vendiendo algunos de sus platos los fines de semana desde su casa a los compañeros de trabajo y amigos durante unos unos. Todos ellos le decían lo mismo: «Tienes que abrir tu propio Restaurante».

Le tomó 15 años ahorrar dinero, dijo Landeros, pero una vez que lo hizo, abrió su Restaurante de mariscos al estilo mexicano porque no veía ninguna otra oferta похожие пор лос алредедорес.

«En México, ‘mariscos’ (un plato de mariscos) se vende mucho, así que me dije a mí mismo que el marisco tiene que vender muy bien aquí», дихо.

Así Landeros, quien se mudó a los EE.UU. de México en 1988, se retiró de la industry de la construcción y se dedicó exclusivamente a ser un chef y a correr su restaurant.

Después haber estado abierto por alrededor de cinco años en su ubicación actual, Landeros registró un aumento en los clientes y decidió ampiarse.En Agosto, Vikingos Creció de 650 metros cuadrados и 1,300 пирогов cuadrados. Ресторан по адресу: 52 asientos, Está ubicado en Old 41 Road, en el centro de Bonita, en Nelson’s Plaza, al norte de la calle Terry, y cuenta con seis empleados — включая el sobrino y el cuñado de Landeros.

En una reciente visita, различные клиенты устанавливают disfrutando de su almuerzo mientras veían un partido de fútbol en uno de los cuatro televisores. Уильямс Чавес эра uno de ellos y dijo que la cocina tradicional mexicana es tan deliciosa que ha estado visitando a Vikingos desde que abrió.Чавес эс шеф-повар в ресторане Campiello.

«Me encanta», Дихо Чавес, де 40 ньос, Северный Неаполь. «Yo visito este lugar porque el marisco tiene un gran sabor y una buena combinación de especies».

Aunque no es extenso, el menú de Vikingos ofrece mucho para aquellas personas que buscan auténticos platillos de mariscos mexicanos. В меню включены cóctel de camarones o mariscos mixtos, ceviche y ostiones crudos en su concha, con aperitivo y platos con Precios que van desde $ 4.50 по 15 долларов.

El ceviche clásico mexicano — pescado fresco crudo curado en jugos de cítricos y especias — se sirve con tostadas o galletas. Эль севиче (13,50 долларов США) — это хечо, состоящее из кортадос в кубитосе, чеболла пикада, кинзы и чили халапеньо, сервидо кон мучо агуакате в верхней части. Los cócteles de mariscos frescos también vienen con varias rodajas de aguacate.

Pero si quiere hacer un plato un poco más picante, los comensales estuvieron de acuerdo, sin dudas, en salpicarlos con la propia salsa picante Landeros.

Cuando pregunté sobre qué componentsientes están en la salsa, Landeros sonrió y dijo que se trata de su «salsa especial», не обращая внимания на последнее сравнение.

Si los clientes tienen un poco de espacio a la izquierda después de la comida, Vikingos cuenta con Royal Scoop Homemade Ice Cream (helados hechos en casa) для удовлетворительных лос-антохос-де-дульс.

La expansión de agosto probablemente no será lo último para Vikingos.

En febrero, Landeros abrió su segundo restaurant Vikingos en Immokalee.Landeros dijo que también está interesado en abrir un tercer restaurant en el norte de Naples o en Golden Gate.

Хавьер Варгас, 35 лет, y su esposa, Арасели Гутьеррес, 36 лет, Бонита-Спрингс, dijeron que disfrutan de la comida en Vikingos tanto que cenan en el restaurant por lo menos una vez a la semana.

Vargas y Gutiérrez también son nativos de León como Landeros, y Vargas dijo que Landeros da su comida el «toque de México».

«Para mí, Vikingos es el único lugar donde puedo encontrar el sabor de León», дихо Варгас.

Pero no sólo los nativos mexicanos disfrutan de Vikingos. Vargas dijo que él ha traído amigos y compañeros de trabajo para probar la cocina del Restaurante.

Además de disfrutar de la buena comida, Gutiérrez dijo que disfrutan los platos a Precios razonables, un servicio amable y que está cerca de casa.

Los hijos de la pareja también disfrutan de comer en el restaurant семейный.

«Nos encanta», диджо элла. «Es uno de nuestros lugares Favoritos para venir a comer».

————-

Restaurante Vikingos No. 1 — 26880 Old 41 Road, Bonita Springs.

Abierto 10.00 — 20.00 de lunes a jueves y 10:00 — 21:00 de viernes a domingo. Teléfono: 239-992-1265

Restaurante Vikingos No. 2 — 901 Charlotte Street, Immokalee.

Abierto 10:00 — 21:00 de lunes a domingo y cerrado el martes. Teléfono: 239-867-4368

Практическое управление строительными рисками в сфере строительства — OEPASS

Информация о присуждении контракта

Полное наименование учреждения, выдавшего учетные данные :

Будапештский технологический и экономический университет — Институт непрерывного инженерного образования

Аккредитация учреждения :

Университет является государственным университетом, аккредитованным Венгерским комитетом по аккредитации ID: FI 23344
Институт непрерывного инженерного образования также сертифицирован по ISO 9001: 2015. номер аудита: EX 1449.18 (по www.ecomcert.org)

Веб-сайт / URL : http://www.mab.hu/web/index.php?option=com_content&view=article&id=214&Itemid=624&lang=hu

Информация об учетных данных

Официальное название аттестата : Практическое управление строительными рисками в строительной отрасли

Описание учетных данных :

Это 20-часовой дополнительный очный курс обучения по управлению рисками для инженеров в строительной отрасли.Заключительный экзамен — цифровой, 60% должны пройти сертификацию.

Тема : Менеджмент — Строительная промышленность

Тип учетных данных : Другое

Описание результатов обучения :

По окончании курса слушатель может:
— перечислять особенности рисков строительной отрасли;
— создать реестр рисков
— изучить точку зрения инвестора на риски;
— изучить точку зрения застройщика на риски;
— перечислить различные варианты страхования
— объяснить юридические аспекты риска в договоре

Способы получения учетных данных :

Подтверждение формального обучения

Схема оценок : сдать или не сдать экзамен. Порог более 60%

Режим (ы) обучения : онлайн, лицом к лицу, заочно

Продолжительность обучения : 20 часов

Метод (ы) оценки : Онлайн-оценка с проверкой личности

Предотвращение мошенничества с помощью :

Формат (ы) оценки : Автоматическая оценка

Что оценивается : Тест (отзыв)

Аккредитация удостоверений :

Национальная аккредитация университета
* Аккредитация института по ISO: EX 1449.18
Регистрация университета в качестве органа по обучению взрослых: E-000530/2014
Открытый значок

Домашняя страница учетных данных : http://moodle.mti.bme.hu/mod/simplecertificate/view.php?id=197&action=get

Дата публикации учетных данных : 14-03-2019

Сведения об обладателе (тестовом) удостоверении

• Имя : Dénes Zarka
• Дата рождения : 02-05-1965
• Студенческий билет : нет

Удостоверение выдано держателю : 29-03-2019

Присуждено кредитов : 20

Дополнительные доказательства держателя удостоверений :

http: // moodle. mti.bme.hu/badges/badge.php?hash=1c83651311677e0b8ee50f38fe81adef049d3467

  Вернуться к списку общих учебных паспортов  

Словарь моделирования SPIN

Словарь моделирования SPIN

---

Аннотация

Словарь моделирования SPIN — это легкий набор Свойства и классы RDF для поддержки использования SPARQL для указать правила и логические ограничения. На основе RDF представление запросов SPARQL, SPIN определяет три класса описание свойства: spin: ограничение может использоваться для определения условий что все члены класса должны выполнять. spin: правило может использоваться для определения правил вывода с использованием SPARQL CONSTRUCT и DELETE / INSERT. spin: конструктор может использоваться для инициализации нового экземпляры со значениями по умолчанию. В дополнение к этим свойствам описания класса SPIN предоставляет мощные возможности мета-моделирования, которые можно использовать для построения собственный язык моделирования и расширения SPARQL. Эти функции мета-моделирования предоставляют возможность инкапсулировать многоразовые запросы SPARQL в шаблонов , и для получения новые функции SPARQL, а также магические свойства из других SPARQL запросы и функции.

Статус этого документа

SPIN изначально развивался как спецификация, разработанная TopQuadrant. По состоянию на февраль 2011 года SPIN был опубликован W3C в качестве заявки участников. TopQuadrant может продолжать улучшать SPIN в будущем и вносить изменения это будет опубликовано здесь. По состоянию на июль 2014 года эта версия практически идентична официальной версии W3C, за исключением того, что мы сняли требование использования синтаксиса SPIN RDF для определение запросов и команд обновления, если (и только если) sp: text троек присутствуют.Соответственно, мы изменили исходный код RDF некоторых примеры, чтобы их было легче читать. Еще одним изменением в июне 2013 года (с TopBraid 4.3) было добавление концепция (необязательных) метаданных столбца, прикрепленных к шаблонам SPIN. Версия от июля 2014 г. (с TopBraid 4.5) представила концепцию шаблоны union и встроенные функции SPARQL spin: ask, spin: construct и вращаемся: выбираем. Версия от августа 2014 г. добавила уровни нарушения ограничений. Версия от ноября 2014 года представила синтаксический сахар для ограничений ASK.

---

1 Введение

SPARQL теперь прочно утвердился в качестве стандартного языка запросов для RDF-модели и данные семантической сети. Многие RDF API и базы данных поставляются с поддержкой SPARQL прямо из коробки. В то же время SPARQL может быть рассматривается как больше, чем просто язык запросов с SELECT ключевое слово: SPARQL также предоставляет средства для проверки наличия определенных условий в настоящее время держится в модели RDF ( ASK ), чтобы получить новые троек из существующих троек ( CONSTRUCT ), и выполнить операции DELETE или INSERT . Хотя эти мощные элементы все чаще используются разработчиками для решать задачи приложений и моделирования, SPIN определяет систематический структура о том, как использовать запросы SPARQL для управления приложениями. SPIN продвигает SPARQL на шаг вперед и использует его для улучшения существующего RDF. модели с формальными, исполняемыми описаниями.

На основе синтаксиса SPIN SPARQL метод SPIN Словарь моделирования (описанный в этом документе) определяет легкое набор весов классов и свойств RDFS, которые можно использовать для систематически встраивать запросы SPARQL в модели RDF, чтобы они может выполняться с четко определенной семантикой.Основная идея использовать определенные свойства RDF для связывания классов с запросами SPARQL чтобы эти запросы SPARQL могли выполняться с заданным контекстом.

В следующих главах описывается, как этот подход можно использовать для описывать классы (и их экземпляры, Глава 2), и как построить больше сложные конструкции моделирования из повторно используемых запросов SPARQL (Глава 3). В главе 4 описаны рекомендации по использованию Словарь SPIN следует использовать в контексте семантической сети.

Обратите внимание, что примеры фрагментов RDF в этом документе в основном используют удобочитаемый нотация SPIN RDF с использованием свойства sp: text . Инструменты редактирования SPIN, такие как TopBraid, обычно генерируют тройки SPIN RDF, которые лучше подходят для машин, потому что они содержат правильные ссылки к ресурсам URI, не зависят от объявлений префиксов и т. д.

2 Описание класса Словарь

Словарь описания класса SPIN определяет несколько свойств RDF. которые можно использовать для присоединения запросов SPARQL к классам.Недвижимость spin: запрос является общим базовым свойством вращение: ограничение , вращение : правило и spin: конструктор . SPIN-совместимые инструменты могут использовать эти свойства для выполнения запросов SPARQL к экземплярам связанных класс (ы) в ответ на события. Например, спин: правило может использоваться механизмами рассуждений SPIN для построения предполагаемых троек RDF от текущей утвержденной информации в модели.

Запросы SPARQL, на которые ссылаются свойства SPIN, интерпретируются в контексте связанного класса. Во время выполнения переменная SPARQL - этот (по умолчанию) предварительно связан с экземплярами класса и его подклассы. Обычно сам запрос не требует привязки - это к любому значению в предложении WHERE . Контекст выполнения (например, механизм вывода) сделает это до запрос выполняется.Однако, если объект запроса имеет значение , истинно для свойства spin: thisUnbound , тогда система будет не делайте этого предварительного связывания. См. Отдельный раздел По подробностям про спина: thisUnbound .

SPIN использует объектно-ориентированный взгляд на мир моделей Семантической паутины, в котором запросы SPARQL играют аналогичную роль функциям и методам. Наследование (выраженное с использованием rdfs: subClassOf ) обрабатывается в том смысле, что любой запрос, определенный для суперклассов, также будет применяется к подклассам.Другими словами, дескрипторы класса SPIN могут только «сузить» и еще больше ограничить то, что было определено далее вверх по иерархии классов. В этом духе global class описания — это те, которые прикреплены к корневому классу rdfs: ресурс или его аналог в OWL owl: Thing . Эти глобальные запросы могут даже не упоминать - это вообще.

В следующих разделах представлена ​​подробная информация о трех классах SPIN. описание свойств.

2.1 Ограничения

Свойство spin: ограничение можно использовать для связывания rdfs: класс с SPARQL ASK или CONSTRUCT запросов. Каждый запрос ASK определяет ограничение, которое, как предполагается, оценивается как ложь для каждого экземпляра связанного класса (и его подклассы). Другими словами, если ограничение ASK оценивается как true для одного экземпляра, то экземпляр нарушает условие.При желании запросы CONSTRUCT могут создавать экземпляры spin: ConstraintViolation класс, который предоставляет подробную информацию по конкретному нарушению. Во время выполнения запроса переменная SPARQL ? This связана к текущему экземпляру класса.

Интерактивные инструменты, такие как формы редактирования, могут использовать ограничения для проверки ввода пользователя. Веб-службы могут проверять диапазоны параметров. Поскольку запросы SPIN напрямую привязаны к определениям классов в машиночитаемом формате предполагаемое «значение» и объем эти классы могут быть четко переданы другим агентам.xsd: строка; rdfs: subClassOf ex: Person; вращение: ограничение [SP: Спросите; sp: текст «» » # должно быть не моложе 18 лет СПРОСИТЕ ГДЕ { ? этот пример: возраст? возраст. ФИЛЬТР (? Возраст <18). } "" " ].

Нарушения ограничений могут быть связаны с дополнительной информацией. В следующем примере о нарушении будет сообщено как предупреждение. и указав на свойство ex: age в качестве причины.xsd: строка; rdfs: subClassOf ex: Person; вращение: ограничение [SP: Спросите; sp: текст «» » # должно быть не моложе 18 лет СПРОСИТЕ ГДЕ { ? этот пример: возраст? возраст. ФИЛЬТР (? Возраст <18). } "" "; spin: abusePath ex: age; спин: нарушение Уровень вращения: Предупреждение ].

2.1.2 Проверка ограничений с помощью CONSTRUCT

В следующем примере используется запрос SPARQL CONSTRUCT, который более сложный, чем стиль ASK, но гораздо более гибкий. Предполагается, что CONSTRUCT создает экземпляры системного класса spin: ConstraintViolation . Эти экземпляры обычно пустые узлы, и к ним можно прикрепить дополнительные свойства экземпляры нарушения, чтобы инструменты редактирования могли направлять ввод данных пользователем:

• rdfs: этикетка может содержать текст, читаемый человеком что объясняет причину нарушения ограничения
• spin: нарушениеRoot может ссылаться на ресурс это источник нарушения ограничения
• spin: нарушение Путь может указывать на SPIN RDF выражение пути, которое часто является URI свойства
• спин: нарушение Значение может указывать на конкретный узел RDF вызвавшее нарушение (вместе с нарушением Root и нарушениеPath может использоваться для указания на определенную тройку)
• spin: нарушениеLevel может указывать на экземпляр spin: ConstraintViolationLevel , чтобы указать серьезность нарушения. Возможные значения см. В таблице ниже. По умолчанию вращение : Ошибка .
• spin: fix может указывать на один или несколько Шаблоны SPIN, которые обертывают SPARQL Запрос на обновление. Подробности ниже.

Поддерживаемые значения spin: abuseLevel :

Уровень	Описание
спин: информация	Указывает, что нарушение не является проблемой.Может использоваться для диагностики и в целях отладки.
вращение: Предупреждение	Проблема, которую, возможно, не нужно устранять, но она может привести к проблемам в будущем.
spin: Ошибка	Ошибка, которую необходимо исправить. Это уровень по умолчанию.
спин: Fatal	Серьезная ошибка, которую необходимо исправить. Механизмы проверки ограничений могут решить остановиться дальнейшая оценка после обнаружения фатальной ошибки.

В следующем примере конструируются нарушения ограничений всякий раз, когда супруг (а) человека имеет того же пола, что и текущий человек.

вращение: ограничение
          [SP: Construct;
            sp: текст "" "
                CONSTRUCT {
                    _: нарушение спин: ConstraintViolation;
                         spin: нарушениеRoot? this;
                         спин: нарушение Путь кеннеди: супруга;
                         spin: нарушениеValue? spouse;
                         спин: нарушениеУровень вращения: Предупреждение;
                         rdfs: метка "Однополые браки не разрешены (в этой модели)"
                }
                ГДЕ {
                    «этот кеннеди: супруга» супруга.«этот кеннеди: пол» пол.
                    супруга кеннеди: пол супруга
                    ФИЛЬТР (? Пол =? Пол супруга).
                } "" "
          ]. 

Ограничения SPIN могут использоваться для различных целей, но в в частности, чтобы убедиться, что экземпляр класса поддерживает свои ожидаемое состояние в отношении значений свойств и отношения с другими ресурсами. Например, простой SPIN ограничения могут проверять только диапазон некоторых литералов типа данных, но другие, более сложные ограничения также могут обходить соседние узлы, запуск сопоставления графа с образцом в контекстной переменной - это .Все, что можно выразить в SPARQL, можно использовать в ограничениях SPIN, включая запросы к другим конечным точкам SPARQL, пункты FILTER и сложные математические вычисления.

Обратите внимание, что значения вращения : ограничение свойство также может быть вызовом шаблона SPIN, предполагая, что эти шаблоны охватывают запросы CONSTRUCT или ASK. По сути, SPIN позволяет использовать шаблоны всякий раз, когда ожидается запрос, если тип запроса соответствует ожиданиям.

2.1.3 Нарушения ограничений, предлагающие исправления

Проверки ограничений формы CONSTRUCT также могут создавать дополнительная информация, которая может помочь пользователю исправить указанное ограничение нарушение. Вращение : ConstraintViolation может иметь одно или несколько значений. для вращения : исправить , указывая на вызов (экземпляр) spin: UpdateTemplate . Вызов шаблона обычно будет иметь дополнительные аргументы, которые также могут быть построены как часть ограничения проверьте предложение CONSTRUCT.

Следующий пример запроса прикреплен к классу Person с использованием spin: ограничение . Если Человек (? Это ) есть супруг (а) и моложе 18 лет, то нарушение будет сообщено. Спин : ConstraintViolation также указывает на шаблон SPIN типа : DeleteTriple , построенный как анонимный узел с идентификатором _: fix .

    CONSTRUCT {
        _: нарушение спин: ConstraintViolation;
                rdfs: метка «Несовершеннолетние браки не допускаются»;
                spin: нарушениеRoot? this;
                спин: нарушениеПуть: супруга;
                spin: fix _: fix. _: исправить: DeleteTriple;
                rdf: тема? это;
                rdf: сказуемое: супруга;
                rdf: объект? супруга.
    }
    ГДЕ {
        «это: супруга» супруга.
        ? это: возраст? возраст.
        ФИЛЬТР (? Возраст <18).
    } 

Не вдаваясь в подробности о шаблоне : DeleteTriple , это спин : UpdateTemplate , который обертывает SPARQL DELETE команда на указанную тройку. Шаблон принимает три аргумента, rdf: субъект , rdf: предикат и rdf: объект , которые заполняются CONSTRUCT выше с использованием текущих привязок переменных.Шаблон будет иметь понятную человеку этикетку, чтобы пользовательский интерфейс мог предложить исправление из контекстного меню.

2.2 Правила

Свойство spin: правило можно использовать для связывания rdfs: класс с запросами SPARQL CONSTRUCT или DELETE / INSERT операций обновления. Каждый запрос или операция определяет применяемое правило вывода. ко всем экземплярам связанного класса и его подклассов.

2.2.1 Правила вывода с использованием CONSTRUCT

Если свойство spin: правило указывает на запрос CONSTRUCT , затем это определяет правило вывода, которое определяет, как дополнительные тройки могут следует выводить из того, что указано в пункте WHERE . Для каждой привязки выкройки в ГДЕ пункт правила, тройные шаблоны из CONSTRUCT предложения создаются и добавляются как предполагаемые тройки к базовая модель.xsd: строка; rdfs: subClassOf сова: вещь; спин: правило [SP: Construct; sp: текст "" " CONSTRUCT { ? this ex: grandParent? grandParent. } ГДЕ { «родитель экс: ребенок» это. «grandParent ex: ребенок» родитель. } "" " ].

Свойство spin: правило имеет тип вращения : RuleProperty .Любое подсвойство спина : правило может использоваться в дополнение к spin: правило для хранения правил.

Вновь выведенные тройки правила CONSTRUCT войдут в специальный граф выводов. Этот график является частью графа запроса по умолчанию, который предложение WHERE будет выполняться, так что выводы из предыдущего шага будут видны «следующему» правилу.

2.2.2 Обновление правил с помощью DELETE / INSERT

Если свойство spin: rule указывает на операцию SPARQL UPDATE, то это определяет правило обновления, которое приведет к утверждениям, а не к выводам.Это потенциально более мощно, чем правила CONSTRUCT , потому что Правила UPDATE могут включать предложение DELETE ( DELETE WHERE также поддерживается), и, кроме того, появляется возможность указать цель графики, которые необходимо изменить. Еще одно преимущество использования правил UPDATE заключается в том, что никакой конкретный граф выводов не может потребуются, и, следовательно, выполнение правила может быть быстрее.

Однако обратите внимание, что ОБНОВЛЕНИЯ с помощью DELETE могут более легко привести к бесконечным циклам, потому что правила могут отменить результаты предыдущих шагов.Также обратите внимание, что изменения будут внесены в фактические модели, так что результат правила могут быть случайно сохранены при редактировании и оценке правил.

В следующем примере определяется правило, которое определяет значения ex: grandParent свойство из значений ex: child , и вставляет полученные тройки в указанный именованный граф.

    С 
    INSERT {
    ? this ex: grandParent? grandParent.}
    ГДЕ {
    «родитель экс: ребенок» это.
    «grandParent ex: ребенок» родитель. 
    } 

2.2.3 Контроль порядка исполнения правил

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

На самом детальном уровне правила можно сгруппировать по категориям. с использованием подсвойств вращения : правило . Недвижимость spin: nextRuleProperty можно использовать для связывания двух таких свойства вместе, так что правила из одной группы будут выполнены до другие. Например, если вы хотите запустить все ex: importRules перед всеми вращениями: правила , затем добавьте тройной пример: importRule spin: nextRuleProperty spin: rule и используйте ex: importRule , чтобы прикрепить правила с высоким приоритетом к вашему классу.

rdfs: комментарий правила следует использовать в качестве последнего уровня заказ. Это позволяет разработчикам вставлять комментарии такие как «# Step 1: …», «# Step 2: …» и т. д. в качестве первых строк их правила. Пользовательские интерфейсы могут использовать тот же порядок и (как TopBraid) может сделать это по умолчанию.

Свойство spin: rulePropertyMaxIterationCount можно прикрепить к любому подчиненному свойству spin: правило предписывает двигателю выполнять определенные правила определенное количество раз.В частности, это позволяет убедиться, что правила, создающие пустые узлы, выполняется один раз, что позволяет избежать проблем с бесконечными циклами.

2.2.4 Правила организации в библиотеках

В некоторых случаях правила могут быть импортированы из библиотеки. Такая библиотека файлы могут только объявлять сами правила, но не иметь дополнительных троек в них, что было бы актуально для выполнения правила. В базовый URI ( owl: Ontology ) таких файлов может быть аннотирован быть экземпляром вращения : LibraryOntology .В этом В этом случае все тройки из указанного графа должны игнорироваться SPIN движки правил.

2.2.5 Управление привязкой? This

В настройках по умолчанию правила SPIN или механизм проверки ограничений будут предварительно связать переменную - этот со всеми экземплярами связанных класс. Наивная реализация этого — добавить тройное совпадение, например - это rdf: введите ex: Class в предложение WHERE. Эта проверка будет убедитесь, что система выполняет итерацию только по значениям этого класса.xsd: boolean для указания двигателю чтобы обойти явную привязку - это . Вращение : thisUnbound свойство было введено в SPIN 1.1. Рекомендуем отображать движки должна отображать переменную ? это жирным шрифтом, чтобы указать, что она специальное значение, если не установлено spin: thisUnbound .

2.3 Конструкторы

Свойство spin: конструктор можно использовать для связывания rdfs: класс с запросами SPARQL CONSTRUCT или DELETE / INSERT операций обновления.Каждый запрос Construct определяет правило вывода, которое может быть применяется ко всем новым экземплярам связанного класса и его подклассы во время создания. Конструкторы обычно только оценивается один раз, чтобы установить начальные значения по умолчанию для некоторых свойств экземпляров. Во время выполнения запроса переменная SPARQL - этот привязан к текущему экземпляру класса.

Например, если пользователь создает новый экземпляр ex: USCitizen , то его конструктор можно использовать для автоматически установить его например: BirthCountry недвижимость до например: США .xsd: строка; rdfs: subClassOf ex: Person; spin: конструктор [SP: Construct; sp: текст «» » CONSTRUCT { ? это пример: BirthCountry ex: США. } ГДЕ { } «» » ].

Во время выполнения единственная тройка, которая будет надежно присутствовать для ? это — это rdf: введите тройной, связывает ? этот с классом, у которого есть конструктор прикрепленный к нему, или его подкласс.

SPIN-совместимые движки должны гарантировать, что суперкласс конструкторы выполняются перед конструкторами подклассов. Как следствие, конструкторы подклассов могут предполагать, что присутствуют дополнительные тройки, и могут запрашивать их в своих ГДЕ пунктов.

Конструкторы также должны выполняться механизмами вывода SPIN: Если правило создает новую тройку rdf: введите , тогда соответствующие конструкторы должны вызываться на предмет типа тройной.Конструкторы должны выполняться после правила был выполнен полностью — это гарантирует, что все тройки, упомянутые в шаблоне построения правила, будут создается и может быть запрошен предложением WHERE конструкторов.

Запросы SPARQL часто похожи и отличаются только одним или двумя значениями. SPIN можно использовать для обобщения запросов SPARQL, чтобы их можно было повторно используется в нескольких контекстах. Словарь мета-моделирования SPIN описанные в следующих разделах, представляют три механизма инкапсуляция шаблонов запросов SPARQL: шаблоны, Функции и магические свойства.

3.1 Шаблоны

Шаблоны представляют собой многоразовые «упакованные» запросы SPARQL, которые можно использовать в сочетании с такие свойства, как spin: rule или spin: constraint , но также в других местах.

В следующем примере определяется шаблон , например: MinCardinality . что можно использовать для проверки того, что ? этот имеет как минимум - подсчитать значений для данного свойства - предикат .xsd: строка; вращение: ограничение [spl: аргумент; rdfs: комментарий «минимальное количество ожидаемых значений»; spl: предикат ex: count; spl: valueType xsd: integer ]; вращение: ограничение [spl: аргумент; rdfs: комментарий «запрещенное свойство»; spl: предикат ex: предикат; spl: valueType rdf: Свойство ]; spin: labelTemplate «не менее {? count} значений для {? predicate}» ^^ xsd: string; вращение: тело [SP: Спросите; sp: текст «» » СПРОСИТЕ ГДЕ { ФИЛЬТР (например: количество элементов (? Предикат) } «» » ].

Шаблоны — это экземпляры подклассов метакласса spin: Template : спин: AskTemplate , спин: ConstructTemplate , spin: SelectTemplate и spin: UpdateTemplate , в зависимости от типа запроса, который они переносят. Эти метаклассы не следует путать с похожими по звучанию классами, такими как spin: AskTemplates , которые предназначены только для организации существующих шаблонов в категории, e.xsd: строка; rdfs: subClassOf сова: вещь; вращение: ограничение [пример: MinCardinality; пример: счет 1; пример: предикат ex: ребенок ].

Каждый аргумент шаблона должен быть представлен одним дескриптором аргумента (экземпляр шаблона spl: аргумент , где пространство имен для префикса spl это http://spinrdf.org/spl# ). Каждый дескриптор аргумента должен указывать на свойство RDF, используя spl: предикат .Это свойство будет содержать фактический шаблон значения при создании экземпляра шаблона. Локальное имя этого свойства используется как имя переменной для аргумента. Например, свойство sp: arg1 представляет переменную ? Arg1 . Аргументы также могут иметь тип значения с использованием spl: valueType и может быть spl: необязательно . Кроме того, аргументы могут определять значение по умолчанию, используя spl: defaultValue .Значение по умолчанию должно использоваться для аргумент, если значение не было явно указано в вызове шаблона. Настоятельно рекомендуется определить rdfs : комментарий для каждый аргумент, чтобы описать роль аргумента в запросе.

Сам инкапсулированный запрос должен быть сохранен с использованием spin: body . В зависимости от типа шаблона, spin: body должен быть экземпляром of sp: Ask , sp: Construct , sp: Describe или sp: выберите , sp: Modify или sp: DeleteWhere .

Во время выполнения запрос уже будет иметь переменные объявлены в дескрипторах аргументов, предварительно назначенных с аргументы в вызове шаблона.

Вызов шаблонов не может быть выполнен, если один или несколько необязательных аргументов не имеют ценностей. Единственное исключение — если класс шаблона (или любой из его суперклассов) имеет rdf: type spl: UnionTemplate , и в этом случае все аргументы необязательны.

Шаблоны должны определять значение для вращения : labelTemplate с заполнителями для имен переменных между {и}, чтобы Пользовательские интерфейсы могут отображать вызовы шаблонов в удобочитаемом виде. Например, приведенный выше вызов шаблона будет отображаться как

    не менее 1 значения для ex: child 

Шаблоны можно публиковать в семантической сети, а затем импортировать другими моделями. Агенты SPIN могут в принципе динамически разрешать шаблоны из Интернета, аналогичные распределенным веб-службам. Такие библиотеки шаблонов могут указывать предметно-ориентированные языки моделирования. (в качестве альтернативы или в дополнение к таким языкам, как OWL). поскольку шаблоны являются исполняемыми, эти основанные на шаблонах языки моделирования имеют четко определенную формальную семантику.

Когда шаблоны CONSTRUCT выполняются, например, как ограничения или правила SPIN, то движку SPIN необходимо также выполнять тела любого суперкласса этих шаблоны.

См. Также: Общие сведения о шаблонах SPIN

3.1.1 Метаданные столбца SPIN

Начиная с версии SPIN 1. 3.0 (опубликованной с TopBraid 4.3 в июне 2013 г.), словарь моделирования SPIN был расширен классами и свойствами, которые можно использовать для присоединения метаданных к табличные данные, особенно таблицы, созданные шаблонами SELECT.Вращение класса : TableDataProvider было введено в качестве одного суперкласса. из спинов: SelectTemplate . Каждое вращение : TableDataProvider (и, следовательно, Шаблон SELECT) может указывать на один или несколько экземпляров вращения : столбец через свойство спин: столбец . Экземпляры вращения : Столбец часто является пустыми узлами. Каждое вращение : Столбец может иметь следующие свойства (все, кроме spin: columnIndex не являются обязательными):

Имущество	Диапазон	Описание
rdfs: этикетка	xsd: строка	Отображаемая метка для заголовка таблицы.
spin: columnIndex	xsd: целое число	Индекс столбца слева направо, начиная с 0.
spin: columnType	rdfs: класс	Тип (данных) столбца. Например, столбцы xsd: float должны быть выровнены по правому краю.
spin: columnWidth	xsd: целое число	Ширина столбца в пикселях.

В следующем примере (в нотации Turtle) определяется шаблон SPIN для запроса SELECT, который возвращает имя и дату рождения каждого ребенка данного родителя.xsd: строка; spl: предикат arg: parent; spl: valueType schema: Person ]; вращение: тело [SP: Выбрать; sp: текст «» » ВЫБЕРИТЕ? ChildName? BirthDate ГДЕ { «дочерняя схема: родительская» родительская. ? дочерний rdfs: label? childName. НЕОБЯЗАТЕЛЬНЫЙ { Схема ребенка: BirthDate? BirthDate. }.xsd: строка.

Возможный рендеринг такой таблицы мог бы выглядеть следующим образом (здесь, используя swa: ResultSetGrid с веб-страниц SPARQL).

3.2 Функции

SPIN можно использовать для определения новых функций SPARQL, чтобы эти новая функция может использоваться в таких выражениях, как FILTER или BIND пунктов. Технически функции SPIN очень похожи на шаблоны SPIN.Функции определяются телом и нулем или более дескрипторов аргументов. Тело функции должно быть запросом Ask или запросом Select с ровно одна переменная результата.

В следующем примере объявляется новая функция ex: мощность который получает количество значений данного свойства в текущем субъект (? это ), используя SPARQL COUNT запрос.

    пример: мощность
      спин: Функция;
      rdfs: subClassOf spin: Functions;
      rdfs: comment "Получает количество значений данного свойства в текущей теме (? this).xsd: строка;
      вращение: ограничение
              [spl: аргумент;
                rdfs: comment "Свойство, мощность которого требуется получить." ;
                spl: предикат sp: arg1
              ];
      вращение: тело
              [SP: Выбрать;
                sp: текст "" "
                    ВЫБРАТЬ (СЧЁТ (? Объект) КАК? Результат)
                    ГДЕ {
                        «этот» объект «arg1».
                    } "" "
              ]. 

После определения функции ее можно использовать в запросах SPARQL, таких как

    ФИЛЬТР (пример: количество элементов (пример: ребенок)> 0) 

Выражение выше представлено в синтаксисе SPIN как

    [SP: Фильтр;
      sp: выражение
                 [sp: arg1 [sp: arg1: child;
                             пример: мощность
                           ];
                   sp: arg2 0;
                   a sp: gt
                 ]
    ] 

Аргументы объявляются так же, как и в случае с шаблонами (см. Выше).Основное отличие состоит в том, что аргументы функции должны быть упорядочены. так что традиционная текстовая нотация SPARQL может правильно округлить- их поездка. По умолчанию аргументы функции отсортированы по алфавиту. по их местному названию. Функции часто используют системные свойства sp: arg1 , sp: arg2 и т. Д., Чтобы объявить аргументы в ожидаемом порядке, но можно использовать и любое другое свойство. Вызов функций будет использовать объявленные значения по умолчанию для аргумента, если никакие другие значения явно не указаны.

Функции не должны иметь spin: body . В таких случаях предполагается, что среда выполнения предоставляет различные реализации из них, например как жестко запрограммированные функции Java или с использованием JavaScript (см. SPINx).

Классы функций (и шаблонов) могут быть помечены как абстрактные , установив свойство вращение: абстрактное — истинное . Это указывает на окружающую среду что функция не должна создаваться напрямую, а только служит способом для организации и группировки других функций в иерархию.

Функции можно пометить как private , установив свойство spin: частные до true . Это сообщает окружающей среде, что функция должна использоваться только как «помощник» для других функций, но нигде больше.

См. Также: Общие сведения о функциях SPIN

3.2.1 Встроенная функция spin: eval

Совместимые со SPIN движки SPARQL должны обеспечивать встроенную функцию SPARQL. spin: eval , который можно использовать для оценки выражения SPIN или запрос во время выполнения.Это позволяет определить более высокий уровень функции, которые принимают вызовы других функций и запросы в качестве аргументов. Например, можно поместить выражение SPIN в качестве аргумента в шаблон. Затем тело шаблона может ссылаться на выражение (как предварительно связанная переменная) и оцените ее.

spin: eval принимает любое нечетное количество аргументов. Первый аргумент должен быть ссылкой на выражение SPIN (например, экземпляр функции SPARQL из пространства имен SP) или sp: выберите или sp: Ask .Остальные аргументы должны быть парами, так что первым будет свойство а второй — это значение, которое должно быть предварительно связано при оценке выражение.

В следующем примере выражение (привязанное к переменной? Выражение) выполняется с переменной ? arg3 , привязанной к буквальному значению. Результат функции будет присвоен - результату .

    BIND (spin: eval (? Выражение, sp: arg3, "значение") AS? Result) 

Если аргумент выражения — sp: выберите , тогда результат будет быть первой привязкой первой переменной результата. Если аргумент выражения — sp: Ask , то типизированный логический литерал будет возвращен.

3.2.2 Встроенная функция spin: ask

Совместимые со SPIN движки SPARQL должны обеспечивать встроенную функцию SPARQL. spin: спросите , который можно использовать для выполнения запроса SPIN ASK или соответствующий вызов шаблона во время выполнения. Это позволяет определять функции и механизмы выполнения более высокого уровня, которые принимают другие запросы в качестве аргументов.

Первый аргумент spin: ask должен быть ссылкой на sp: Ask или вызов шаблона, в котором содержится запрос ASK. Все последующие аргументы должны быть парами, первый из которых является именем переменной. а второй — его привязка. Эти привязки необходимо применять для выполнения запрос. Результат вращения : запрос является логическим. В следующем примере предполагается, что ? Запрос указывает на sp: Ask , а переменная ? это будет предварительно связано со значением owl: Thing :

    BIND (spin: ask (? Query, "this", owl: Thing) КАК? Результат) 

3.

3 магических свойства

Magic Properties (также известная как Property Functions ) поддерживается многими движками SPARQL. (например, Jena ARQ) для динамического вычисления значений во время запроса. Обычно магическое свойство поддерживается функцией вычисления, которая определяет привязки переменные в левой или правой части предиката.

SPIN позволяет пользователям определять такие магические свойства. Магические свойства объявлены очень похоже на SPIN Функции, но обеспечивают большую гибкость.В отличие от функций BIND / FILTER, магические свойства могут возвращать несколько ценности. Кроме того, любая входная или выходная переменная может быть несвязанной, и это задача магического свойства найти все потенциальные привязки этих переменных.

Метакласс spin: MagicProperty используется для представления магии. свойства. Как показано ниже, spin: MagicProperty является подклассом of spin: функция и rdf: свойство , что делает возможным использовать их как функции или как предикаты в тройном совпадении.

Давайте посмотрим на пример магического свойства grandParent , которое определяет дедушка и бабушка отношения между людьми. Это определяется как spin: MagicProperty с одним аргументом ? Arg1 из тип кеннеди: Человек . Вращение : тело магии недвижимость выглядит следующим образом:

    ВЫБРАТЬ? GrandParent
    ГДЕ {
        ? родитель кеннеди: ребенок? arg1.
        «grandParent kennedys: ребенок» родитель.xsd: строка;
                spl: предикат sp: arg1;
                spl: valueType kennedys: Person
              ];
      вращение: тело
              [SP: Выбрать;
                sp: текст "" "
                    ВЫБРАТЬ? GrandParent
                    ГДЕ {
                        ? родитель кеннеди: ребенок? arg1.
                        «grandParent kennedys: ребенок» родитель.
                    } "" "
              ]. 

Пример использования этой функции:

    ВЫБРАТЬ *
    ГДЕ {
        Кеннеди: Джон Кеннеди-младший: grandParent? grandParent. } 

Что возвращает привязки ? GrandParent с кеннеди: Джозеф Кеннеди и кеннеди: RoseFitzgerald . Во время выполнения обрабатывается предикат : grandParent . как вызов функции на основе запроса SPARQL, определенного как тело волшебное свойство. Значение в левой части магического свойства будет передан в функцию как ? arg1 . Результат привязки переменных в предложении SELECT будут привязаны к переменным в правая часть магического свойства.Имена входа и выхода переменные значения не имеют, учитывается только порядок появления.

Обратите внимание, что можно также использовать свойство типа : grandParent . как обычное имущество. Вопрос о том, будет создавать обычные тройки или выполнять вычисления динамически.

Магические свойства также могут принимать несколько аргументов и значений результата. используя (довольно неясный) синтаксис списка — эти случаи технически поддерживаются но сложно представить в синтаксисе SPIN RDF. По возможности сильно рекомендуется определять магические свойства только с одним аргументом и одной переменной результата. Это обеспечивает большую гибкость реализации и упрощает синтаксис и бремя реализации.

На этом фоне давайте рассмотрим другой вариант использования той же функции. сверху:

    ВЫБРАТЬ *
    ГДЕ {
        ? grandChild: grandParent kennedys: РоузФицджеральд.
    } 

Приведенный выше запрос связывает ? GrandChild со всеми внуками из кеннеди: RoseFitzgerald (всего несколько десятков, включая Кеннеди: Джон Кеннеди-младший ).Также можно оставить объект пуст, чтобы получить все отношения grandParent во всей модели.

Во время выполнения движок должен добавить аргументы к результату переменные тела (здесь: изменить подпись на ВЫБЕРИТЕ? GrandParent? Arg1 ). Затем предварительно привяжите все переменные которые были снабжены значениями и выполняют запрос SELECT. Используйте привязки результатов, чтобы ввести значения для несвязанных переменных.Если магическое свойство используется как тройное совпадение, то результат должен включить все существующие значения в график запроса в дополнение к привязки, производные от функции.

Начиная с spin: MagicProperty является подклассом spin: Function , любое магическое свойство также может использоваться как обычная функция ФИЛЬТР или ПОИСК. В этом случае будет только первая переменная результата первой строки результата. вернулся.

Обратите внимание, что функции SPIN и магические свойства могут использоваться для реализации поведение, известное как обратная цепочка на языках правил.Функции могут вызывать друг друга, даже рекурсивно, и механизм SPARQL будет перебирать несколько возможных пространств решений и выполнять обратное отслеживание если он не находит привязок для исходного запроса.

3.3.1 Встроенный спин Magic Property: construct

Совместимые со SPIN движки SPARQL должны обеспечивать встроенное волшебное свойство SPARQL. spin: построить , который можно использовать для выполнения запроса SPIN CONSTRUCT или соответствующий вызов шаблона во время выполнения.Это позволяет определять функции и механизмы выполнения более высокого уровня, которые принимают другие запросы в качестве аргументов.

Первый аргумент в левой части spin: конструкция должна быть ссылка на sp: Construct или вызов шаблона, в котором в качестве тела используется запрос CONSTRUCT. Все последующие аргументы должны быть парами, первый из которых является именем переменной. а второй — его привязка. Эти привязки необходимо применять для выполнения запрос.Правая часть магического свойства должна быть списком из трех записи. Обычно это несвязанные переменные, такие как (? S? P? O) , которые получит в качестве значений субъект, предикат и объект построенных троек. Если какие-либо из этих записей связаны, они будут интерпретированы как совпадение, что означает, что только те тройки, у которых действительно есть совпадающие субъект, предикат или объект, будут возвращается магическим свойством.

В следующем примере предполагается, что ? Запрос указывает на sp : Construct , а переменная ? это будет предварительно связано со значением owl: Thing .В результате выполнения переменные ? S , ? P и ? O . будут связаны с построенными тройками.

     (? запрос "this" owl: Thing) spin: construct (? s? p? o) 

3.3.2 Встроенное вращение Magic Property: выберите

Совместимые со SPIN движки SPARQL должны обеспечивать встроенное волшебное свойство SPARQL. spin: выберите , который можно использовать для выполнения запроса SPIN SELECT или соответствующий вызов шаблона во время выполнения. Это позволяет определять функции и механизмы выполнения более высокого уровня, которые принимают другие запросы в качестве аргументов.

Первый аргумент в левой части вращения : select должен быть ссылка на sp: выберите или вызов шаблона, который имеет запрос SELECT в качестве тела. Это также может быть запрос sp: Ask , и в этом случае он интерпретируется как запрос SELECT с ровно одной переменной результата и одной строкой. Все последующие аргументы должны быть парами, первый из которых является именем переменной. а второй — его привязка.Эти привязки необходимо применять для выполнения запрос. В правой части магического свойства должен быть список записей. которые соответствуют количеству переменных результата из запроса SPARQL. Обычно это несвязанные переменные, такие как (? A? B) , если SELECT доставляет две колонки. Если какие-либо из этих записей связаны, они будут интерпретированы как совпадение, что означает, что волшебным свойством будут возвращены только те строки, которые действительно имеют совпадающие значения.

В следующем примере предполагается, что ? Запрос указывает на sp : выберите , а переменная ? это будет предварительно связано со значением owl: Thing . В результате выполнения переменные ? A и ? B будет привязан к результирующим привязкам переменных.

     (? query "this" owl: Thing) spin: select (? a? b) 

4 библиотеки SPIN

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

4.1 SPIN и семантическая сеть

Ограничения, правила и конструкторы SPIN связаны с классами RDFS / OWL с использованием специальных свойств, таких как spin: constraint . На Семантическая сеть это означает, что когда класс RDFS доступен в сети, пользователи класса также получат связанную семантику таким же образом, как и они получать ярлыки, комментарии и т. д.Обычно определения и семантика классов хранится в том же документе.

Со словарем мета-моделирования SPIN ситуация немного иная, потому что функции и шаблоны SPIN можно использовать и в других местах. Однако функции и шаблоны SPIN имеют уникальный URI и поэтому могут быть загружены на какой-нибудь семантический веб-сайт, чтобы агенты, поддерживающие SPIN, могли найти исполняемое описание функции или шаблона по его URI. На практике это означает, что пользователи SPIN, планирующие поделиться своими файлами, должны убедитесь, что для выбранных URI есть возможность разыменования.Это просто означает, что если программный агент встречает функцию SPIN в запросе SPARQL, и эта функция изначально не известна двигателю, тогда двигатель может перейдите по ссылке на функцию, чтобы получить все тройки, необходимые для понимания того, как для его выполнения, включая spin: body .

Если файлы SPIN не используются в Семантической сети, а используются только локально, тогда это хорошая практика — помочь среде найти функцию и шаблон определения. Мы рекомендуем соглашение об именах для хранения таких файлов SPIN с окончание, такое как .spin.ttl или .spin.rdf . Это упрощает инструментам распознавание того, что файл может содержать SPIN. функции и шаблоны, чтобы инструмент мог заранее загрузить функции в память.

4.2 Импорт SPIN

Некоторые библиотеки ограничений или правил не зависят от конкретного домена онтологии, а скорее описывают общие закономерности. Например, можно для описания семантики подмножества OWL с использованием ограничений SPIN и, таким образом, повторно использовать словарь ограничений OWL для проверки ограничений целостности на существующие модели OWL.Такие библиотеки могут содержать spin: constraints которые просто прикреплены к owl: Thing или другому глобальному корневому классу.

Чтобы использовать такие библиотеки в контексте OWL, одним из вариантов является определение сова : импортирует , чтобы связать онтологию предметной области с ограничением библиотека. Однако это означает, что семантика OWL будет применяться к библиотеке. сам, потому что движки OWL будут объединять все тройки из файла SPIN и относиться к ним на том же уровне, что и к фактической тройке доменов.Более того, дополнительные тройки могут загромождать пользовательский интерфейс.

SPIN включает вращение : импортирует свойство , которое можно использовать связать базовый URI онтологии домена с файлом SPIN, заданным базовый URI файла SPIN. Для средства проверки ограничений SPIN (или механизма правил) ключевое слово spin: imports имеет то же значение, что и owl: import , т.е. все тройки из импортированного файла будут добавлены к текущему графику RDF. Однако тройки, указанные в spin: import , импортироваться не будут. в смысле OWL и поэтому остаются невидимыми для любого инструмента OWL.

В следующем примере онтология текущей предметной области (spinOWLTest) импортирует Библиотека ограничений SPIN, которая определяет подмножество OWL для проверки ограничений, чтобы движки SPIN сообщали о нарушении ограничения всякий раз, когда экземпляр из : Человек не имеет 1 : lastName . Обратите внимание, что это файл не импортирует пространство имен SPIN — он просто объявляет для него префикс.

    @prefix: .
    @prefix owl: .
    @prefix spin: .
    @prefix rdf: .
    @prefix rdfs: .
    @prefix xsd: .

    
      rdf: введите owl: Ontology;
      spin: импорт .xsd: int;
                сова: onProperty: lastName
              ]; ... 

Приложение: Ссылка

URL-адрес схемы SPIN: http://spinrdf.org/spin URL-адрес стандартной библиотеки модулей SPIN (SPL): http://spinrdf.org/spl

Экс-конструктор лифта стал хитом комедийной сети

Стендап-комик из Калгари Бриттани Лизенг в последнее время делает себе имя на национальной комедийной сети своим выступлением, наполненным забавными, непристойными анекдотами, в том числе из ее 12-летней строительной карьеры.

Лисенг, 33 года, из семьи ремесленников, включая дядей, которые были конструкторами лифтов, и поэтому для нее это казалось жизнеспособным и респектабельным образом жизни. За четыре года она заработала путевку подмастерья в Международном союзе строителей лифтов Local 130, а затем работала по всей провинции, в том числе в 60-этажном проекте Telus Sky в Калгари.

Но ей всегда нравилось быть смешной, и она часто думала о том, чтобы рискнуть в стендап, поэтому, когда пять лет назад ее отец перенес сердечный приступ, она подумала, что жизнь коротка, сейчас самое время рискнуть.Это была тяжелая работа и потребовалось терпение, но сегодня ее можно услышать на радиостанции CBC Laugh Out Loud и увидеть в сети LOL Кевина Харта, и она была на сцене на фестивале Just For Laughs в Монреале и JFL Northwest в Ванкувере, а также неоднократно выступала. на фестивале YYCOMEDY в ее родном городе в Калгари.

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

«Я была первой женщиной в Альберте, которая выполнила эту работу, поэтому я была первой женщиной в этом союзе, так что у меня будет некоторый негативный опыт», — сказала Лисенг, которая недавно записала комедийный альбом на лейбле Vancouver’s 604 Records. «Но я не думаю, что кто-то пришел из плохого места. Они не привыкли к девушке на месте, они не знали, что сказать. Они не знали, достаточно ли я силен, чтобы перехватить другой конец. По их мнению, они думают, что это угроза безопасности.

«На стройке очень весело.Для того, что вы говорите, не так много правил. Так что вы можете говорить довольно забавные вещи, не попадая в затруднительное положение. Многие вещи, которые вылетали из моего рта, были хуже их ».

Есть одна шутка, в которой она рассказывает своему отцу, плотнику по происхождению, а теперь руководителю проекта, что другие рабочие кричат ​​на нее весь день.

«Он говорит:« Вы уверены, что они кричат? »« Да, они кричат ​​на меня весь день ». И тогда я сообразил: я не думаю, что они кричат, им просто нужно то, что им нужно, быстрее, чем вам поняли.”

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

«Вы определенно должны постоять за себя. Если они пытаются задирать вас, подталкивать и заставлять вас идти, если вы просто понимаете, что вы намного умнее их и можете видеть сквозь мусор, тогда вы можете немного постоять за себя и сказать, почему », — сказала она. .

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

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

«Когда вы строите гидравлический лифт, вы и еще один парень строите лифт, но когда вы находитесь в высотном здании, на месте может находиться 15 или 16 человек», — сказал Лисенг.«Мне всегда нравилась атмосфера, когда много ребят и ты очень хорошо проводишь время. Это довольно аккуратная и интересная работа, и я получил от нее массу удовольствия ».

M.3 — Конструкторы перемещения и назначение перемещения

В уроке M.1 — Введение в интеллектуальные указатели и семантику перемещения мы рассмотрели std :: auto_ptr, обсудили желание семантики перемещения и рассмотрели некоторые из недостатков, которые возникают, когда функции, разработанные для семантики копирования (конструкторы копирования и операторы присваивания копии), переопределяются для реализации семантики перемещения.

В этом уроке мы более подробно рассмотрим, как C ++ 11 решает эти проблемы с помощью конструкторов перемещения и присваивания перемещения.

Конструкторы копий и присвоение копий

Во-первых, давайте вспомним семантику копирования.

Конструкторы копирования используются для инициализации класса путем создания копии объекта того же класса. Назначение копирования используется для копирования одного класса в другой существующий класс. По умолчанию C ++ предоставляет конструктор копирования и оператор присваивания копии, если он не указан явно.Эти предоставляемые компилятором функции создают неглубокие копии, что может вызвать проблемы для классов, выделяющих динамическую память. Таким образом, классы, работающие с динамической памятью, должны переопределять эти функции для создания глубоких копий.

Возвращаясь к нашему примеру класса интеллектуального указателя Auto_ptr из первого урока этой главы, давайте рассмотрим версию, которая реализует конструктор копирования и оператор присваивания копии, выполняющие глубокие копии, и пример программы, которая их проверяет:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 51 52 53 54 55 56 57 58 59 60 61 62 63 9 0004 64 65 66

шаблон <класс T> класс Auto_ptr3 { T * m_ptr; общедоступный: Auto_ptr3 (T * ptr = nullptr) : m_ptr (ptr) { } ~ Auto_ptr3 () { удалить m_ptr; } // Конструктор копирования // Сделайте глубокую копию файла. m_ptr в m_ptr Auto_ptr3 (const Auto_ptr3 & a) { m_ptr = new T; * m_ptr = * a.m_ptr; } // Копировать назначение // Сделать глубокую копию a.m_ptr в m_ptr Auto_ptr3 & operator = (const Auto_ptr3 & a) { // Обнаружение самоприсвоения if (& a == this) return * this; // Освободить любой ресурс, который у нас есть delete m_ptr; // Копируем ресурс m_ptr = new T; * m_ptr = * а.m_ptr; вернуть * это; } T & оператор * () const {return * m_ptr; } T * оператор -> () const {return m_ptr; } bool isNull () const {return m_ptr == nullptr; } }; class Resource { public: Resource () {std :: cout << "Ресурс получен \ n"; } ~ Resource () {std :: cout << "Ресурс уничтожен \ n"; } }; Auto_ptr3 generateResource () { Auto_ptr3 res (новый ресурс); возврат res; // это возвращаемое значение вызовет конструктор копирования } int main () { Auto_ptr3 mainres; mainres = generateResource (); // это присваивание вызовет копирование return 0; }

В этой программе мы используем функцию с именем generateResource () для создания инкапсулированного ресурса с интеллектуальным указателем, который затем передается обратно в функцию main (). Затем функция main () назначает это существующему объекту Auto_ptr3.

Когда эта программа запускается, она печатает:

 Ресурс получен
Ресурс получен
Ресурс уничтожен
Ресурс получен
Ресурс уничтожен
Ресурс уничтожен
 

(Примечание: вы можете получить только 4 вывода, если ваш компилятор исключает возвращаемое значение из функции generateResource ())

Для такой простой программы происходит много создания и уничтожения ресурсов! Что тут происходит?

Рассмотрим подробнее.В этой программе выполняется 6 ключевых шагов (по одному для каждого напечатанного сообщения):

1) Внутри метода generateResource () создается локальная переменная res, которая инициализируется динамически выделяемым ресурсом, что приводит к первому «полученному ресурсу».
2) Res возвращается обратно в main () по значению. Здесь мы возвращаемся по значению, потому что res — это локальная переменная — она ​​не может быть возвращена по адресу или ссылке, потому что res будет уничтожена при завершении метода generateResource (). Таким образом, res — это копия, созданная во временный объект.Поскольку наш конструктор копирования выполняет глубокое копирование, здесь выделяется новый ресурс, что приводит к второму «полученному ресурсу».
3) Res выходит из области видимости, уничтожая первоначально созданный ресурс, что приводит к уничтожению первого ресурса.
4) Временный объект назначается mainres путем назначения копии. Поскольку наше назначение копии также выполняет глубокую копию, выделяется новый Ресурс, вызывая еще один «Ресурс приобретен».
5) Выражение присваивания завершается, временный объект выходит за пределы области действия выражения и уничтожается, вызывая «Ресурс уничтожен».
6) В конце main () mainres выходит за пределы области видимости, и отображается наш последний «Ресурс уничтожен».

Итак, короче говоря, поскольку мы вызываем конструктор копирования один раз, чтобы скопировать конструкцию res во временный объект, и один раз копируем присвоение, чтобы скопировать временное значение в mainres, в итоге мы выделяем и уничтожаем в общей сложности 3 отдельных объекта.

Неэффективно, но по крайней мере не дает сбоев!

Однако с семантикой перемещения мы можем добиться большего.

Переместить конструкторы и переместить назначение

C ++ 11 определяет две новые функции для обслуживания семантики перемещения: конструктор перемещения и оператор присваивания перемещения.В то время как цель конструктора копирования и присваивания копии — сделать копию одного объекта другому, цель конструктора перемещения и присваивания перемещения — переместить владение ресурсами с одного объекта на другой (что обычно намного дешевле, чем изготовление копии).

Определение конструктора перемещения и присваивания перемещения работают аналогично их копиям. Однако, в то время как разновидности копирования этих функций принимают ссылочный параметр const l-value, разновидности перемещения этих функций используют неконстантные ссылочные параметры r-значения.

Вот тот же класс Auto_ptr3, что и выше, с добавленным конструктором перемещения и оператором присваивания перемещения. Мы оставили конструктор копии с глубоким копированием и оператор присваивания копии для сравнения.

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 51 52 53 54 55 56 57 58 59 60 61 62 63 9 0004 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 0 80 78 79 81 82 83 84 85 86 87 88 89 90 91 92 93 94

#include шаблон <класс T> класс Auto_ptr4 { T * m_ptr; общедоступный: Auto_ptr4 (T * ptr = nullptr) : m_ptr (ptr) { } ~ Auto_ptr4 () { удалить m_ptr; } // Конструктор копирования // Сделайте глубокую копию файла. m_ptr в m_ptr Auto_ptr4 (const Auto_ptr4 & a) { m_ptr = new T; * m_ptr = * a.m_ptr; } // Переместить конструктор // Передать право собственности на a.m_ptr на m_ptr Auto_ptr4 (Auto_ptr4 && a) noexcept : m_ptr (a.m_ptr) { a.m_ptr = null ; // мы подробнее поговорим об этой строке ниже } // Копировать присвоение // Сделать глубокую копию файла.m_ptr to m_ptr Auto_ptr4 & operator = (const Auto_ptr4 & a) { // Обнаружение самостоятельного назначения if (& a == this) return * this; // Освободить любой ресурс, который у нас есть delete m_ptr; // Копируем ресурс m_ptr = new T; * m_ptr = * a.m_ptr; вернуть * это; } // Перемещение уступки // Передача права собственности на a.m_ptr to m_ptr Auto_ptr4 & operator = (Auto_ptr4 && a) noexcept { // Обнаружение самостоятельного назначения if (& a == this) return * this; // Освободить любой ресурс, который у нас есть delete m_ptr; // Передача права собственности на a. m_ptr на m_ptr m_ptr = a.m_ptr; a.m_ptr = nullptr; // подробнее об этой строке мы поговорим ниже return * this; } T & оператор * () const {return * m_ptr; } T * оператор -> () const {return m_ptr; } bool isNull () const {return m_ptr == nullptr; } }; class Resource { public: Resource () {std :: cout << "Ресурс получен \ n"; } ~ Resource () {std :: cout << "Ресурс уничтожен \ n"; } }; Auto_ptr4 generateResource () { Auto_ptr4 res (новый ресурс); возврат res; // это возвращаемое значение вызовет конструктор перемещения } int main () { Auto_ptr4 mainres; mainres = generateResource (); // это присвоение вызовет присвоение перемещения return 0; }

Конструктор перемещения и оператор присваивания перемещения просты. Вместо того чтобы глубоко копировать исходный объект (а) в неявный объект, мы просто перемещаем (крадем) ресурсы исходного объекта. Это включает в себя неглубокое копирование указателя источника в неявный объект с последующей установкой для указателя источника значения null.

При запуске эта программа печатает:

 Ресурс получен
Ресурс уничтожен
 

Это намного лучше!

Ход программы точно такой же, как и раньше. Однако вместо вызова конструктора копирования и операторов присваивания копии эта программа вызывает конструктор перемещения и операторы присваивания перемещения.Заглянем немного глубже:

1) Внутри метода generateResource () создается локальная переменная res, которая инициализируется динамически выделяемым ресурсом, что приводит к первому «полученному ресурсу».
2) Res возвращается обратно в main () по значению. Res перемещается во временный объект, передавая динамически созданный объект, хранящийся в res, во временный объект. О том, почему это происходит, мы поговорим ниже.
3) Рес выходит за рамки. Поскольку res больше не управляет указателем (он был перемещен во временный), здесь ничего интересного не происходит.
4) Временный объект перемещается в mainres. Это переносит динамически созданный объект, хранящийся во временном хранилище, в mainres.
5) Выражение присваивания завершается, а временный объект выходит за пределы области действия выражения и уничтожается. Однако, поскольку временный объект больше не управляет указателем (он был перемещен в mainres), здесь также не происходит ничего интересного.
6) В конце main () mainres выходит за пределы области видимости, и отображается наш последний «Ресурс уничтожен».

Таким образом, вместо того, чтобы копировать наш Ресурс дважды (один раз для конструктора копирования и один раз для назначения копии), мы передаем его дважды.Это более эффективно, так как ресурс создается и уничтожается только один раз, а не три раза.

Когда вызываются конструктор перемещения и присваивание перемещения?

Конструктор перемещения и присваивание перемещения вызываются, когда эти функции определены, а аргументом для построения или присваивания является r-значение. Чаще всего это r-значение будет буквальным или временным значением.

В большинстве случаев конструктор перемещения и оператор присваивания перемещения не будут предоставлены по умолчанию, если в классе нет определенных конструкторов копирования, присваивания копий, присваивания перемещения или деструкторов.Однако конструктор перемещения по умолчанию и назначение перемещения делают то же самое, что и конструктор копирования по умолчанию и назначение копирования (делают копии, а не перемещают).

Правило: если вам нужен конструктор перемещения и присваивание перемещений, выполняющее перемещения, вам нужно будет написать их самостоятельно.

Ключевое понимание семантики перемещения

Теперь у вас достаточно контекста для понимания ключевой идеи семантики перемещения.

Если мы конструируем объект или выполняем присваивание, где аргументом является l-значение, единственное, что мы можем разумно сделать, — это скопировать l-значение. Мы не можем предположить, что изменение l-значения безопасно, потому что оно может быть снова использовано позже в программе. Если у нас есть выражение «a = b», мы не можем ожидать каких-либо изменений b.

Однако, если мы конструируем объект или выполняем присваивание, в котором аргументом является r-значение, то мы знаем, что r-значение — всего лишь временный объект какого-то типа. Вместо того, чтобы копировать его (что может быть дорого), мы можем просто передать его ресурсы (что дешево) объекту, который мы создаем или назначаем.Это безопасно, потому что временное в любом случае будет уничтожено в конце выражения, поэтому мы знаем, что оно больше никогда не будет использоваться!

C ++ 11 через ссылки на r-значение дает нам возможность обеспечивать различное поведение, когда аргумент представляет собой r-значение по сравнению с l-значением, что позволяет нам принимать более разумные и эффективные решения о том, как должны вести себя наши объекты.

Функции перемещения должны всегда оставлять оба объекта в четко определенном состоянии

В приведенных выше примерах как конструктор перемещения, так и функции присваивания перемещения устанавливают. m_ptr в nullptr. Это может показаться лишним — в конце концов, если «a» — временное r-значение, зачем беспокоиться о выполнении «очистки», если параметр «a» все равно будет уничтожен?

Ответ прост: когда «a» выходит за пределы области видимости, вызывается деструктор a, и a.m_ptr удаляется. Если в этот момент a.m_ptr по-прежнему указывает на тот же объект, что и m_ptr, тогда m_ptr останется висящим указателем. Когда объект, содержащий m_ptr, в конечном итоге будет использован (или уничтожен), мы получим неопределенное поведение.

Кроме того, в следующем уроке мы увидим случаи, когда «а» может быть l-значением. В таком случае «a» не будет уничтожено немедленно, и его можно будет запросить еще до истечения срока его существования.

Автоматические l-значения, возвращаемые по значению, могут быть перемещены вместо копирования

В функции generateResource () приведенного выше примера Auto_ptr4, когда переменная res возвращается по значению, она перемещается, а не копируется, даже если res является l-значением. В спецификации C ++ есть специальное правило, согласно которому автоматические объекты, возвращаемые функцией по значению, могут быть перемещены, даже если они являются l-значениями.Это имеет смысл, поскольку res все равно будет уничтожен в конце функции! Мы могли бы также украсть его ресурсы, вместо того, чтобы делать дорогую и ненужную копию.

Несмотря на то, что компилятор может перемещать возвращаемые значения l-значения, в некоторых случаях он может добиться большего, просто полностью исключив копию (что позволяет избежать необходимости делать копию или вообще перемещать). В таком случае ни конструктор копирования, ни конструктор перемещения не будут вызываться.

Отключение копирования

В приведенном выше классе Auto_ptr4 мы оставили конструктор копирования и оператор присваивания для сравнения.Но в классах с поддержкой перемещения иногда желательно удалить конструктор копирования и функции присваивания копий, чтобы гарантировать, что копии не будут созданы. В случае с нашим классом Auto_ptr мы не хотим копировать наш шаблонный объект T — потому что это дорого, и какой бы класс T ни был, он может даже не поддерживать копирование!

Вот версия Auto_ptr, которая поддерживает семантику перемещения, но не семантику копирования:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 51 52 53

#include шаблон <класс T> класс Auto_ptr5 { T * m_ptr; общедоступный: Auto_ptr5 (T * ptr = nullptr) : m_ptr (ptr) { } ~ Auto_ptr5 () { удалить m_ptr; } // Конструктор копирования — копирование запрещено! Auto_ptr5 (const Auto_ptr5 & a) = удалить; // Переместить конструктор // Передать право собственности на a. m_ptr в m_ptr Auto_ptr5 (Auto_ptr5 && a) noexcept : m_ptr (a.m_ptr) { a.m_ptr = nullptr; } // Копирование назначения — копирование запрещено! Auto_ptr5 & operator = (const Auto_ptr5 & a) = delete; // Переместить назначение // Передать право собственности на a.m_ptr на m_ptr Auto_ptr5 & operator = (Auto_ptr5 && a) noexcept { // Обнаружение самостоятельного назначения if (& a == this) return * this; // Освободить любой ресурс, который у нас есть delete m_ptr; // Передача права собственности на а.m_ptr в m_ptr m_ptr = a.m_ptr; a.m_ptr = nullptr; вернуть * это; } T & оператор * () const {return * m_ptr; } T * оператор -> () const {return m_ptr; } bool isNull () const {return m_ptr == nullptr; } };

Если бы вы попытались передать l-значение Auto_ptr5 функции по значению, компилятор пожаловался бы, что конструктор копирования, необходимый для инициализации аргумента конструктора копирования, был удален. Это хорошо, потому что мы, вероятно, все равно должны передавать Auto_ptr5 по ссылке const l-value!

Auto_ptr5 (наконец) хороший класс интеллектуальных указателей. Фактически, стандартная библиотека содержит класс, очень похожий на этот (который вы должны использовать вместо этого), с именем std :: unique_ptr. Подробнее о std :: unique_ptr мы поговорим позже в этой главе.

Другой пример

Давайте взглянем на другой класс, который использует динамическую память: простой динамический шаблонный массив.Этот класс содержит конструктор копии с глубоким копированием и оператор присваивания копии.

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 51

#include template class DynamicArray { private: T * m_array; int m_length; общедоступный: DynamicArray (длина int) : m_array (новый T [длина]), m_length (длина) { } ~ DynamicArray () { delete [ ] m_array; } // Конструктор копирования DynamicArray (const DynamicArray & arr) : m_length (arr. m_length) { m_array = new T [m_length]; для (int i = 0; i m_array [i] = arr.m_array [i]; } // Копировать присвоение DynamicArray & operator = (const DynamicArray & arr) { if (& arr == this) return * this; удалить [] m_array; m_length = arr.m_length; m_array = новый T [m_length]; для (int i = 0; i m_array [i] = arr.m_array [я]; вернуть * это; } int getLength () const {return m_length; } T & оператор [] (int index) {return m_array [index]; } const T & оператор [] (int index) const {return m_array [index]; } };

Теперь давайте используем этот класс в программе. Чтобы показать вам, как работает этот класс, когда мы выделяем миллион целых чисел в куче, мы собираемся использовать класс Timer, который мы разработали в уроке 11. 18 — Время вашего кода. Мы будем использовать класс Timer, чтобы измерить скорость выполнения нашего кода и показать разницу в производительности между копированием и перемещением.

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 51 52 53

#include #include // для функций std :: chrono // Использует вышеуказанный класс DynamicArray class Timer { private: // Псевдонимы типов для упрощения доступа к вложенному типу using clock_t = std :: chrono :: high_resolution_clock; с использованием second_t = std :: chrono :: duration >; std :: chrono :: time_point m_beg; общедоступный: Таймер (): m_beg (clock_t :: now ()) { } void reset () { m_beg = clock_t :: now (); } double elapsed () const { return std :: chrono :: duration_cast (clock_t :: now () — m_beg). count (); } }; // Возвращаем копию arr со всеми удвоенными значениями DynamicArray cloneArrayAndDouble (const DynamicArray & arr) { DynamicArray dbl (arr.getLength ()); для (int i = 0; i dbl [i] = arr [i] * 2; возврат дбл; } int main () { Таймер t; DynamicArray arr (1000000); для (int i = 0; i arr [i] = i; arr = cloneArrayAndDouble (arr); std :: cout << t.elapsed (); }

На одной из машин автора в режиме релиза эта программа выполнилась за 0,00825559 секунды.

Теперь давайте снова запустим ту же программу, заменив конструктор копирования и присваивание копии конструктором перемещения и присваиванием перемещения.

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 51 52 53 54 55 56 57 58 59 60 61 62 63 9 0004 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 78 79 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 97 98 99 100 101 102 103 104 105

шаблон <класс T> класс DynamicArray { частный: T * m_array; int m_length; общедоступный: DynamicArray (длина int) : m_array (новый T [длина]), m_length (длина) { } ~ DynamicArray () { delete [ ] m_array; } // Конструктор копирования DynamicArray (const DynamicArray & arr) = delete; // Копировать присвоение DynamicArray & operator = (const DynamicArray & arr) = delete; // Конструктор перемещения DynamicArray (DynamicArray && arr) noexcept : m_length (arr. m_length), m_array (arr.m_array) { arr.m_length = 0; arr.m_array = nullptr; } // Перемещение присвоения DynamicArray & operator = (DynamicArray && arr) noexcept { if (& arr == this) return * this; удалить [] m_array; m_length = arr.m_length; m_array = arr.m_array; об.m_length = 0; arr.m_array = nullptr; вернуть * это; } int getLength () const {return m_length; } T & оператор [] (int index) {return m_array [index]; } const T & оператор [] (int index) const {return m_array [index]; } }; #include #include // для функций std :: chrono class Timer { private: // Псевдонимы типов для облегчения доступа к вложенному типу с использованием clock_t = std :: chrono :: high_resolution_clock; с использованием second_t = std :: chrono :: duration >; std :: chrono :: time_point m_beg; public: Timer (): m_beg (clock_t :: now ()) { } void reset () { m_beg = clock_t :: now (); } double elapsed () const { return std :: chrono :: duration_cast (clock_t :: now () — m_beg). count (); } }; // Возвращаем копию arr со всеми удвоенными значениями DynamicArray cloneArrayAndDouble (const DynamicArray & arr) { DynamicArray dbl (arr.getLength ()); для (int i = 0; i dbl [i] = arr [i] * 2; возврат дбл; } int main () { Таймер t; DynamicArray arr (1000000); для (int i = 0; i arr [i] = i; arr = cloneArrayAndDouble (arr); std :: cout << t.elapsed (); }

На том же компьютере эта программа была выполнена за 0,0056 секунды.

При сравнении времени выполнения двух программ 0,0056 / 0,00825559 = 67,8%. Версия с ходом была почти на 33% быстрее!

SPIN — Словарь моделирования

SPIN — Словарь моделирования

---

Аннотация

Словарь моделирования SPIN — это легкий набор Свойства и классы RDF для поддержки использования SPARQL для указать правила и логические ограничения. На основе RDF представление запросов SPARQL, SPIN определяет три класса описание свойства: spin: ограничение может использоваться для определения условий что все члены класса должны выполнять. spin: правило может использоваться для определения правил вывода с использованием SPARQL CONSTRUCT и DELETE / INSERT. spin: конструктор может использоваться для инициализации нового экземпляры со значениями по умолчанию. В дополнение к этим свойствам описания класса SPIN предоставляет мощные возможности мета-моделирования, которые можно использовать для построения собственный язык моделирования и расширения SPARQL.Эти функции мета-моделирования предоставляют возможность инкапсулировать многоразовые запросы SPARQL в шаблонов , и для получения новые функции SPARQL, а также магические свойства из других SPARQL запросы и функции.

Статус этого документа

В этом разделе описывается статус этого документа на момент его публикации. Другие документы могут заменять этот документ. Список текущих публикаций W3C может можно найти в указателе технических отчетов W3C по адресу http: // www.w3.org/TR/.

Этот документ является частью заявки SPIN, состоящей из трех документов:

1. SPIN — Обзор и мотивация
2. SPIN — Синтаксис SPARQL
3. SPIN — Словарь моделирования

Более ранние версии спецификации SPIN были опубликованы неофициальным SPIN. рабочая группа http://spinrdf.org

Публикуя этот документ, W3C подтверждает, что Отправка участников сделали официальный запрос на отправку в W3C для обсуждения.Публикация этого документа W3C означает отсутствие поддержки его содержания W3C, ни то, что W3C имеет, не выделяет или не будет выделять какие-либо ресурсы для решения проблем, которыми он занимается. Этот документ не является продуктом зарегистрированной группы W3C, но опубликован как потенциальный вход в процесс W3C. Комментарий команды W3C был опубликовано вместе с этим представлением участников. Публикация признанного члена Публикации на сайте W3C — одно из преимуществ Членство в W3C. Ознакомьтесь с требованиями, связанными с представлениями участников Раздел 3.3 Патентной политики W3C. Пожалуйста, ознакомьтесь с полным список подтвержденных представлений членов W3C.

---

1 Введение

SPARQL теперь прочно утвердился в качестве стандартного языка запросов для RDF-модели и данные семантической сети. Многие RDF API и базы данных поставляются с поддержкой SPARQL прямо из коробки. В то же время SPARQL может быть рассматривается как больше, чем просто язык запросов с SELECT ключевое слово: SPARQL также предоставляет средства для проверки наличия определенных условий в настоящее время держится в модели RDF ( ASK ), чтобы получить новые троек из существующих троек ( CONSTRUCT ), и выполнить операции DELETE или INSERT .Хотя эти мощные элементы все чаще используются разработчиками для решать задачи приложений и моделирования, SPIN определяет систематический структура о том, как использовать запросы SPARQL для управления приложениями. SPIN продвигает SPARQL на шаг вперед и использует его для улучшения существующего RDF. модели с формальными, исполняемыми описаниями.

На основе синтаксиса SPIN SPARQL метод SPIN Словарь моделирования (описанный в этом документе) определяет легкое набор весов классов и свойств RDFS, которые можно использовать для систематически встраивать запросы SPARQL в модели RDF, чтобы они может выполняться с четко определенной семантикой.Основная идея использовать определенные свойства RDF для связывания классов с запросами SPARQL чтобы эти запросы SPARQL могли выполняться с заданным контекстом.

В следующих главах описывается, как этот подход можно использовать для описывать классы (и их экземпляры, Глава 2), и как построить больше сложные конструкции моделирования из повторно используемых запросов SPARQL (Глава 3). В главе 4 описаны рекомендации по использованию Словарь SPIN следует использовать в контексте семантической сети.

2 Описание класса Словарь

Словарь описания класса SPIN определяет несколько свойств RDF. которые можно использовать для присоединения запросов SPARQL к классам. Недвижимость spin: запрос является общим базовым свойством вращение: ограничение , вращение : правило и spin: конструктор . SPIN-совместимые инструменты могут использовать эти свойства для выполнения запросов SPARQL к экземплярам связанных класс (ы) в ответ на события.Например, спин: правило может использоваться механизмами рассуждений SPIN для построения предполагаемых троек RDF от текущей утвержденной информации в модели.

Запросы SPARQL, на которые ссылаются свойства SPIN, интерпретируются в контексте связанного класса. Во время выполнения переменная SPARQL - этот (по умолчанию) предварительно связан с экземплярами класса и его подклассы. Обычно сам запрос не требует привязки - это к любому значению в предложении WHERE .Контекст выполнения (например, механизм вывода) сделает это до запрос выполняется. Однако, если объект запроса имеет значение , истинно для свойства spin: thisUnbound , тогда система будет не делайте этого предварительного связывания. См. Отдельный раздел По подробностям про спина: thisUnbound .

SPIN использует объектно-ориентированный взгляд на мир моделей Семантической паутины, в котором запросы SPARQL играют аналогичную роль функциям и методам.Наследование (выраженное с использованием rdfs: subClassOf ) обрабатывается в том смысле, что любой запрос, определенный для суперклассов, также будет применяется к подклассам. Другими словами, дескрипторы класса SPIN могут только «сузить» и еще больше ограничить то, что было определено далее вверх по иерархии классов. В этом духе global class описания — это те, которые прикреплены к корневому классу rdfs: ресурс или его аналог в OWL owl: Thing .Эти глобальные запросы могут даже не упоминать - это вообще.

В следующих разделах представлена ​​подробная информация о трех классах SPIN. описание свойств.

2.1 Ограничения

Свойство spin: ограничение можно использовать для связывания rdfs: класс с SPARQL ASK или CONSTRUCT запросов. Каждый запрос ASK определяет ограничение, которое, как предполагается, оценивается как ложь для каждого экземпляра связанного класса (и его подклассы).Другими словами, если ограничение ASK оценивается как true для одного экземпляра, то экземпляр нарушает условие. При желании запросы CONSTRUCT могут создавать экземпляры spin: ConstraintViolation класс, который предоставляет подробную информацию по конкретному нарушению. Во время выполнения запроса переменная SPARQL ? This связана к текущему экземпляру класса.

Интерактивные инструменты, такие как формы редактирования, могут использовать ограничения для проверки ввода пользователя.Веб-службы могут проверять диапазоны параметров. Поскольку запросы SPIN напрямую привязаны к определениям классов в машиночитаемом формате предполагаемое «значение» и объем эти классы могут быть четко переданы другим агентам.

2.1.1 Проверка ограничений с использованием ASK

В следующем примере определяется ограничение для класса примера. например: Родительский , поэтому каждый экземпляр родительского элемента должен быть не моложе 18 лет от , например: лет.xsd: строка; sp: где ([sp: object sp: _age; sp: сказуемое ex: возраст; sp: тема вращения: _this ] [SP: Фильтр; sp: выражение [SP: LT; sp: arg1 sp: _age; sp: arg2 18 ] ]) ].

В текстовом синтаксисе SPARQL приведенный выше запрос будет выглядеть так:

    # должно быть не моложе 18 лет
    СПРОСИТЕ ГДЕ {
        ? этот пример: возраст? возраст.ФИЛЬТР (? Возраст <18).
    } 

2.1.2 Проверка ограничений с помощью CONSTRUCT

В следующем примере используется запрос SPARQL CONSTRUCT, который более сложный, чем стиль ASK, но гораздо более гибкий. Предполагается, что CONSTRUCT создает экземпляры системного класса spin: ConstraintViolation . Эти экземпляры обычно пустые узлы, и к ним можно прикрепить дополнительные свойства экземпляры нарушения, чтобы инструменты редактирования могли направлять ввод данных пользователем:

• rdfs: этикетка может содержать текст, читаемый человеком что объясняет причину нарушения ограничения
• spin: нарушениеRoot может ссылаться на ресурс это источник нарушения ограничения
• spin: нарушение Путь может указывать на SPIN RDF выражение пути, которое часто является URI свойства
• spin: fix может указывать на один или несколько Шаблоны SPIN, которые обертывают SPARQL Запрос на обновление. Подробности ниже.

вращение: ограничение
          [SP: Construct;
            sp: templates ([sp: object spin: ConstraintViolation;
                            sp: предикат rdf: type;
                            sp: subject _: b1
                          ] [sp: вращение объекта: _this;
                            sp: предикат спин: нарушениеRoot;
                            sp: subject _: b1
                          ] [sp: объект kennedys: супруга;
                            sp: вращение предиката: нарушениеPath;
                            sp: subject _: b1
                          ] [sp: object «Однополые браки не разрешены (в этой модели)»;
                            sp: предикат rdfs: label;
                            sp: subject _: b1
                          ]);
            sp: где ([sp: object sp: _spouse;
                            sp: сказуемое kennedys: супруга;
                            sp: тема вращения: _this
                          ] [sp: объект sp: _gender;
                            sp: предикат kennedys: пол;
                            sp: тема вращения: _this
                          ] [sp: объект sp: _spouseGender;
                            sp: предикат kennedys: пол;
                            sp: subject sp: _spouse
                          ] [SP: Фильтр;
                            sp: выражение
                                    [SP: EQ;
                                      sp: arg1 sp: _gender;
                                      sp: arg2 sp: _spouseGender
                                    ]
                          ])
              ] 

В текстовом синтаксисе SPARQL приведенный выше запрос будет выглядеть так:

    CONSTRUCT {
        _: b0 спин: ConstraintViolation;
             spin: нарушениеRoot? this;
             спин: нарушение Путь кеннеди: супруга;
             rdfs: метка "Однополые браки не разрешены (в этой модели)"
    }
    ГДЕ {
        «этот кеннеди: супруга» супруга. «этот кеннеди: пол» пол.
        супруга кеннеди: пол супруга
        ФИЛЬТР (? Пол =? Пол супруга).
    } 

Ограничения SPIN могут использоваться для различных целей, но в в частности, чтобы убедиться, что экземпляр класса поддерживает свои ожидаемое состояние в отношении значений свойств и отношения с другими ресурсами. Например, простой SPIN ограничения могут проверять только диапазон некоторых литералов типа данных, но другие, более сложные ограничения также могут обходить соседние узлы, запуск сопоставления графа с образцом в контекстной переменной - это .Все, что можно выразить в SPARQL, можно использовать в ограничениях SPIN, включая запросы к другим конечным точкам SPARQL, пункты FILTER и сложные математические вычисления.

Обратите внимание, что значения вращения : ограничение свойство также может быть вызовом шаблона SPIN, предполагая, что эти шаблоны охватывают запросы CONSTRUCT или ASK. По сути, SPIN позволяет использовать шаблоны всякий раз, когда ожидается запрос, если тип запроса соответствует ожиданиям.

2.1.3 Нарушения ограничений, предлагающие исправления

Проверки ограничений формы CONSTRUCT также могут создавать дополнительная информация, которая может помочь пользователю исправить указанное ограничение нарушение. Вращение : ConstraintViolation может иметь одно или несколько значений. для вращения : исправить , указывая на вызов (экземпляр) spin: UpdateTemplate . Вызов шаблона обычно будет иметь дополнительные аргументы, которые также могут быть построены как часть ограничения проверьте предложение CONSTRUCT.

Следующий пример запроса прикреплен к классу Person с использованием spin: ограничение . Если Человек (? Это ) есть супруг (а) и моложе 18 лет, то нарушение будет сообщено. Спин : ConstraintViolation также указывает на шаблон SPIN типа : DeleteTriple , построенный как анонимный узел с идентификатором _: fix .

    CONSTRUCT {
        _: нарушение спин: ConstraintViolation;
                rdfs: метка «Несовершеннолетние браки не допускаются»;
                spin: нарушениеRoot? this;
                спин: нарушениеПуть: супруга;
                spin: fix _: fix._: исправить: DeleteTriple;
                rdf: тема? это;
                rdf: сказуемое: супруга;
                rdf: объект? супруга.
    }
    ГДЕ {
        «это: супруга» супруга.
        ? это: возраст? возраст.
        ФИЛЬТР (? Возраст <18).
    } 

Не вдаваясь в подробности о шаблоне : DeleteTriple , это спин : UpdateTemplate , который обертывает SPARQL DELETE команда на указанную тройку. Шаблон принимает три аргумента, rdf: субъект , rdf: предикат и rdf: объект , которые заполняются CONSTRUCT выше с использованием текущих привязок переменных.Шаблон будет иметь понятную человеку этикетку, чтобы пользовательский интерфейс мог предложить исправление из контекстного меню.

2.2 Правила

Свойство spin: правило можно использовать для связывания rdfs: класс с запросами SPARQL CONSTRUCT или DELETE / INSERT операций обновления. Каждый запрос или операция определяет применяемое правило вывода. ко всем экземплярам связанного класса и его подклассов.

2.2.1 Правила вывода с использованием CONSTRUCT

Если свойство spin: правило указывает на запрос CONSTRUCT , затем это определяет правило вывода, которое определяет, как дополнительные тройки могут следует выводить из того, что указано в пункте WHERE . Для каждой привязки выкройки в ГДЕ пункт правила, тройные шаблоны из CONSTRUCT предложения создаются и добавляются как предполагаемые тройки к базовая модель.xsd: строка; rdfs: subClassOf сова: вещь; спин: правило [SP: Construct; sp: шаблоны ([sp: object sp: _grandParent; sp: предикат ex: grandParent; sp: тема вращения: _this ]); sp: где ([sp: вращение объекта: _this; sp: предикат ex: child; sp: subject sp: _parent ] [sp: объект sp: _parent; sp: предикат ex: child; sp: subject sp: _grandParent ]) ].

В текстовом синтаксисе SPARQL приведенный выше запрос будет выглядеть так:

    CONSTRUCT {
    ? this ex: grandParent? grandParent.
    }
    ГДЕ {
    «родитель экс: ребенок» это.
    «grandParent ex: ребенок» родитель.
    } 

Свойство spin: правило имеет тип вращения : RuleProperty . Любое подсвойство спина : правило может использоваться в дополнение к spin: правило для хранения правил.

Вновь выведенные тройки правила CONSTRUCT войдут в специальный граф выводов.Этот график является частью графа запроса по умолчанию, который предложение WHERE будет выполняться, так что выводы из предыдущего шага будут видны «следующему» правилу.

2.2.2 Обновление правил с помощью DELETE / INSERT

Если свойство spin: rule указывает на операцию SPARQL UPDATE, то это определяет правило обновления, которое приведет к утверждениям, а не к выводам. Это потенциально более мощно, чем правила CONSTRUCT , потому что Правила UPDATE могут включать предложение DELETE ( DELETE WHERE также поддерживается), и, кроме того, появляется возможность указать цель графики, которые необходимо изменить.Еще одно преимущество использования правил UPDATE заключается в том, что никакой конкретный граф выводов не может потребуются, и, следовательно, выполнение правила может быть быстрее.

Однако обратите внимание, что ОБНОВЛЕНИЯ с помощью DELETE могут более легко привести к бесконечным циклам, потому что правила могут отменить результаты предыдущих шагов. Также обратите внимание, что изменения будут внесены в фактические модели, так что результат правила могут быть случайно сохранены при редактировании и оценке правил.

В следующем примере определяется правило, которое определяет значения ex: grandParent свойство из значений ex: child , и вставляет полученные тройки в указанный именованный граф.

    С 
    INSERT {
    ? this ex: grandParent? grandParent.
    }
    ГДЕ {
    «родитель экс: ребенок» это.
    «grandParent ex: ребенок» родитель.
    } 

2.2.3 Контроль порядка исполнения правил

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

На самом детальном уровне правила можно сгруппировать по категориям. с использованием подсвойств вращения : правило . Недвижимость spin: nextRuleProperty можно использовать для связывания двух таких свойства вместе, так что правила из одной группы будут выполнены до другие. Например, если вы хотите запустить все ex: importRules перед всеми вращениями: правила , затем добавьте тройной пример: importRule spin: nextRuleProperty spin: rule и используйте ex: importRule , чтобы прикрепить правила с высоким приоритетом к вашему классу.

rdfs: комментарий правила следует использовать в качестве последнего уровня заказ. Это позволяет разработчикам вставлять комментарии такие как "# Step 1: ...", "# Step 2: ..." и т. д. в качестве первых строк их правила. Пользовательские интерфейсы могут использовать тот же порядок и (как TopBraid) может сделать это по умолчанию.

Свойство spin: rulePropertyMaxIterationCount можно прикрепить к любому подчиненному свойству spin: правило предписывает двигателю выполнять определенные правила определенное количество раз.В частности, это позволяет убедиться, что правила, создающие пустые узлы, выполняется один раз, что позволяет избежать проблем с бесконечными циклами.

2.2.4 Правила организации в библиотеках

В некоторых случаях правила могут быть импортированы из библиотеки. Такая библиотека файлы могут только объявлять сами правила, но не иметь дополнительных троек в них, что было бы актуально для выполнения правила. В базовый URI ( owl: Ontology ) таких файлов может быть аннотирован быть экземпляром вращения : LibraryOntology .В этом В этом случае все тройки из указанного графа должны игнорироваться SPIN движки правил.

2.2.5 Управление привязкой? This

В настройках по умолчанию правила SPIN или механизм проверки ограничений будут предварительно связать переменную - этот со всеми экземплярами связанных класс. Наивная реализация этого - добавить тройное совпадение, например - это rdf: введите ex: Class в предложение WHERE. Эта проверка будет убедитесь, что система выполняет итерацию только по значениям этого класса. xsd: boolean для указания двигателю чтобы обойти явную привязку - это . Вращение : thisUnbound свойство было введено в SPIN 1.1. Рекомендуем отображать движки должна отображать переменную ? это жирным шрифтом, чтобы указать, что она специальное значение, если не установлено spin: thisUnbound .

2.3 Конструкторы

Свойство spin: конструктор можно использовать для связывания rdfs: класс с запросами SPARQL CONSTRUCT или DELETE / INSERT операций обновления.Каждый запрос Construct определяет правило вывода, которое может быть применяется ко всем новым экземплярам связанного класса и его подклассы во время создания. Конструкторы обычно только оценивается один раз, чтобы установить начальные значения по умолчанию для некоторых свойств экземпляров. Во время выполнения запроса переменная SPARQL - этот привязан к текущему экземпляру класса.

Например, если пользователь создает новый экземпляр ex: USCitizen , то его конструктор можно использовать для автоматически установить его например: BirthCountry недвижимость до например: США .xsd: строка; rdfs: subClassOf ex: Person; spin: конструктор [SP: Construct; sp: шаблоны ([sp: object ex: USA; sp: предикат ex: BirthCountry; sp: тема вращения: _this ]); sp: где () ].

В текстовом синтаксисе SPARQL приведенный выше запрос будет выглядеть так:

    CONSTRUCT {
    ? это пример: BirthCountry ex: США.}
    ГДЕ {
    } 

Во время выполнения единственная тройка, которая будет надежно присутствовать для ? это — это rdf: введите тройной, связывает ? этот с классом, у которого есть конструктор прикрепленный к нему, или его подкласс.

SPIN-совместимые движки должны гарантировать, что суперкласс конструкторы выполняются перед конструкторами подклассов. Как следствие, конструкторы подклассов могут предполагать, что присутствуют дополнительные тройки, и могут запрашивать их в своих ГДЕ пунктов.

Конструкторы также должны выполняться механизмами вывода SPIN: Если правило создает новую тройку rdf: введите , тогда соответствующие конструкторы должны вызываться на предмет типа тройной. Конструкторы должны выполняться после правила был выполнен полностью — это гарантирует, что все тройки, упомянутые в шаблоне построения правила, будут создается и может быть запрошен предложением WHERE конструкторов.

Запросы SPARQL часто похожи и отличаются только одним или двумя значениями. SPIN можно использовать для обобщения запросов SPARQL, чтобы их можно было повторно используется в нескольких контекстах. Словарь мета-моделирования SPIN описанные в следующих разделах, представляют три механизма инкапсуляция шаблонов запросов SPARQL: шаблоны, Функции и магические свойства.

3.1 Шаблоны

Шаблоны представляют собой многоразовые «упакованные» запросы SPARQL, которые можно использовать в сочетании с такие свойства, как spin: rule или spin: constraint , но также в других местах.

В следующем примере определяется шаблон , например: MinCardinality . что можно использовать для проверки того, что ? этот имеет как минимум - подсчитать значений для данного свойства - предикат . Обратите внимание, что функция ex: cardinality является определяемой пользователем Функция SPIN, которая будет описана позже.

    пример: MinCardinality
      вращение: AskTemplate;
      rdfs: subClassOf spin: AskTemplates;
      rdfs: comment «Проверяет, есть ли у него хотя бы« счетные значения »для данного предиката свойства».  xsd: string;
      вращение: тело
              [SP: Спросите;
                sp: где ([sp: Filter;
                            sp: выражение
                                    [sp: arg1 [sp: arg1 sp: _predicate;
                                                пример: мощность
                                              ];
                                      sp: arg2 sp: _count;
                                      a sp: lt
                                    ]
                          ])
              ].

Вышеупомянутый основной запрос в синтаксисе SPARQL выглядит так:

    СПРОСИТЕ ГДЕ {
    ФИЛЬТР (например: количество элементов (? Предикат) 
 Шаблоны - это экземпляры подклассов метакласса  spin: Template :  спин: AskTemplate ,  спин: ConstructTemplate ,  spin: SelectTemplate  и  spin: UpdateTemplate , в зависимости
 от типа запроса, который они переносят. Эти метаклассы не следует путать
 с похожими по звучанию классами, такими как  spin: AskTemplates ,
 которые предназначены только для организации существующих шаблонов в
 категории, e.xsd: строка;
 rdfs: subClassOf сова: вещь;
 вращение: ограничение
 [пример: MinCardinality;
 пример: счет 1;
 пример: предикат ex: ребенок
 ]. 

Каждый аргумент шаблона должен быть представлен одним дескриптором аргумента (экземпляр шаблона spl: аргумент , где пространство имен для префикса spl это http://spinrdf.org/spl# ). Каждый дескриптор аргумента должен указывать на свойство RDF, используя spl: предикат .Это свойство будет содержать фактический шаблон значения при создании экземпляра шаблона. Локальное имя этого свойства используется как имя переменной для аргумента. Например, свойство sp: arg1 представляет переменную ? Arg1 . Аргументы также могут иметь тип значения с использованием spl: valueType и может быть spl: необязательно . Кроме того, аргументы могут определять значение по умолчанию, используя spl: defaultValue .Значение по умолчанию должно использоваться для аргумент, если значение не было явно указано в вызове шаблона. Настоятельно рекомендуется определить rdfs : комментарий для каждый аргумент, чтобы описать роль аргумента в запросе.

Сам инкапсулированный запрос должен быть сохранен с использованием spin: body . В зависимости от типа шаблона, spin: body должен быть экземпляром of sp: Ask , sp: Construct , sp: Describe или sp: выберите , sp: Modify или sp: DeleteWhere .

Во время выполнения запрос уже будет иметь переменные объявлены в дескрипторах аргументов, предварительно назначенных с аргументы в вызове шаблона.

Шаблоны должны определять значение для вращения : labelTemplate с заполнителями для имен переменных между {и}, чтобы Пользовательские интерфейсы могут отображать вызовы шаблонов в удобочитаемом виде. Например, приведенный выше вызов шаблона будет отображаться как

    не менее 1 значения для ex: child 

Шаблоны можно публиковать в семантической сети, а затем импортировать другими моделями.Агенты SPIN могут в принципе динамически разрешать шаблоны из Интернета, аналогичные распределенным веб-службам. Такие библиотеки шаблонов могут указывать предметно-ориентированные языки моделирования. (в качестве альтернативы или в дополнение к таким языкам, как OWL). поскольку шаблоны являются исполняемыми, эти основанные на шаблонах языки моделирования имеют четко определенную формальную семантику.

См. Также: Общие сведения о шаблонах SPIN

3.

2 функции

SPIN можно использовать для определения новых функций SPARQL, чтобы эти новая функция может использоваться в таких выражениях, как FILTER или BIND пунктов. Технически функции SPIN очень похожи на шаблоны SPIN. Функции определяются телом и нулем или более дескрипторов аргументов. Тело функции должно быть запросом Ask или запросом Select с ровно одна переменная результата.

В следующем примере объявляется новая функция ex: мощность который получает количество значений данного свойства в текущем субъект (? это ), используя SPARQL COUNT запрос.xsd: строка; вращение: ограничение [spl: аргумент; rdfs: comment «Свойство, мощность которого требуется получить.» ; spl: предикат sp: arg1 ]; вращение: тело [SP: Выбрать; sp: resultVariables ([sp: Count; sp: выражение sp: _object ]); sp: где ([sp: object sp: _object; sp: предикат spin: _arg1; sp: тема вращения: _this ]) ].

После определения функции ее можно использовать в запросах SPARQL, таких как

    ФИЛЬТР (пример: количество элементов (пример: ребенок)> 0) 

Выражение выше представлено в синтаксисе SPIN как

    [SP: Фильтр;
      sp: выражение
                 [sp: arg1 [sp: arg1: child;
                             пример: мощность
                           ];
                   sp: arg2 0;
                   a sp: gt
                 ]
    ] 

Аргументы объявляются так же, как и в случае с шаблонами (см. Выше).Основное отличие состоит в том, что аргументы функции должны быть упорядочены. так что традиционная текстовая нотация SPARQL может правильно округлить- их поездка. По умолчанию аргументы функции отсортированы по алфавиту. по их местному названию. Функции часто используют системные свойства sp: arg1 , sp: arg2 и т. Д., Чтобы объявить аргументы в ожидаемом порядке, но можно использовать и любое другое свойство. Вызов функций будет использовать объявленные значения по умолчанию для аргумента, если никакие другие значения явно не указаны.

Функции не должны иметь spin: body . В таких случаях предполагается, что среда выполнения предоставляет различные реализации из них, например как жестко запрограммированные функции Java или с использованием JavaScript (см. SPINx).

Классы функций (и шаблонов) могут быть помечены как абстрактные , установив свойство вращение: абстрактное — истинное . Это указывает на окружающую среду что функция не должна создаваться напрямую, а только служит способом для организации и группировки других функций в иерархию.

Функции можно пометить как private , установив свойство spin: частные до true . Это сообщает окружающей среде, что функция должна использоваться только как «помощник» для других функций, но нигде больше.

См. Также: Общие сведения о функциях SPIN

3.2.1 Встроенная функция spin: eval

Совместимые со SPIN движки SPARQL должны обеспечивать встроенную функцию SPARQL. spin: eval , который можно использовать для оценки выражения SPIN или запрос во время выполнения.Это позволяет определить более высокий уровень функции, которые принимают вызовы других функций и запросы в качестве аргументов. Например, можно поместить выражение SPIN в качестве аргумента в шаблон. Затем тело шаблона может ссылаться на выражение (как предварительно связанная переменная) и оцените ее.

spin: eval принимает любое нечетное количество аргументов. Первый аргумент должен быть ссылкой на выражение SPIN (например, экземпляр функции SPARQL из пространства имен SP) или sp: выберите или sp: Ask .Остальные аргументы должны быть парами, так что первым будет свойство а второй — это значение, которое должно быть предварительно связано при оценке выражение.

В следующем примере выражение (привязанное к переменной? Выражение) выполняется с переменной ? arg3 , привязанной к буквальному значению. Результат функции будет присвоен - результату .

    BIND (spin: eval (? Выражение, sp: arg3, "значение") AS? Result) 

Если аргумент выражения — sp: выберите , тогда результат будет быть первой привязкой первой переменной результата.Если аргумент выражения — sp: Ask , то типизированный логический литерал будет возвращен.

3.3 Магические свойства

Magic Properties поддерживается многими движками SPARQL (например, Jena ARQ) для динамического вычисления значений во время запроса. Обычно магическое свойство поддерживается функцией вычисления, которая определяет привязки переменные в левой или правой части предиката.

SPIN позволяет пользователям определять такие магические свойства. Магические свойства объявлены очень похоже на SPIN Функции, но обеспечивают большую гибкость. В отличие от функций LET / FILTER, магические свойства могут возвращать несколько ценности. Кроме того, любая входная или выходная переменная может быть несвязанной, и это задача магического свойства найти все потенциальные привязки этих переменных.

Метакласс spin: MagicProperty используется для представления магии. свойства. Как показано ниже, spin: MagicProperty является подклассом of spin: функция и rdf: свойство , что делает возможным использовать их как функции или как предикаты в тройном совпадении.

Давайте посмотрим на пример магического свойства grandParent , которое определяет дедушка и бабушка отношения между людьми. Это определяется как spin: MagicProperty с одним аргументом ? Arg1 из тип кеннеди: Человек . Вращение : тело магии недвижимость выглядит следующим образом:

    ВЫБРАТЬ? GrandParent
    ГДЕ {
        ? родитель кеннеди: ребенок? arg1. 
        «grandParent kennedys: ребенок» родитель.xsd: строка;
      rdfs: subClassOf spin: MagicProperties;
      вращение: тело
              [SP: Выбрать;
                sp: resultVariables (_: b2);
                sp: где ([sp: вращение объекта: _arg1;
                            sp: предикат kennedys: ребенок;
                            sp: subject _: b1
                          ] [sp: object _: b1;
                            sp: предикат kennedys: ребенок;
                            sp: subject _: b2
                          ])
              ];
      вращение: ограничение
              [spl: аргумент;
                rdfs: comment "Человек, которому нужно получить дедушку и бабушку.xsd: строка;
                spl: предикат sp: arg1;
                spl: valueType kennedys: Person
              ]. 

Пример использования этой функции:

    ВЫБРАТЬ *
    ГДЕ {
        Кеннеди: Джон Кеннеди-младший: grandParent? grandParent.
    } 

Что возвращает привязки ? GrandParent с кеннеди: Джозеф Кеннеди и кеннеди: RoseFitzgerald . Во время выполнения обрабатывается предикат : grandParent . как вызов функции на основе запроса SPARQL, определенного как тело волшебное свойство.Значение в левой части магического свойства будет передан в функцию как ? arg1 . Результат привязки переменных в предложении SELECT будут привязаны к переменным в правая часть магического свойства. Имена входа и выхода переменные значения не имеют, учитывается только порядок появления.

Обратите внимание, что можно также использовать свойство типа : grandParent . как обычное имущество. Вопрос о том, будет создавать обычные тройки или выполнять вычисления динамически.

Магические свойства также могут принимать несколько аргументов и значений результата. используя (довольно неясный) синтаксис списка — эти случаи технически поддерживаются но сложно представить в синтаксисе SPIN RDF. По возможности сильно рекомендуется определять магические свойства только с одним аргументом и одной переменной результата. Это обеспечивает большую гибкость реализации и упрощает синтаксис и бремя реализации.

На этом фоне давайте рассмотрим другой вариант использования той же функции. сверху:

    ВЫБРАТЬ *
    ГДЕ {
        ? grandChild: grandParent kennedys: РоузФицджеральд.} 

Приведенный выше запрос связывает ? GrandChild со всеми внуками из кеннеди: RoseFitzgerald (всего несколько десятков, включая Кеннеди: Джон Кеннеди-младший ). Также можно оставить объект пуст, чтобы получить все отношения grandParent во всей модели.

Во время выполнения движок должен добавить аргументы к результату переменные тела (здесь: изменить подпись на ВЫБЕРИТЕ? GrandParent? Arg1 ).Затем предварительно привяжите все переменные которые были снабжены значениями и выполняют запрос SELECT. Используйте привязки результатов, чтобы ввести значения для несвязанных переменных. Если магическое свойство используется как тройное совпадение, то результат должен включить все существующие значения в график запроса в дополнение к привязки, производные от функции.

Начиная с spin: MagicProperty является подклассом spin: Function , любое магическое свойство также может использоваться как обычная функция ФИЛЬТР или ПОИСК.В этом случае будет только первая переменная результата первой строки результата. вернулся.

Обратите внимание, что функции SPIN и магические свойства могут использоваться для реализации поведение, известное как обратная цепочка на языках правил. Функции могут вызывать друг друга, даже рекурсивно, и механизм SPARQL будет перебирать несколько возможных пространств решений и выполнять обратное отслеживание если он не находит привязок для исходного запроса.

4 библиотеки SPIN

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

4.1 SPIN и семантическая сеть

Ограничения, правила и конструкторы SPIN связаны с классами RDFS / OWL с использованием специальных свойств, таких как spin: constraint .На Семантическая сеть это означает, что когда класс RDFS доступен в сети, пользователи класса также получат связанную семантику таким же образом, как и они получить метки, комментарии и т. д. Обычно определения и семантика классов хранится в том же документе.

Со словарем мета-моделирования SPIN ситуация немного иная, потому что функции и шаблоны SPIN можно использовать и в других местах. Однако функции и шаблоны SPIN имеют уникальный URI и поэтому могут быть загружены на какой-нибудь семантический веб-сайт, чтобы агенты, поддерживающие SPIN, могли найти исполняемое описание функции или шаблона по его URI.На практике это означает, что пользователи SPIN, планирующие поделиться своими файлами, должны убедитесь, что для выбранных URI есть возможность разыменования. Это просто означает, что если программный агент встречает функцию SPIN в запросе SPARQL, и эта функция изначально не известна двигателю, тогда двигатель может перейдите по ссылке на функцию, чтобы получить все тройки, необходимые для понимания того, как для его выполнения, включая spin: body .

Если файлы SPIN не используются в Семантической сети, а используются только локально, тогда это хорошая практика — помочь среде найти функцию и шаблон определения.Мы рекомендуем соглашение об именах для хранения таких файлов SPIN с окончание, например .spin.ttl или .spin.rdf . Это упрощает инструментам распознавание того, что файл может содержать SPIN. функции и шаблоны, чтобы инструмент мог заранее загрузить функции в память.

4.2 Импорт SPIN

Некоторые библиотеки ограничений или правил не зависят от конкретного домена онтологии, а скорее описывают общие закономерности. Например, можно для описания семантики подмножества OWL с использованием ограничений SPIN и, таким образом, повторно использовать словарь ограничений OWL для проверки ограничений целостности на существующие модели OWL. Такие библиотеки могут содержать spin: constraints которые просто прикреплены к owl: Thing или другому глобальному корневому классу.

Чтобы использовать такие библиотеки в контексте OWL, одним из вариантов является определение сова : импортирует , чтобы связать онтологию предметной области с ограничением библиотека. Однако это означает, что семантика OWL будет применяться к библиотеке. сам, потому что движки OWL будут объединять все тройки из файла SPIN и относиться к ним на том же уровне, что и к фактической тройке доменов.Более того, дополнительные тройки могут загромождать пользовательский интерфейс.

SPIN включает вращение : импортирует свойство , которое можно использовать связать базовый URI онтологии домена с файлом SPIN, заданным базовый URI файла SPIN. Для средства проверки ограничений SPIN (или механизма правил) ключевое слово spin: imports имеет то же значение, что и owl: import , т. е. все тройки из импортированного файла будут добавлены к текущему графику RDF. Однако тройки, указанные в spin: import , импортироваться не будут. в смысле OWL и поэтому остаются невидимыми для любого инструмента OWL.

В следующем примере онтология текущей предметной области (spinOWLTest) импортирует Библиотека ограничений SPIN, которая определяет подмножество OWL для проверки ограничений, чтобы движки SPIN сообщали о нарушении ограничения всякий раз, когда экземпляр из : Человек не имеет 1 : lastName . Обратите внимание, что это файл не импортирует пространство имен SPIN — он просто объявляет для него префикс.

 @prefix: .
 @prefix owl: .
 @prefix spin: .
 @prefix rdf: .
 @prefix rdfs: .
 @prefix xsd: 
No related posts.