Rule Interchange Format - Versionsgeschichte

Lómelinde: June → Juni

2019-01-06T11:43:10Z

June → Juni

← Nächstältere Version		Version vom 6. Januar 2019, 12:43 Uhr
Zeile 3:		Zeile 3:
	== Regeln ==		== 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ädikat (Logik)\|Prädikaten]] ausgedrückt:		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:
	„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.		„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.

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

	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 ~~Recommendation~~ 22 ~~June~~ 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 ~~Recommendation~~ 22 ~~June~~ 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 ~~Recommendation~~ 22 ~~June~~ 2010.</ref>		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>

	== Einzelnachweise ==		== Einzelnachweise ==

Lómelinde: veraltete Tags `QS-Baustein 2010 entfernt`

2019-01-06T11:38:00Z veraltete Tags <tt> QS-Baustein 2010 entfernt ← Nächstältere Version Version vom 6. Januar 2019, 12:38 Uhr Zeile 1: Zeile 1: ⚫ 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> {{QS-Informatik|Knacknüsse=ja|Erklärung notwendig --<tt>'''[[Benutzer:wikidienst|WikiDienst]]'''</tt>[[Benutzer Diskussion:wikidienst| ?!]] 10:29, 31. Okt. 2010 (CET)}} ⚫ Das '''Rule Interchange Format''' (kurz RIF) ist eine Empfehlung des [[W3C]] im Kontext des [[Semantisches 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> == Regeln == == Regeln == Zeile 9: Zeile 7: == RIF-Dialekte == == RIF-Dialekte == ⚫ Wie bei natürlichen Sprachen gibt es auch bei formalen Sprachen Dialekte. ⚫ 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 Recommendation 22 June 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 Recommendation 22 June 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 Recommendation 22 June 2010.</ref> ⚫ Wie bei natürlichen Sprachen gibt es auch bei formalen Sprachen Dialekte. ⚫ 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 Recommendation 22 June 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 Recommendation 22 June 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 Recommendation 22 June 2010</ref> == Einzelnachweise == == Einzelnachweise ==

Luke081515Bot: Bot: Ein Weblink wurde korrigiert 2016-11-17T23:16:21Z Bot: Ein Weblink wurde korrigiert ← Nächstältere Version Version vom 18. November 2016, 00:16 Uhr Zeile 1: Zeile 1: {{QS-Informatik|Knacknüsse=ja|Erklärung notwendig --<tt>'''[[Benutzer:wikidienst|WikiDienst]]'''</tt>[[Benutzer Diskussion:wikidienst| ?!]] 10:29, 31. Okt. 2010 (CET)}} {{QS-Informatik|Knacknüsse=ja|Erklärung notwendig --<tt>'''[[Benutzer:wikidienst|WikiDienst]]'''</tt>[[Benutzer Diskussion:wikidienst| ?!]] 10:29, 31. Okt. 2010 (CET)}} Das '''Rule Interchange Format''' (kurz RIF) ist eine Empfehlung des [[W3C]] im Kontext des [[Semantisches 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>''[http://www.heise.de/foren/S-Rule-Interchange-Format-RIF-is-Now-a-W3C-Recommendation-Standard/forum-81866/msg-18728879/read/ Rule Interchange Format (RIF) is Now a W3C Recommendation Standard]'', 22. Juni 2010</ref> Das '''Rule Interchange Format''' (kurz RIF) ist eine Empfehlung des [[W3C]] im Kontext des [[Semantisches 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> == Regeln == == Regeln == 134.130.20.70 am 16. Mai 2014 um 14:46 Uhr 2014-05-16T14:46:14Z ← Nächstältere Version Version vom 16. Mai 2014, 15:46 Uhr Zeile 5: Zeile 5: == Regeln == == 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 and 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: 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: „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. „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. KLBot2: Bot: 5 Interwiki-Link(s) nach Wikidata (:d:Q1857202) migriert 2013-04-05T06:38:15Z Bot: 5 Interwiki-Link(s) nach Wikidata (d:Q1857202) migriert ← Nächstältere Version Version vom 5. April 2013, 07:38 Uhr Zeile 21: Zeile 21: [[Kategorie:Dokumentationssprache]] [[Kategorie:Dokumentationssprache]] [[Kategorie:Semantisches Web]] [[Kategorie:Semantisches Web]] [[en:Rule Interchange Format]] [[fr:Rule Interchange Format]] [[nl:Rule Interchange Format]] [[uk:Rule Interchange Format]] [[zh:规则交换格式]] Justincheng12345-bot: r2.7.3) (Bot: Ergänze: nl:Rule Interchange Format 2012-09-12T11:45:11Z r2.7.3) (Bot: Ergänze: nl:Rule Interchange Format ← Nächstältere Version Version vom 12. September 2012, 12:45 Uhr Zeile 24: Zeile 24: [[en:Rule Interchange Format]] [[en:Rule Interchange Format]] [[fr:Rule Interchange Format]] [[fr:Rule Interchange Format]] [[nl:Rule Interchange Format]] [[uk:Rule Interchange Format]] [[uk:Rule Interchange Format]] [[zh:规则交换格式]] [[zh:规则交换格式]] MystBot: r2.7.1) (Bot: Ergänze: fr:Rule Interchange Format 2011-11-05T19:27:10Z r2.7.1) (Bot: Ergänze: fr:Rule Interchange Format ← Nächstältere Version Version vom 5. November 2011, 20:27 Uhr Zeile 23: Zeile 23: [[en:Rule Interchange Format]] [[en:Rule Interchange Format]] [[fr:Rule Interchange Format]] [[uk:Rule Interchange Format]] [[uk:Rule Interchange Format]] [[zh:规则交换格式]] [[zh:规则交换格式]] Krd am 1. Juni 2011 um 15:26 Uhr 2011-06-01T15:26:46Z ← Nächstältere Version Version vom 1. Juni 2011, 16:26 Uhr Zeile 1: Zeile 1: {{QS-Informatik|Erklärung notwendig --<tt>'''[[Benutzer:wikidienst|WikiDienst]]'''</tt>[[Benutzer Diskussion:wikidienst| ?!]] 10:29, 31. Okt. 2010 (CET)}} {{QS-Informatik|Knacknüsse=ja|Erklärung notwendig --<tt>'''[[Benutzer:wikidienst|WikiDienst]]'''</tt>[[Benutzer Diskussion:wikidienst| ?!]] 10:29, 31. Okt. 2010 (CET)}} Das '''Rule Interchange Format''' (kurz RIF) ist eine Empfehlung des [[W3C]] im Kontext des [[Semantisches 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>''[http://www.heise.de/foren/S-Rule-Interchange-Format-RIF-is-Now-a-W3C-Recommendation-Standard/forum-81866/msg-18728879/read/ Rule Interchange Format (RIF) is Now a W3C Recommendation Standard]'', 22. Juni 2010</ref> Das '''Rule Interchange Format''' (kurz RIF) ist eine Empfehlung des [[W3C]] im Kontext des [[Semantisches 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>''[http://www.heise.de/foren/S-Rule-Interchange-Format-RIF-is-Now-a-W3C-Recommendation-Standard/forum-81866/msg-18728879/read/ Rule Interchange Format (RIF) is Now a W3C Recommendation Standard]'', 22. Juni 2010</ref> YMS: Format 2011-04-26T15:12:59Z Format ← Nächstältere Version Version vom 26. April 2011, 16:12 Uhr Zeile 1: Zeile 1: {{QS-Informatik|Erklärung notwendig --<tt>'''[[Benutzer:wikidienst|WikiDienst]]'''</tt>[[Benutzer Diskussion:wikidienst| ?!]] 10:29, 31. Okt. 2010 (CET)}} {{QS-Informatik|Erklärung notwendig --<tt>'''[[Benutzer:wikidienst|WikiDienst]]'''</tt>[[Benutzer Diskussion:wikidienst| ?!]] 10:29, 31. Okt. 2010 (CET)}} Das '''Rule Interchange Format''' (kurz RIF) ist eine Empfehlung des [[W3C]] im Kontext des [[Semantisches 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>http://www.w3c.de/Press/2005/ruleswg-pressrelease.de.html</ref> und das Format am 22. Juni 2010 als Standard verabschiedet<ref>http://www.heise.de/foren/S-Rule-Interchange-Format-RIF-is-Now-a-W3C-Recommendation-Standard/forum-81866/msg-18728879/read/</ref>. Das '''Rule Interchange Format''' (kurz RIF) ist eine Empfehlung des [[W3C]] im Kontext des [[Semantisches 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>''[http://www.heise.de/foren/S-Rule-Interchange-Format-RIF-is-Now-a-W3C-Recommendation-Standard/forum-81866/msg-18728879/read/ Rule Interchange Format (RIF) is Now a W3C Recommendation Standard]'', 22. Juni 2010</ref> == Regeln == == 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 and 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: 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 and 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: 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. „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 == == RIF-Dialekte == Zeile 13: Zeile 12: Wie bei natürlichen Sprachen gibt es auch bei formalen Sprachen Dialekte. Wie bei natürlichen Sprachen gibt es auch bei formalen Sprachen Dialekte. 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 Recommendation 22 June 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 Recommendation 22 June 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 Recommendation 22 June 2010</ref> === RIF-BLD === Der Basic Logic Dialect benutzt [[Horn-Formel]]n<ref>http://www.w3.org/TR/2010/REC-rif-bld-20100622/</ref>. === RIF-PRD === Der Production Rule Dialect formalisiert [[Produktionsregel]]n<ref>http://www.w3.org/TR/2010/REC-rif-prd-20100622/</ref>. === RIF-Core === Der Core Dialect ist eine gemeinsame Teilmenge von RIF-BLD und RIF-PLD<ref>http://www.w3.org/TR/2010/REC-rif-core-20100622/</ref>. == Einzelnachweise == == Einzelnachweise == V i c R a: T 2011-01-29T15:26:09Z T ← Nächstältere Version Version vom 29. Januar 2011, 16:26 Uhr Zeile 1: Zeile 1: {{QS-Informatik|Erklärung notwendig --<tt>'''[[Benutzer:wikidienst|WikiDienst]]'''</tt>[[Benutzer Diskussion:wikidienst| ?!]] 10:29, 31. Okt. 2010 (CET)}} {{QS-Informatik|Erklärung notwendig --<tt>'''[[Benutzer:wikidienst|WikiDienst]]'''</tt>[[Benutzer Diskussion:wikidienst| ?!]] 10:29, 31. Okt. 2010 (CET)}} Das '''Rule Interchange Format''' (kurz RIF) ist eine Empfehlung des [[W3C]] im Kontext des [[Semantisches 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 geau 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>http://www.w3c.de/Press/2005/ruleswg-pressrelease.de.html</ref> und das Format am 22. Juni 2010 als Standard verabschiedet<ref>http://www.heise.de/foren/S-Rule-Interchange-Format-RIF-is-Now-a-W3C-Recommendation-Standard/forum-81866/msg-18728879/read/</ref>. Das '''Rule Interchange Format''' (kurz RIF) ist eine Empfehlung des [[W3C]] im Kontext des [[Semantisches 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>http://www.w3c.de/Press/2005/ruleswg-pressrelease.de.html</ref> und das Format am 22. Juni 2010 als Standard verabschiedet<ref>http://www.heise.de/foren/S-Rule-Interchange-Format-RIF-is-Now-a-W3C-Recommendation-Standard/forum-81866/msg-18728879/read/</ref>.

← Nächstältere Version		Version vom 6. Januar 2019, 12:38 Uhr
Zeile 1:		Zeile 1:
		⚫	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>
	{{QS-Informatik\|Knacknüsse=ja\|Erklärung notwendig --<tt>'''[[Benutzer:wikidienst\|WikiDienst]]'''</tt><sup>[[Benutzer Diskussion:wikidienst\| ?!]]</sup> 10:29, 31. Okt. 2010 (CET)}}

⚫	Das '''Rule Interchange Format''' (kurz RIF) ist eine Empfehlung des [[W3C]] im Kontext des [[~~Semantisches~~ 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>

	== Regeln ==		== Regeln ==
Zeile 9:		Zeile 7:

	== RIF-Dialekte ==		== RIF-Dialekte ==
		⚫	Wie bei natürlichen Sprachen gibt es auch bei formalen Sprachen Dialekte.

		⚫	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 Recommendation 22 June 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 Recommendation 22 June 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 Recommendation 22 June 2010.</ref>
⚫	Wie bei natürlichen Sprachen gibt es auch bei formalen Sprachen Dialekte.

⚫	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 Recommendation 22 June 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 Recommendation 22 June 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 Recommendation 22 June 2010</ref>

	== Einzelnachweise ==		== Einzelnachweise ==

← Nächstältere Version		Version vom 18. November 2016, 00:16 Uhr
Zeile 1:		Zeile 1:
	{{QS-Informatik\|Knacknüsse=ja\|Erklärung notwendig --<tt>'''[[Benutzer:wikidienst\|WikiDienst]]'''</tt><sup>[[Benutzer Diskussion:wikidienst\| ?!]]</sup> 10:29, 31. Okt. 2010 (CET)}}		{{QS-Informatik\|Knacknüsse=ja\|Erklärung notwendig --<tt>'''[[Benutzer:wikidienst\|WikiDienst]]'''</tt><sup>[[Benutzer Diskussion:wikidienst\| ?!]]</sup> 10:29, 31. Okt. 2010 (CET)}}

	Das '''Rule Interchange Format''' (kurz RIF) ist eine Empfehlung des [[W3C]] im Kontext des [[Semantisches 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>''[~~http~~://www.heise.de/~~foren~~/S-Rule-Interchange-Format-RIF-is-Now-a-W3C-Recommendation-Standard/~~forum-81866/msg~~-~~18728879~~/~~read~~/ Rule Interchange Format (RIF) is Now a W3C Recommendation Standard]'', 22. Juni 2010</ref>		Das '''Rule Interchange Format''' (kurz RIF) ist eine Empfehlung des [[W3C]] im Kontext des [[Semantisches 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>

	== Regeln ==		== Regeln ==

← Nächstältere Version		Version vom 16. Mai 2014, 15:46 Uhr
Zeile 5:		Zeile 5:
	== Regeln ==		== 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 ~~and~~ 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:		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:
	„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.		„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.

← Nächstältere Version		Version vom 5. April 2013, 07:38 Uhr
Zeile 21:		Zeile 21:
	[[Kategorie:Dokumentationssprache]]		[[Kategorie:Dokumentationssprache]]
	[[Kategorie:Semantisches Web]]		[[Kategorie:Semantisches Web]]

	[[en:Rule Interchange Format]]
	[[fr:Rule Interchange Format]]
	[[nl:Rule Interchange Format]]
	[[uk:Rule Interchange Format]]
	[[zh:规则交换格式]]

← Nächstältere Version		Version vom 12. September 2012, 12:45 Uhr
Zeile 24:		Zeile 24:
	[[en:Rule Interchange Format]]		[[en:Rule Interchange Format]]
	[[fr:Rule Interchange Format]]		[[fr:Rule Interchange Format]]
			[[nl:Rule Interchange Format]]
	[[uk:Rule Interchange Format]]		[[uk:Rule Interchange Format]]
	[[zh:规则交换格式]]		[[zh:规则交换格式]]

← Nächstältere Version		Version vom 5. November 2011, 20:27 Uhr
Zeile 23:		Zeile 23:

	[[en:Rule Interchange Format]]		[[en:Rule Interchange Format]]
			[[fr:Rule Interchange Format]]
	[[uk:Rule Interchange Format]]		[[uk:Rule Interchange Format]]
	[[zh:规则交换格式]]		[[zh:规则交换格式]]

← Nächstältere Version		Version vom 1. Juni 2011, 16:26 Uhr
Zeile 1:		Zeile 1:
	{{QS-Informatik\|Erklärung notwendig --<tt>'''[[Benutzer:wikidienst\|WikiDienst]]'''</tt><sup>[[Benutzer Diskussion:wikidienst\| ?!]]</sup> 10:29, 31. Okt. 2010 (CET)}}		{{QS-Informatik\|Knacknüsse=ja\|Erklärung notwendig --<tt>'''[[Benutzer:wikidienst\|WikiDienst]]'''</tt><sup>[[Benutzer Diskussion:wikidienst\| ?!]]</sup> 10:29, 31. Okt. 2010 (CET)}}

	Das '''Rule Interchange Format''' (kurz RIF) ist eine Empfehlung des [[W3C]] im Kontext des [[Semantisches 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>''[http://www.heise.de/foren/S-Rule-Interchange-Format-RIF-is-Now-a-W3C-Recommendation-Standard/forum-81866/msg-18728879/read/ Rule Interchange Format (RIF) is Now a W3C Recommendation Standard]'', 22. Juni 2010</ref>		Das '''Rule Interchange Format''' (kurz RIF) ist eine Empfehlung des [[W3C]] im Kontext des [[Semantisches 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>''[http://www.heise.de/foren/S-Rule-Interchange-Format-RIF-is-Now-a-W3C-Recommendation-Standard/forum-81866/msg-18728879/read/ Rule Interchange Format (RIF) is Now a W3C Recommendation Standard]'', 22. Juni 2010</ref>

← Nächstältere Version		Version vom 26. April 2011, 16:12 Uhr
Zeile 1:		Zeile 1:
	{{QS-Informatik\|Erklärung notwendig --<tt>'''[[Benutzer:wikidienst\|WikiDienst]]'''</tt><sup>[[Benutzer Diskussion:wikidienst\| ?!]]</sup> 10:29, 31. Okt. 2010 (CET)}}		{{QS-Informatik\|Erklärung notwendig --<tt>'''[[Benutzer:wikidienst\|WikiDienst]]'''</tt><sup>[[Benutzer Diskussion:wikidienst\| ?!]]</sup> 10:29, 31. Okt. 2010 (CET)}}

	Das '''Rule Interchange Format''' (kurz RIF) ist eine Empfehlung des [[W3C]] im Kontext des [[Semantisches 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>http://www.w3c.de/Press/2005/ruleswg-pressrelease.de.html</ref> und das Format am 22. Juni 2010 als Standard verabschiedet<ref>http://www.heise.de/foren/S-Rule-Interchange-Format-RIF-is-Now-a-W3C-Recommendation-Standard/forum-81866/msg-18728879/read/</ref>.		Das '''Rule Interchange Format''' (kurz RIF) ist eine Empfehlung des [[W3C]] im Kontext des [[Semantisches 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>''[http://www.heise.de/foren/S-Rule-Interchange-Format-RIF-is-Now-a-W3C-Recommendation-Standard/forum-81866/msg-18728879/read/ Rule Interchange Format (RIF) is Now a W3C Recommendation Standard]'', 22. Juni 2010</ref>


	== Regeln ==		== 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 and 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:		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 and 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:
	~~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.		„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 ==		== RIF-Dialekte ==
Zeile 13:		Zeile 12:
	Wie bei natürlichen Sprachen gibt es auch bei formalen Sprachen Dialekte.		Wie bei natürlichen Sprachen gibt es auch bei formalen Sprachen Dialekte.

			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 Recommendation 22 June 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 Recommendation 22 June 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 Recommendation 22 June 2010</ref>
	=== RIF-BLD ===
	Der Basic Logic Dialect benutzt [[Horn-Formel]]n<ref>http://www.w3.org/TR/2010/REC-rif-bld-20100622/</ref>.

	=== RIF-PRD ===
	Der Production Rule Dialect formalisiert [[Produktionsregel]]n<ref>http://www.w3.org/TR/2010/REC-rif-prd-20100622/</ref>.

	=== RIF-Core ===
	Der Core Dialect ist eine gemeinsame Teilmenge von RIF-BLD und RIF-PLD<ref>http://www.w3.org/TR/2010/REC-rif-core-20100622/</ref>.


	== Einzelnachweise ==		== Einzelnachweise ==

← Nächstältere Version		Version vom 29. Januar 2011, 16:26 Uhr
Zeile 1:		Zeile 1:
	{{QS-Informatik\|Erklärung notwendig --<tt>'''[[Benutzer:wikidienst\|WikiDienst]]'''</tt><sup>[[Benutzer Diskussion:wikidienst\| ?!]]</sup> 10:29, 31. Okt. 2010 (CET)}}		{{QS-Informatik\|Erklärung notwendig --<tt>'''[[Benutzer:wikidienst\|WikiDienst]]'''</tt><sup>[[Benutzer Diskussion:wikidienst\| ?!]]</sup> 10:29, 31. Okt. 2010 (CET)}}

	Das '''Rule Interchange Format''' (kurz RIF) ist eine Empfehlung des [[W3C]] im Kontext des [[Semantisches 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 ~~geau~~ 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>http://www.w3c.de/Press/2005/ruleswg-pressrelease.de.html</ref> und das Format am 22. Juni 2010 als Standard verabschiedet<ref>http://www.heise.de/foren/S-Rule-Interchange-Format-RIF-is-Now-a-W3C-Recommendation-Standard/forum-81866/msg-18728879/read/</ref>.		Das '''Rule Interchange Format''' (kurz RIF) ist eine Empfehlung des [[W3C]] im Kontext des [[Semantisches 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>http://www.w3c.de/Press/2005/ruleswg-pressrelease.de.html</ref> und das Format am 22. Juni 2010 als Standard verabschiedet<ref>http://www.heise.de/foren/S-Rule-Interchange-Format-RIF-is-Now-a-W3C-Recommendation-Standard/forum-81866/msg-18728879/read/</ref>.

Rule Interchange Format - Versionsgeschichte

Lómelinde: June → Juni

Lómelinde: veraltete Tags QS-Baustein 2010 entfernt

Luke081515Bot: Bot: Ein Weblink wurde korrigiert

134.130.20.70 am 16. Mai 2014 um 14:46 Uhr

KLBot2: Bot: 5 Interwiki-Link(s) nach Wikidata (:d:Q1857202) migriert

Justincheng12345-bot: r2.7.3) (Bot: Ergänze: nl:Rule Interchange Format

MystBot: r2.7.1) (Bot: Ergänze: fr:Rule Interchange Format

Krd am 1. Juni 2011 um 15:26 Uhr

YMS: Format

V i c R a: T

Lómelinde: veraltete Tags `QS-Baustein 2010 entfernt`