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.


Ссылки


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.