Русская Википедия:Rule Interchange Format

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

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

Описание

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

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

Примечания

Шаблон:Примечания

Литература


Ссылки


Шаблон:Стандарты W3C Шаблон:Семантическая паутина

  1. Шаблон:Книга, Expert modeling in OWL
  2. Шаблон:Cite web
  3. Kifer, Michael (2008). «Rule Interchange Format: The FrameworkШаблон:Недоступная ссылка». in: Web Reasoning and Rule Systems. Lecture Notes in Computer Science
  4. Шаблон:Cite web
  5. Structure of RIF Шаблон:Wayback, RIF Use Cases and Requirements (Second Edition), W3C