Rule Interchange Format

Das Rule Interchange Format (kurz RIF) ist eine Empfehlung des W3C im Kontext des Semantischen Webs. Regeln werden im Semantischen Web benutzt, um Wissen zu for…

Rule Interchange Format

Das Rule Interchange Format (kurz RIF) ist eine Empfehlung des W3C im Kontext des Semantischen Webs. Regeln werden im Semantischen Web benutzt, um Wissen zu formalisieren. Damit ein Programm mit ihnen umgehen kann, müssen die Regeln in einer genau definierten Regelbeschreibungssprache beschrieben werden. Von diesen Beschreibungssprachen gibt es mehrere, und RIF dient dazu, Regeln aus diesen Sprachen in andere zu übersetzen. Eng mit RIF verbunden sind die Standards OWL und RDF. Die Arbeitskommission für diesen Standard wurde am 7. November 2005 gegründet[1] und das Format am 22. Juni 2010 als Standard verabschiedet.[2]

Regeln

Computer können logische Schlüsse nur ziehen, indem sie bestimmten Vorgaben folgen. Eine Regel ist ein Konstrukt mit der Struktur „WENN … DANN …“, das eine Folgerung ausdrückt. Die Regeln der Logik erlauben es einem Computer nun, von dem ersten Teil der Regel auf den zweiten Teil zu schließen. Ein Beispiel für eine Regel ist „Wenn B der Bruder von A ist und A eine Frau ist, dann ist A die Schwester von B“. In einer formalen Sprache wird dieser Sachverhalt mit Prädikaten ausgedrückt: „WENN Bruder(B, A) UND Frau(A) DANN Schwester (A, B)“. Mit diesem Ausdruck haben wir uns aber bereits auf eine Sprache festgelegt. RIF würde nun benutzt werden, um diesen Ausdruck in eine andere Sprache zu übersetzen.

RIF-Dialekte

Wie bei natürlichen Sprachen gibt es auch bei formalen Sprachen Dialekte.

Der Basic Logic Dialect (RIF-BLD) benutzt Horn-Formeln.[3] Der Production Rule Dialect (RIF-PRD) formalisiert Produktionsregeln.[4] Der Core Dialect (RIF-Core) ist eine gemeinsame Teilmenge von RIF-BLD und RIF-PLD.[5]

Einzelnachweise

  1. ↑ W3C: World Wide Web Consortium startet Rule Interchange Format Working Group, 7. November 2005.
  2. ↑ Rule Interchange Format (RIF) is Now a W3C Recommendation Standard. 22. Juni 2010.
  3. ↑ RIF Basic Logic Dialect. W3C Empfehlung, 22. Juni 2010.
  4. ↑ RIF Production Rule Dialect. W3C Empfehlung, 22. Juni 2010.
  5. ↑ RIF Core Dialect. W3C Empfehlung, 22. Juni 2010.

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.