Rule Interchange Format (RIF) on suositus W3C. RIF on osa semanttisen verkon tiekarttaa , pääasiassa SPARQL: n , RDF: n ja OWL: n kanssa . Vaikka monet alun perin tarkoittivat semanttista verkkoa "loogiseksi sääntökerrokseksi", todellisuudessa RIF: n suunnittelu perustuu havaintoon, että "sääntökieliä" on monia ja että sääntöjen välillä on tarpeen vaihtaa.
RIF sisältää kolme murtoa, ydinmurretta, peruslogiikkamurretta (BLD) ja tuotantosääntömurretta (PRD).
RIF-työryhmä perustettiin vuoden 2005 lopussa. Yksi sen tavoitteista on houkutella sääntöjen edistäjiä kaupallisille markkinoille. Työryhmä alkaa yli 50 jäsentä, joista 2 teollisuuden, Christian de Sainte-Marie päässä ILOG , ja Chris Welty alkaen IBM . Peruskirjaan nykyisten sääntöjärjestelmien välisen vaihtomuodon kehittämiseksi vaikuttaa kesän 2005 seminaari, jossa oli selvää, että yksi kielisääntö ei palvele asianomaisten osapuolten tarpeita (tohtori Welty kuvaa tämän seminaarin tulosta Nash-tasapaino ).
RIF: stä tuli W3C: n suositus 22. kesäkuuta 2010.
Sääntö on ehkä yksi yksinkertaisin käsitteitä tietotekniikassa: se on IF (IF) - NIIN (NIIN) konstruktin. Jos tietyt olosuhteet (IF-osassa) ovat todennettavissa tietyillä tiedoilla, päätelmä (THEN-osa) käsitellään. Johdettu logiikka , sääntö käyttävät käsitettä predikaattien jotka mahdollistavat päättelyn tai tietojen tai esineitä. Esimerkiksi se, että kaksi ihmistä on naimisissa, voidaan esittää predikaateilla, kuten MARRIED (LISA, JOHN) . MARIÉ on predikaatti joka tarjoaa päättelyn välillä LISA ja JOHN . Lisäämällä muuttujien käsite sääntö voi näyttää:
SI ''MARIÉ(?x, ?y)'' ALORS ''AIME(?x, ?y)''Joten jokaiselle AX- ja AY-parille (esimerkiksi LISA ja JOHN ), joille käytetään MARRIED- predikaattia , tietokonejärjestelmä voi päätellä tällä säännöllä, että AIME- predikaatti koskee paria X ja Y.
Säännöt ovat yksinkertainen tapa tietää miten edustaa tietoa, ja ne ovat radikaaleja yksinkertaistuksia ensiluokkaisesta logiikasta , jolle on suhteellisen helppo toteuttaa päätelmämoottoreita, jotka pystyvät käsittelemään olosuhteita ja tekemään hyviä johtopäätöksiä. Sääntöjärjestelmä on sääntöjen syntaksin ja semantiikan erityinen toteutus , joka voi ulottua yllä kuvatusta yksinkertaisesta käsitteestä seuraaviin:
Sääntöjärjestelmiä on sovellettu ja tutkittu 1970-luvun puolivälistä lähtien, ja ne otettiin laajalti käyttöön 1980-luvulla asiantuntijajärjestelmien myötä .
Tavalliset RIF-murteet ovat Core, BLD ja PRD. Nämä murteet riippuvat laajasta luettelosta tietotyypeistä, joissa on sisäänrakennetut ja aiotut toiminnot kyseisille tietotyypeille.
Eri RIF-murteiden väliset suhteet on esitetty Venn-kaaviossa.
Esimerkki (esimerkki 1.2 tuumaa)
Prefix(ex <http://example.com/2008/prd1#>) (* ex:rule_1 *) Forall ?customer ?purchasesYTD ( If And( ?customer#ex:Customer ?customer[ex:purchasesYTD->?purchasesYTD] External(pred:numeric-greater-than(?purchasesYTD 5000)) ) Then Do( Modify(?customer[ex:status->"Gold"]) ) )Esimerkki:
Document( Prefix(ex <http://example.com/concepts#>) Group ( Forall ?S ( ex:afraid(?S ex:Math) :- And ( ?S#ex:Student (Naf Neg ex:afraid(?S ex:Math)) ) ) Forall ?S ( Neg ex:afraid(?S ex:Math) :- And ( ?S#ex:Student ?S[ex:majors -> ex:Math] ) ) )Esimerkki:
Document( Import (<http://example.org/fuzzy/membershipfunction >) Group ( Forall ?x ?y( cheapFlight(?x ?y) :- affordableFlight(?x ?y) ) / 0.4 Forall ?x ?y(affordableFlight(?x ?y)) / left_shoulder0k4k1k3k(?y) ) )Esimerkki
Document { Prefix(foaf http://xmlns.com/foaf/0.1/) Prefix(pub http://example.org/pub#) Prefix(silk http://TBD/silk#) Group { (* r1 *) Forall ?a1 ?a2 ?paper (?a1[foaf:knows->?a2] :- ?paper # pub:Publication[pub:author->?a1, pub:author->?a2}]) (* r2 *) Forall ?a1 ?a2 (neg ?a1[foaf:knows->?a2] :- ?a1[hasNeverMet->?a2]) silk:overrides(r2, r1) } }