รูปแบบการแลกเปลี่ยนกฎ ( RIF ) เป็นข้อแนะนำของ W3C RIF เป็นส่วนหนึ่งของโครงสร้างพื้นฐานสำหรับเว็บเชิงความหมายร่วมกับ (โดยหลัก) SPARQL , RDFและOWLแม้ว่าเดิมทีหลายคนมองว่าเป็น "เลเยอร์กฎ" สำหรับเว็บเชิงความหมาย แต่ในความเป็นจริง การออกแบบของ RIF นั้นขึ้นอยู่กับการสังเกตว่ามี "ภาษากฎ" อยู่มากมาย และสิ่งที่จำเป็นคือการแลกเปลี่ยนกฎระหว่างภาษาเหล่านั้น^{[ 1 ]}

RIF ประกอบด้วยภาษาถิ่นสามภาษา ได้แก่ ภาษาถิ่นหลักซึ่งขยายเป็นภาษาถิ่นตรรกะพื้นฐาน (BLD) และภาษาถิ่นกฎการผลิต (PRD) ^{[ 2 ]}

กลุ่มทำงาน RIF ได้รับการจัดตั้งขึ้นในช่วงปลายปี 2548 โดยมีเป้าหมายหนึ่งคือการดึงสมาชิกจากตลาดกฎเกณฑ์เชิงพาณิชย์เข้ามา กลุ่มทำงานเริ่มต้นด้วยสมาชิกมากกว่า 50 คนและประธานสองคนจากภาคอุตสาหกรรม ได้แก่ Christian de Sainte Marie จากILOGและChris WeltyจากIBMข้อกำหนดในการพัฒนารูปแบบการแลกเปลี่ยนระหว่างระบบกฎเกณฑ์ที่มีอยู่ได้รับอิทธิพลจากการประชุมเชิงปฏิบัติการในช่วงฤดูใบไม้ผลิปี 2548 ซึ่งเห็นได้ชัดว่าภาษากฎเกณฑ์เดียวจะไม่สามารถตอบสนองความต้องการของผู้มีส่วนได้ส่วนเสียทั้งหมดได้ (ดร. Welty อธิบายผลลัพธ์ของการประชุมเชิงปฏิบัติการว่าเป็นสมดุลแนช^{[ 3 ]} )

RIF กลายเป็นข้อแนะนำของ W3Cเมื่อวันที่ 22 มิถุนายน 2553 ^{[ 4 ]}

กฎอาจเป็นแนวคิดที่ง่ายที่สุดอย่างหนึ่งในวิทยาศาสตร์คอมพิวเตอร์: มันคือโครงสร้างแบบ IF - THEN ถ้าเงื่อนไขบางอย่าง (ส่วน IF) ที่ตรวจสอบได้ในชุดข้อมูลบางอย่างเป็นจริง ข้อสรุป (ส่วน THEN) ก็จะถูกประมวลผล ระบบกฎใช้แนวคิดของ述语 (predicate) ที่เป็นจริงหรือไม่เป็นจริงกับวัตถุข้อมูลบางอย่าง โดยมีรากฐานมาจากตรรกศาสตร์ตัวอย่างเช่น ข้อเท็จจริงที่ว่าคนสองคนแต่งงานกัน อาจแสดงด้วย述语ดังนี้:

แต่งงานแล้ว (ลิซ่า, จอห์น)

"แต่งงานแล้ว"เป็นคำกริยาที่อาจกล่าวได้ว่ามีความสัมพันธ์กันระหว่างลิซ่าและจอห์นหากเพิ่มแนวคิดเรื่องตัวแปรเข้าไป กฎอาจมีลักษณะดังนี้:

ถ้าแต่งงานแล้ว (x, y)แล้วรัก (x, y)

เราคาดหวังว่าสำหรับทุกคู่ของ ?x และ ?y (เช่นลิซ่าและจอห์น ) ที่ เงื่อนไข " แต่งงานแล้ว"เป็นจริง ระบบคอมพิวเตอร์บางระบบที่สามารถเข้าใจกฎนี้ได้จะสรุปได้ว่า เงื่อนไข "รักแล้ว " ก็เป็นจริงสำหรับคู่นั้นเช่นกัน

กฎเป็นวิธีง่ายๆ ในการเข้ารหัสความรู้ และเป็นการลดทอนตรรกะลำดับที่หนึ่ง อย่างมาก ซึ่งทำให้การสร้างกลไกการอนุมานที่สามารถประมวลผลเงื่อนไขและสรุปผลที่ถูกต้องนั้นค่อนข้างง่ายระบบกฎคือการนำไวยากรณ์และความหมายของกฎมาใช้ ซึ่งอาจขยายแนวคิดง่ายๆ ที่อธิบายไว้ข้างต้นให้ครอบคลุมถึงการหาปริมาณเชิงมีอยู่ การเชื่อม แบบ เลือก การเชื่อม เชิงตรรกะการปฏิเสธฟังก์ชันความไม่เป็นไปตาม ลำดับ และ คุณลักษณะอื่นๆ อีกมากมาย ระบบกฎได้รับการนำไปใช้ และศึกษามาตั้งแต่กลางทศวรรษ 1970 และมีการใช้งานอย่างแพร่หลายในทศวรรษ 1980 ในช่วงที่ระบบผู้เชี่ยวชาญ (Expert Systems)กำลัง เฟื่องฟู

ภาษามาตรฐานของ RIF ประกอบด้วย Core, BLD และ PRD ภาษาเหล่านี้ขึ้นอยู่กับรายการประเภทข้อมูลจำนวนมาก พร้อมด้วยฟังก์ชันและตัวบ่งชี้ในตัวสำหรับประเภทข้อมูลเหล่านั้น

ความสัมพันธ์ของภาษาถิ่น RIF ต่างๆ แสดงอยู่ในแผนภาพเวนน์ต่อไปนี้^{[ 5 ]}

ประเภทข้อมูลและฟังก์ชันในตัว (DTB) ระบุรายการประเภทข้อมูล ฟังก์ชันในตัว และตัวบ่งชี้ในตัวที่คาดว่าจะได้รับการสนับสนุนโดยภาษาถิ่น RIF ประเภทข้อมูลบางส่วนได้รับการดัดแปลงมาจากประเภทข้อมูลXML Schema ^{[ 6 ]} ฟังก์ชันXPath ^{[ 7 ]}และฟังก์ชัน rdf:PlainLiteral ^{[ 8 ]}

ภาษาถิ่นหลัก (Core dialect) ประกอบด้วยส่วนย่อยทั่วไปของภาษาถิ่นตามกฎส่วนใหญ่ RIF-Core เป็นส่วนย่อยของทั้ง RIF-BLD และ RIF-PRD

กรอบงานสำหรับภาษาถิ่นตรรกะ (Framework for Logic Dialects หรือ FLD) อธิบายกลไกในการกำหนดไวยากรณ์และความหมายของภาษาถิ่น RIF เชิงตรรกะ ซึ่งรวมถึง RIF-BLD และ RIF-Core แต่ไม่รวมถึง RIF-PRD ซึ่งไม่ใช่ภาษาถิ่น RIF เชิงตรรกะ

ภาษาตรรกะพื้นฐาน (Basic Logic Dialect หรือ BLD) เพิ่มคุณสมบัติให้กับภาษาหลัก (Core dialect) ซึ่งไม่มีให้ใช้งานโดยตรง เช่น ฟังก์ชันตรรกะ ความเท่าเทียมกันในส่วน then และอาร์กิวเมนต์ที่มีชื่อ RIF BLD สอดคล้องกับดาต้าล็อกเชิงบวก กล่าวคือ โปรแกรมตรรกะที่ไม่มีฟังก์ชันหรือการปฏิเสธ

RIF-BLD มีความหมาย เชิงทฤษฎีแบบจำลอง

ไวยากรณ์เฟรมของ RIF BLD อิงตามตรรกะ Fแต่ RIF BLD ไม่มี คุณสมบัติ การให้เหตุผลที่ไม่ใช่แบบโมโนโทนิกของตรรกะ F ^{[ 9 ]}

ภาษาถิ่นกฎการผลิต (Production Rules Dialect หรือ PRD) สามารถใช้สร้างแบบจำลองกฎการผลิตได้ คุณลักษณะเด่นที่พบใน PRD แต่ไม่พบใน BLD ได้แก่ การปฏิเสธและการถอนข้อเท็จจริง (ดังนั้น PRD จึงไม่ใช่ภาษาแบบโมโนโทนิก) กฎของ PRD ขึ้นอยู่กับลำดับ ดังนั้นจึงจำเป็นต้องมีกลยุทธ์การแก้ไขข้อขัดแย้งเมื่อสามารถเรียกใช้กฎหลายข้อได้ ข้อกำหนดของ PRD กำหนดกลยุทธ์การแก้ไขข้อขัดแย้งแบบหนึ่งโดยอิงจากการให้เหตุผล แบบลูกโซ่ไปข้างหน้า

RIF-PRD มีความหมายเชิงปฏิบัติการในขณะที่สูตรเงื่อนไขยังมีความหมายเชิงแบบจำลองอีกด้วย

ตัวอย่าง (ตัวอย่าง 1.2 ใน^{[ 10 ]} )

คำนำหน้า (เช่น <http://example.com/2008/prd1#>) (* ex:rule_1 *) สำหรับยอดซื้อทั้งหมดของลูกค้าในปีนี้ ( ถ้าและ( ?ลูกค้า#เช่น:ลูกค้า ?ลูกค้า[เช่น:จำนวนการซื้อตลอดปี->?จำนวนการซื้อตลอดปี] ภายนอก(pred:numeric-greater-than(?purchasesYTD 5000)) ) จากนั้นทำการแก้ไข (แก้ไขลูกค้า[เช่น สถานะ->"Gold"]) ) ) 

นอกจากนี้ยังมีภาษาถิ่น RIF อื่นๆ อีกหลายภาษา แต่ไม่มีภาษาใดได้รับการรับรองอย่างเป็นทางการจาก W3C และไม่ได้เป็นส่วนหนึ่งของข้อกำหนด RIF

ภาษาการเขียนโปรแกรมชุดคำตอบหลัก (CASPD) ^{[ 11 ]}อิงตามการเขียนโปรแกรมชุดคำตอบนั่นคือ การเขียนโปรแกรมตรรกะเชิงประกาศโดยอิงตามความหมายของชุดคำตอบ ( ความหมายของแบบจำลองที่เสถียร )

ตัวอย่าง:

เอกสาร( คำนำหน้า (เช่น <http://example.com/concepts#>) กลุ่ม ( สำหรับทุก ?S ( ex:afraid(?S ex:Math) :- And ( ?S#ex:Student (Naf Neg ex:afraid(?S ex:Math)) ) ) สำหรับทุก ?S ( Neg ex:afraid(?S ex:Math) :- And ( ?S#ex:Student ?S[ex:majors -> ex:Math] ) ) ) 

ภาษาถิ่นกฎความไม่แน่นอน (URD) ^{​​[ 12 ]}สนับสนุนการแสดงความรู้ที่ไม่แน่นอนโดยตรง

ตัวอย่าง:

เอกสาร( นำเข้า (<http://example.org/fuzzy/membershipfunction >) กลุ่ม ( สำหรับทุก ?x ?y( cheapFlight(?x ?y) :- affordableFlight(?x ?y) ) / 0.4 Forall ?x ?y(affordableFlight(?x ?y)) / left_shoulder0k4k1k3k(?y) ) ) 

RIF-SILK ^{[ 13 ]}สามารถใช้เพื่อสร้างแบบจำลองตรรกะเริ่มต้นได้โดยอิงจากการเขียนโปรแกรมตรรกะเชิงประกาศด้วยความหมายที่มีพื้นฐานที่ดี RIF-SILK ยังรวมถึงคุณสมบัติอื่นๆ อีกหลายประการที่มีอยู่ในภาษาการเขียนโปรแกรมตรรกะเชิงประกาศที่ซับซ้อนกว่า เช่น SILK ^{[ 14 ]}

ตัวอย่าง

เอกสาร { คำนำหน้า(foaf http://xmlns.com/foaf/0.1/) คำนำหน้า (pub http://example.org/pub#) คำนำหน้า (ผ้าไหม http://TBD/silk#) กลุ่ม { (* r1 *) สำหรับทุก ?a1 ?a2 ?กระดาษ (?a1[foaf:knows->?a2]  :- ?paper # pub:Publication[pub:author->?a1, สำนักพิมพ์:ผู้เขียน->?a2}]) (* r2 *) สำหรับทุก ?a1 ?a2 (neg ?a1[foaf:knows->?a2]  :- ?a1[hasNeverMet->?a2]) silk:overrides(r2, r1) } } 

• การจัดเรียงออนโทโลยี
• อาร์2เอ็มแอล
• การแสดงกฎการผลิต (Production Rule Representation ) - เทียบได้กับภาษาถิ่นของ RIF ที่เรียกว่า Production Rule Dialect แม้ว่าจะมุ่งเน้นไปที่การสร้างแบบจำลอง ไม่ใช่การแลกเปลี่ยนข้อมูลในขณะรันไทม์ก็ตาม

• กลุ่มทำงาน RIF
• คำถามที่พบบ่อยเกี่ยวกับ RIF