Rule Interchange Format


Rule Interchange Format

Le Rule Interchange Format (RIF ) est une recommandation du W3C. RIF fait partie de la feuille de route du web sémantique, avec principalement SPARQL, RDF et OWL. Bien que prévu initialement par beaucoup comme une "couche de règles logiques" pour le web sémantique, en réalité, la conception du RIF est basée sur l'observation qu'il existe de nombreux "langages de règles" et qu'il est nécessaire de s'échanger des régles entre eux[1].

RIF comprend trois dialectes, un dialecte de base (Core dialect), un dialecte logique de base (BLD pour Basic Logic Dialect) et le dialecte de la règle de production (PRD pour Production Rule Dialect)[2].

Sommaire

Historique

RIF est devenu une recommandation du W3C le 22 juin 2010[3].

Règles et Systèmes de règle

Une règle est peut-être l'une des plus simples notions en informatique: c'est une construction SI (IF) - ALORS(THEN). Si certaines conditions (dans la partie SI) sont vérifiables avec certaines données, alors la conclusion (la partie ALORS) est traitée. Issu de la logique, les systèmes de règle utilisent la notion de prédicats qui permet l'inférence ou non de données ou d'objets. Par exemple, le fait que deux personnes soient mariées, peut être représenté avec des prédicats comme MARIÉ(LISA, JOHN). MARIÉ est un prédicat qui offre une inférence entre LISA et JOHN. En ajoutant la notion de variables, une règle pourrait ressembler à :

SI MARIÉ(?x, ?y) ALORS AIME(?x, ?y)

Ainsi pour chaque paire de ?x et ?y (par exemple, LISAet JOHN) où le prédicat MARIÉ est appliqué, un système informatique pourra déduire avec cette règle que le prédicat AIME s'applique à la paire ?x et ?y.

Les règles sont un moyen simple de savoir représenter une connaissance, et sont une simplification drastique de logique du premier ordre pour lequel il est relativement facile à mettre en œuvre des moteurs d'inférence qui peuvent traiter les conditions et déduire de bonnes conclusions. Un système de règle est une implémentation particulière d'une syntaxe et d'une sémantique de règles, qui peuvent s'étendre de la simple notion décrit ci-dessus afin d'inclure :

  • la quantification existentielle
  • la disjonction
  • la conjonction logique
  • la négation, des fonctions
  • la non monotonie
  • et de nombreuses autres fonctionnalités.

Les systèmes de règles ont été appliquées et étudiées depuis le milieu des années 1970 et a vu l'adoption significative dans les années 1980 lors de l'apparition des soi-disant systèmes expert.

Dialectes standard RIF

DTB

Core

FLD

BLD

PRD

Exemple (Example 1.2 in [4])

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"]) ) )

Non-standard RIF Dialects

CASPD

Exemple :

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] )
          )
      )

URD

Exemple :

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) 
  )    ) 

SILK

Exemple

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)
      }
}

Références

Liens externes



Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Rule Interchange Format de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Rule Interchange Format — Dieser Artikel wurde aufgrund von inhaltlichen Mängeln auf der Qualitätssicherungsseite der Redaktion Informatik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Informatik auf ein akzeptables Niveau zu bringen. Hilf… …   Deutsch Wikipedia

  • Rule Interchange Format — The Rule Interchange Format (RIF) is a W3C recommendation track effort to develop a format for interchange of rules in rule based systems on the semantic web. The goal is to create an interchange format for different rule languages and inference… …   Wikipedia

  • Requirements Interchange Format — RIF/ReqIF (Requirements Interchange Format, englisch Austauschformat für Anforderungen) ist ein XML Dateiformat, mit dessen Hilfe Anforderungen samt zugehöriger Metadaten zwischen Software Werkzeugen verschiedener Hersteller ausgetauscht… …   Deutsch Wikipedia

  • Interchange fee — is a term used in the payment card industry to describe a fee that a merchant’s bank (the “acquiring bank”) pays a customer’s bank (the “issuing bank”) when merchants accept cards using card networks such as Visa and MasterCard for purchases. In… …   Wikipedia

  • Business-Rule-Management-System — Ein Geschäftsregel Managementsystem (GRMS) oder englisch Business Rule Management System (BRMS) ermöglicht die Entwicklung und den Einsatz eines auf Geschäftsregeln (business rule) basierenden Computerprogrammes, Services bzw. einer fachlichen… …   Deutsch Wikipedia

  • Business Rule Management System — Ein Geschäftsregel Managementsystem (GRMS) oder englisch Business Rule Management System (BRMS) ermöglicht die Entwicklung und den Einsatz eines auf Geschäftsregeln (business rule) basierenden Computerprogrammes, Services bzw. einer fachlichen… …   Deutsch Wikipedia

  • File format — A file format is a particular way that information is encoded for storage in a computer file. Since a disk drive, or indeed any computer storage, can store only bits, the computer must have some way of converting information to 0s and 1s and vice …   Wikipedia

  • Exchangeable image file format — This article is about a format for storing metadata in image and audio files. For information about filename and directory structures of digital cameras, see Design rule for Camera File system. Filename extension .JPG, .TIF, .WAV Developed by… …   Wikipedia

  • Synchronized Accessible Media Interchange — SAMI (Synchronized Accessible Media Interchange) ist eine strukturierte Auszeichnungssprache, die 1998 von Microsoft veröffentlicht wurde. Sie dient zum Beispiel für einfache Untertitel bei der Medienwiedergabe auf einem PC. SAMI Dokumente sind… …   Deutsch Wikipedia

  • Geschäftsregel-Managementsystem — Ein Geschäftsregel Managementsystem (GRMS) oder englisch Business Rule Management System (BRMS) ermöglicht die Entwicklung und den Einsatz eines auf Geschäftsregeln (business rule) basierenden Computerprogrammes, Services bzw. einer fachlichen… …   Deutsch Wikipedia