Rule Interchange Format

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

RIF в Семантической паутине.

Первоначально предназначался в качестве слоя абстракции для работы с правилами в семантической паутине, но в реальности спроектирован для обеспечения взаимодействия между различными языками правил[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
  3. Kifer, Michael (2008). "Rule Interchange Format: The Framework". in: Web Reasoning and Rule Systems. Lecture Notes in Computer Science
  4. RIF Overview
  5. Straccia, 2013, Chapter 5. Rule Languages.
  6. Structure of RIF, 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.


Ссылки[править | править вики-текст]