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

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

Описание

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

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

Примечания

Литература

• John Hebeler; Matthew Fisher; Ryan Blace; Andrew Perez-Lopez; Mike Dean. Rule Interchange Format // . — 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 .

Ссылки

• , W3C