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

Литература

[править | править код]