Regelutbytesformat

RIF , Rule Interchange Format (”regelutbytesformat”) är standardformatet för Semantic Web för att tillhandahålla interaktion mellan regelbaserade system ( engelska  regelbaserat system ) [1] . Det har varit en W3C- rekommendation sedan 22 juni 2010 [2] .

Ursprungligen tänkt som ett abstraktionslager för att hantera regler på den semantiska webben, det är faktiskt utformat för att möjliggöra interoperabilitet mellan olika regelspråk [3] .

Beskrivning

RIF innehåller tre dialekter: en Core-dialekt, som kan utökas till en Basic Logic Dialect (BLD) och en Production Rule Dialect (PRD). [4] [5] :

• RIF-Core- dialekten motsvarar Datalog , det vill säga hornlogik utan funktionssymboler, med tillägg för att stödja objekt, ramar och F-logik .
• RIF-BLD- dialekten är teoretiskt språket för vissa hornregler och standardsemantiken för första ordningens logik. Motsvarar system som bygger på slutledningsreglerna [6] .
• RIF-PRD- dialekten är avsedd att täcka huvudaspekterna av olika produktsystem . Produktionsregler består av ett villkor och en handling: OM och DÅ. Förhållandena liknar de som används i RIF-Core och RIF-BLD, och åtgärder tolkas enligt RDF-PRD operativa semantik och kan bestå av att lägga till, ta bort, ändra kunskapsbasfakta och orsaka andra biverkningar.

Anteckningar

1. ↑ Dean Allemang, James Hendler. Semantisk webb för den arbetande ontologen. - 2:a upplagan .. - Morgan Kaufmann, 2011. - 384 sid. - ISBN 978-0-12-385965-5 . , Expertmodellering i OWL
2. ↑ RIF kärndialekt . Hämtad 13 juni 2015. Arkiverad från originalet 28 november 2014. (obestämd)
3. ↑ Kifer, Michael (2008). " Rule Interchange Format: The Framework  (länk ej tillgänglig) ". i: Web Reasoning and Rule Systems. Föreläsningsanteckningar i datavetenskap
4. ↑ RIF-översikt . Hämtad 13 juni 2015. Arkiverad från originalet 21 augusti 2015. (obestämd)
5. ↑ Straccia, 2013 , kapitel 5. Regelspråk.
6. ↑ Struktur för RIF Arkiverad 19 juni 2015 på Wayback Machine , RIF Användningsfall och krav (andra upplagan), W3C

Litteratur

• John Hebeler; Matthew Fisher; Ryan Blace Andrew Perez-Lopez; Mike Dean. Rule Interchange Format // Semantisk webbprogrammering . - John Wiley & Sons, 2009. - 646 sid. — ISBN 978-0-470-41801-7 .
• Umberto Stracia. Grunderna för fuzzy logik och semantiska webbspråk. - CRC Press, 2013. - 386 sid. - ISBN 978-1-4398-5348-1 .

Länkar

• RIF Core Dialect (andra upplagan) , W3C