Szabálycsere formátuma

A RIF , Rule Interchange Format („szabálycsere formátum”) a Szemantikus Web szabványos formátuma a szabályalapú rendszerek közötti interakció biztosítására ( angol  szabályalapú rendszer ) [1] . 2010. június 22. óta a W3C ajánlása [2] .

Eredetileg absztrakciós rétegnek szánták a szemantikus web szabályainak kezelésére, valójában azonban úgy tervezték, hogy lehetővé tegye a különböző szabálynyelvek közötti együttműködést [3] .

Leírás

A RIF három dialektust tartalmaz: egy Core dialektust, amely kiterjeszthető egy alapvető logikai dialektusra (BLD) és egy termelési szabály dialektusra (PRD). [4] [5] :

• A RIF-Core dialektus megfelel a Datalog -nak , azaz a funkciószimbólumok nélküli kürt logikának , az objektumokat, kereteket és az F-logikát támogató kiterjesztésekkel .
• A RIF-BLD dialektus elméletileg bizonyos Horn-szabályok nyelve és az elsőrendű logika standard szemantikája. Megfelel a következtetés szabályain alapuló rendszereknek [6] .
• A RIF-PRD dialektus célja, hogy lefedje a különböző termékrendszerek fő szempontjait . Az előállítási szabályok egy feltételből és egy műveletből állnak: HA és THEN. A feltételek hasonlóak a RIF-Core-ban és a RIF-BLD-ben használtakhoz, és a műveletek az RDF-PRD működési szemantikája szerint értelmeződnek, és állhatnak tudásbázis tények hozzáadásából, törléséből, megváltoztatásából, és egyéb mellékhatásokat okozhatnak.

Jegyzetek

1. ↑ Dean Allemang, James Hendler. Szemantikus web a dolgozó ontológus számára. - 2. kiadás .. - Morgan Kaufmann, 2011. - 384 p. - ISBN 978-0-12-385965-5 . , Szakértői modellezés az OWL-ben
2. ↑ RIF alapdialektus . Letöltve: 2015. június 13. Az eredetiből archiválva : 2014. november 28.. (határozatlan)
3. ↑ Kifer, Michael (2008). " Szabálycsere formátuma: A keretrendszer  (hivatkozás nem érhető el) ". in: Web Reasoning and Rule Systems. Előadásjegyzetek számítástechnikából
4. ↑ RIF áttekintés . Letöltve: 2015. június 13. Az eredetiből archiválva : 2015. augusztus 21.. (határozatlan)
5. ↑ Straccia, 2013 , 5. fejezet: Szabálynyelvek.
6. ↑ A RIF szerkezete archiválva 2015. június 19-én a Wayback Machine -nél , RIF használati esetek és követelmények (második kiadás), W3C

Irodalom

• Hebeler János; Matthew Fisher; Ryan Blace Andrew Perez-Lopez; Mike Dean. Szabálycsere-formátum // Szemantikus webprogramozás . - John Wiley & Sons, 2009. - 646 p. — ISBN 978-0-470-41801-7 .
• Umberto Stracia. A fuzzy logika és a szemantikus webnyelvek alapjai. - CRC Press, 2013. - 386 p. - ISBN 978-1-4398-5348-1 .

Linkek

• RIF Core Dialect (második kiadás) , W3C