Rule Interchange Format

RIF, Rule Interchange Format («формат обмена правилами») — стандартный формат Семантической паутины для обеспечения взаимодействия между системами, основанными на правилах (англ. rule-based system)[1]. Является рекомендацией W3C с 22 июня 2010 года[2].

Первоначально предназначался в качестве слоя абстракции для работы с правилами в семантической паутине, но в реальности спроектирован для обеспечения взаимодействия между различными языками правил[3].

Описание

RIF включает в себя три диалекта: диалект-центральное ядро (Core dialect), которое можно расширить до диалекта базовой логики (Basic Logic Dialect, BLD) и диалекта продукционных правил (Production Rule Dialect, PRD).[4][5]:

  • Диалект RIF-Core соответствует Datalog, то есть логике Хорна без функциональных символов с расширениями для поддержки объектов, фреймов и F-логики.
  • Диалект RIF-BLD в теоретическом плане является языком определённых хорновских правил и стандартной семантикой логики первого порядка. Соответствует системам на основе правил логического вывода[6].
  • Диалект RIF-PRD призван охватить основные аспекты различных продукционных систем. Продукционные правила состоят из условия и действия: IF и THEN. Условия аналогичны используемым в RIF-Core и RIF-BLD, а действия интерпретируются в соответствии с операционной семантикой RDF-PRD и могут состоять в добавлении, удалении, изменении фактов базы знаний и вызвать другие побочные эффекты.

Примечания

  1. ↑ Dean Allemang, James Hendler. Semantic Web for the Working Ontologist. — 2nd Ed.. — Morgan Kaufmann, 2011. — 384 p. — ISBN 978-0-12-385965-5., Expert modeling in OWL
  2. ↑ RIF Core Dialect  (неопр.). Дата обращения: 13 июня 2015. Архивировано 28 ноября 2014 года.
  3. ↑ Kifer, Michael (2008). «Rule Interchange Format: The Framework (недоступная ссылка)». in: Web Reasoning and Rule Systems. Lecture Notes in Computer Science
  4. ↑ RIF Overview  (неопр.). Дата обращения: 13 июня 2015. Архивировано 21 августа 2015 года.
  5. ↑ Straccia, 2013, Chapter 5. Rule Languages.
  6. ↑ Structure of RIF Архивная копия от 19 июня 2015 на Wayback Machine, RIF Use Cases and Requirements (Second Edition), W3C

Литература

  • John Hebeler; Matthew Fisher; Ryan Blace; Andrew Perez-Lopez; Mike Dean. Rule Interchange Format // Semantic Web Programming. — John Wiley & Sons, 2009. — 646 p. — ISBN 978-0-470-41801-7.
  • Umberto Straccia. Foundations of Fuzzy Logic and Semantic Web Languages. — CRC Press, 2013. — 386 p. — ISBN 978-1-4398-5348-1.


Ссылки

  • RIF Core Dialect (Second Edition), W3C


Перейти к шаблону «Стандарты W3C»
Продукты
и стандарты
Рекомендации
ООСО
  • IndieAuth[англ.]
  • XAdES[англ.]
  • XBL[англ.]
  • XHTML+SMIL[англ.]
  • XUP[англ.]
Рабочие проекты
Руководства
  • Руководящие принципы доступности веб-контента[англ.]
Инициативы
  • Markup Validation Service[англ.]
  • Web Accessibility Initiative[англ.]
  • WebPlatform[англ.]
Выведенные
из использования
Устаревшие
Организации
Рабочие группы
  • TAG[англ.]
  • CSS
  • SVG[англ.]
  • WebAuthn[англ.]
  • WHATWG
Группы сообщества и бизнеса
  • Web Advertising BG[англ.]
Закрывшиеся группы
  • Device Description (DDWG)[англ.]
  • HTML[англ.]
  • Multimodal Interaction Activity (MMI)[англ.]
ПО
Браузеры
  • Line Mode (1990–)[англ.]
  • Arena (1993–98)[англ.]
  • Agora (1994–97)[англ.]
  • Argo (1994–97)[англ.]
  • Amaya (браузер/редактор, 1996–2012)
Конференции
Перейти к шаблону «Семантическая паутина»
Основы
Подразделы
Приложения
Связанные темы
Стандарты
  • История: Plain Old Semantic HTML
  • DAML+OIL