https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Rule_Interchange_FormatRule Interchange Format - Versionsgeschichte2026-05-21T06:39:44ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Rule_Interchange_Format&diff=2119279&oldid=previmported>Lómelinde: June → Juni2019-01-06T11:43:10Z<p>June → Juni</p>
<p><b>Neue Seite</b></p><div>Das '''Rule Interchange Format''' (kurz RIF) ist eine Empfehlung des [[World Wide Web Consortium|W3C]] im Kontext des [[Semantic Web|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 [[Web Ontology Language|OWL]] und [[Resource Description Framework|RDF]]. Die Arbeitskommission für diesen Standard wurde am 7. November 2005 gegründet<ref>W3C: ''[http://www.w3c.de/Press/2005/ruleswg-pressrelease.de.html World Wide Web Consortium startet Rule Interchange Format Working Group]'', 7. November 2005.</ref> und das Format am 22. Juni 2010 als Standard verabschiedet.<ref>''[https://www.heise.de/forum/heise-online/Internet/Internet-allgemein/Rule-Interchange-Format-RIF-is-Now-a-W3C-Recommendation-Standard/posting-943828/show/ Rule Interchange Format (RIF) is Now a W3C Recommendation Standard].'' 22. Juni 2010.</ref><br />
<br />
== Regeln ==<br />
<br />
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ädikat (Logik)|Prädikaten]] ausgedrückt:<br />
„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.<br />
<br />
== RIF-Dialekte ==<br />
Wie bei natürlichen Sprachen gibt es auch bei formalen Sprachen Dialekte.<br />
<br />
Der ''Basic Logic Dialect'' (RIF-BLD) benutzt [[Horn-Formel]]n.<ref>[http://www.w3.org/TR/2010/REC-rif-bld-20100622/ ''RIF Basic Logic Dialect.''] W3C Empfehlung, 22. Juni 2010.</ref> Der ''Production Rule Dialect'' (RIF-PRD) formalisiert [[Produktionsregel]]n.<ref>[http://www.w3.org/TR/2010/REC-rif-prd-20100622/ ''RIF Production Rule Dialect.''] W3C Empfehlung, 22. Juni 2010.</ref> Der ''Core Dialect'' (RIF-Core) ist eine gemeinsame Teilmenge von RIF-BLD und RIF-PLD.<ref>[http://www.w3.org/TR/2010/REC-rif-core-20100622/ ''RIF Core Dialect.''] W3C Empfehlung, 22. Juni 2010.</ref><br />
<br />
== Einzelnachweise ==<br />
<references /><br />
<br />
{{Navigationsleiste W3C-Standards}}<br />
<br />
[[Kategorie:Dokumentationssprache]]<br />
[[Kategorie:Semantisches Web]]</div>imported>Lómelinde