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 и могут состоять в добавлении, удалении, изменении фактов базы знаний и вызвать другие побочные эффекты.
|
---|
Продукты и стандарты | Рекомендации | |
---|
ООСО | |
---|
Рабочие проекты | |
---|
Руководства | |
---|
Инициативы | |
---|
Выведенные из использования | |
---|
Устаревшие | |
---|
|
---|
Организации | | Рабочие группы | |
---|
Группы сообщества и бизнеса | |
---|
Закрывшиеся группы | |
---|
|
---|
ПО | |
---|
Конференции | |
---|
|
---|
Основы | |
---|
Подразделы | |
---|
Приложения | |
---|
Связанные темы | |
---|
Стандарты | |
---|