https://de.wikipedia.org/w/index.php?action=history&feed=atom&title=Knowledge_Interchange_Format Knowledge Interchange Format - Versionsgeschichte 2025-07-30T01:57:29Z Versionsgeschichte dieser Seite in Wikipedia MediaWiki 1.45.0-wmf.11 https://de.wikipedia.org/w/index.php?title=Knowledge_Interchange_Format&diff=176409718&oldid=prev Jesi: - BKH 2018-04-12T10:30:18Z <p>- BKH</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="de"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Nächstältere Version</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Version vom 12. April 2018, 12:30 Uhr</td> </tr><tr> <td colspan="2" class="diff-lineno">Zeile 1:</td> <td colspan="2" class="diff-lineno">Zeile 1:</td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>{{Dieser Artikel|behandelt ein Beschreibungsformat für Wissen; eine andere Bedeutung von ''KIF'' ist die [[Konferenz der Informatikfachschaften]].}}</div></td> <td colspan="2" class="diff-empty diff-side-added"></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Das '''Knowledge Interchange Format''' (KIF) ist ein [[Austauschformat]], das mit der Intention geschaffen wurde, Wissen in einem [[maschinenlesbar]]en Format zwischen unterschiedlichen Programmen austauschen zu können. Dabei haben sich die Entwickler nicht das Ziel gesetzt, dass mit der Sprache effizient [[Beweis (Logik)|logische Schlüsse]] gezogen werden können, sondern auf die [[Wissensrepräsentation|Repräsentation von Wissen]], wie es u. a. in [[Ontologie (Informatik)|Ontologien]] vorliegt. KIF nutzt [[Prädikatenlogik]] erster Ordnung für Aussagen. Seine Notation ist [[LISP]]-basiert.</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Das '''Knowledge Interchange Format''' (KIF) ist ein [[Austauschformat]], das mit der Intention geschaffen wurde, Wissen in einem [[maschinenlesbar]]en Format zwischen unterschiedlichen Programmen austauschen zu können. Dabei haben sich die Entwickler nicht das Ziel gesetzt, dass mit der Sprache effizient [[Beweis (Logik)|logische Schlüsse]] gezogen werden können, sondern auf die [[Wissensrepräsentation|Repräsentation von Wissen]], wie es u. a. in [[Ontologie (Informatik)|Ontologien]] vorliegt. KIF nutzt [[Prädikatenlogik]] erster Ordnung für Aussagen. Seine Notation ist [[LISP]]-basiert.</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> </table> Jesi https://de.wikipedia.org/w/index.php?title=Knowledge_Interchange_Format&diff=116819049&oldid=prev Addbot: Bot: 3 Interwiki-Link(s) nach Wikidata (d:q354163) migriert 2013-04-03T15:05:15Z <p>Bot: 3 <a href="/wiki/Hilfe:Internationalisierung" title="Hilfe:Internationalisierung">Interwiki-Link(s)</a> nach <a href="/wiki/Wikipedia:Wikidata" title="Wikipedia:Wikidata">Wikidata</a> (<a href="https://www.wikidata.org/wiki/q354163" class="extiw" title="d:q354163">d:q354163</a>) migriert</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="de"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Nächstältere Version</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Version vom 3. April 2013, 17:05 Uhr</td> </tr><tr> <td colspan="2" class="diff-lineno">Zeile 12:</td> <td colspan="2" class="diff-lineno">Zeile 12:</td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:Dokumentation]]</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:Dokumentation]]</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:Datenformat]]</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:Datenformat]]</div></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><br /></td> <td colspan="2" class="diff-empty diff-side-added"></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[en:Knowledge Interchange Format]]</div></td> <td colspan="2" class="diff-empty diff-side-added"></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[uk:Knowledge Interchange Format]]</div></td> <td colspan="2" class="diff-empty diff-side-added"></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[zh:知识交换格式]]</div></td> <td colspan="2" class="diff-empty diff-side-added"></td> </tr> </table> Addbot https://de.wikipedia.org/w/index.php?title=Knowledge_Interchange_Format&diff=103442452&oldid=prev EmausBot: r2.7.3) (Bot: Ergänze: uk:Knowledge Interchange Format 2012-05-20T10:03:31Z <p>r2.7.3) (Bot: Ergänze: <a href="https://uk.wikipedia.org/wiki/Knowledge_Interchange_Format" class="extiw" title="uk:Knowledge Interchange Format">uk:Knowledge Interchange Format</a></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="de"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Nächstältere Version</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Version vom 20. Mai 2012, 12:03 Uhr</td> </tr><tr> <td colspan="2" class="diff-lineno">Zeile 14:</td> <td colspan="2" class="diff-lineno">Zeile 14:</td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[en:Knowledge Interchange Format]]</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[en:Knowledge Interchange Format]]</div></td> </tr> <tr> <td colspan="2" class="diff-empty diff-side-deleted"></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[uk:Knowledge Interchange Format]]</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[zh:知识交换格式]]</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[zh:知识交换格式]]</div></td> </tr> </table> EmausBot https://de.wikipedia.org/w/index.php?title=Knowledge_Interchange_Format&diff=57670504&oldid=prev LaaknorBot: Bot: Ergänze: zh:知识交换格式 2009-03-09T21:14:22Z <p>Bot: Ergänze: <a href="https://zh.wikipedia.org/wiki/%E7%9F%A5%E8%AF%86%E4%BA%A4%E6%8D%A2%E6%A0%BC%E5%BC%8F" class="extiw" title="zh:知识交换格式">zh:知识交换格式</a></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="de"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Nächstältere Version</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Version vom 9. März 2009, 23:14 Uhr</td> </tr><tr> <td colspan="2" class="diff-lineno">Zeile 14:</td> <td colspan="2" class="diff-lineno">Zeile 14:</td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[en:Knowledge Interchange Format]]</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[en:Knowledge Interchange Format]]</div></td> </tr> <tr> <td colspan="2" class="diff-empty diff-side-deleted"></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[zh:知识交换格式]]</div></td> </tr> </table> LaaknorBot https://de.wikipedia.org/w/index.php?title=Knowledge_Interchange_Format&diff=40068815&oldid=prev PixelBot: Bot: Ändere: en:Knowledge Interchange Format 2007-12-14T20:04:35Z <p>Bot: Ändere: <a href="https://en.wikipedia.org/wiki/Knowledge_Interchange_Format" class="extiw" title="en:Knowledge Interchange Format">en:Knowledge Interchange Format</a></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="de"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Nächstältere Version</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Version vom 14. Dezember 2007, 22:04 Uhr</td> </tr><tr> <td colspan="2" class="diff-lineno">Zeile 13:</td> <td colspan="2" class="diff-lineno">Zeile 13:</td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:Datenformat]]</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Kategorie:Datenformat]]</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td colspan="2" class="diff-empty diff-side-deleted"></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[en:Knowledge Interchange Format]]</div></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[en:KIF]]</div></td> <td colspan="2" class="diff-empty diff-side-added"></td> </tr> </table> PixelBot https://de.wikipedia.org/w/index.php?title=Knowledge_Interchange_Format&diff=18049573&oldid=prev Langec: konf. der info-fachschaften 2006-06-19T13:55:49Z <p>konf. der info-fachschaften</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="de"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Nächstältere Version</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Version vom 19. Juni 2006, 15:55 Uhr</td> </tr><tr> <td colspan="2" class="diff-lineno">Zeile 1:</td> <td colspan="2" class="diff-lineno">Zeile 1:</td> </tr> <tr> <td colspan="2" class="diff-empty diff-side-deleted"></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>{{Dieser Artikel|behandelt ein Beschreibungsformat für Wissen; eine andere Bedeutung von ''KIF'' ist die [[Konferenz der Informatikfachschaften]].}}</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Das '''Knowledge Interchange Format''' (KIF) ist ein [[Austauschformat]], das mit der Intention geschaffen wurde, Wissen in einem [[maschinenlesbar]]en Format zwischen unterschiedlichen Programmen austauschen zu können. Dabei haben sich die Entwickler nicht das Ziel gesetzt, dass mit der Sprache effizient [[Beweis (Logik)|logische Schlüsse]] gezogen werden können, sondern auf die [[Wissensrepräsentation|Repräsentation von Wissen]], wie es u. a. in [[Ontologie (Informatik)|Ontologien]] vorliegt. KIF nutzt [[Prädikatenlogik]] erster Ordnung für Aussagen. Seine Notation ist [[LISP]]-basiert.</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Das '''Knowledge Interchange Format''' (KIF) ist ein [[Austauschformat]], das mit der Intention geschaffen wurde, Wissen in einem [[maschinenlesbar]]en Format zwischen unterschiedlichen Programmen austauschen zu können. Dabei haben sich die Entwickler nicht das Ziel gesetzt, dass mit der Sprache effizient [[Beweis (Logik)|logische Schlüsse]] gezogen werden können, sondern auf die [[Wissensrepräsentation|Repräsentation von Wissen]], wie es u. a. in [[Ontologie (Informatik)|Ontologien]] vorliegt. KIF nutzt [[Prädikatenlogik]] erster Ordnung für Aussagen. Seine Notation ist [[LISP]]-basiert.</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> </table> Langec https://de.wikipedia.org/w/index.php?title=Knowledge_Interchange_Format&diff=17834138&oldid=prev 195.49.87.226 am 14. Juni 2006 um 07:13 Uhr 2006-06-14T07:13:03Z <p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="de"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Nächstältere Version</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Version vom 14. Juni 2006, 09:13 Uhr</td> </tr><tr> <td colspan="2" class="diff-lineno">Zeile 1:</td> <td colspan="2" class="diff-lineno">Zeile 1:</td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Das '''Knowledge Interchange Format''' (KIF) ist ein [[Austauschformat]], das mit der Intention geschaffen wurde, Wissen in einem [[maschinenlesbar]]en Format zwischen unterschiedlichen Programmen austauschen zu können. Dabei haben sich die Entwickler nicht das Ziel gesetzt, dass mit der Sprache effizient [[Beweis (Logik)|logische Schlüsse]] gezogen werden können, sondern auf die [[Wissensrepräsentation|Repräsentation von Wissen]], wie es u. a. in [[Ontologie (Informatik)|Ontologien]] vorliegt. KIF nutzt [[Prädikatenlogik]] erster Ordnung für Aussagen. Seine Notation ist [[LISP]]-basiert.</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Das '''Knowledge Interchange Format''' (KIF) ist ein [[Austauschformat]], das mit der Intention geschaffen wurde, Wissen in einem [[maschinenlesbar]]en Format zwischen unterschiedlichen Programmen austauschen zu können. Dabei haben sich die Entwickler nicht das Ziel gesetzt, dass mit der Sprache effizient [[Beweis (Logik)|logische Schlüsse]] gezogen werden können, sondern auf die [[Wissensrepräsentation|Repräsentation von Wissen]], wie es u. a. in [[Ontologie (Informatik)|Ontologien]] vorliegt. KIF nutzt [[Prädikatenlogik]] erster Ordnung für Aussagen. Seine Notation ist [[LISP]]-basiert.</div></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><br /></td> <td colspan="2" class="diff-empty diff-side-added"></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Weblinks==</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Weblinks==</div></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Ausführliche Informationen und die Spezifikation der Sprache finden sich auf den folgenden Seiten:</div></td> <td colspan="2" class="diff-empty diff-side-added"></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www-ksl.stanford.edu/knowledge-sharing/kif/ Uni Stanford: ANSI KIF]</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www-ksl.stanford.edu/knowledge-sharing/kif/ Uni Stanford: ANSI KIF]</div></td> </tr> </table> 195.49.87.226 https://de.wikipedia.org/w/index.php?title=Knowledge_Interchange_Format&diff=14481844&oldid=prev Kku: lisp 2006-03-10T11:57:02Z <p>lisp</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="de"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Nächstältere Version</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Version vom 10. März 2006, 13:57 Uhr</td> </tr><tr> <td colspan="2" class="diff-lineno">Zeile 1:</td> <td colspan="2" class="diff-lineno">Zeile 1:</td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Das '''Knowledge Interchange Format''' (KIF) ist ein [[Austauschformat]], das mit der Intention geschaffen wurde, Wissen in einem [[maschinenlesbar]]en Format zwischen unterschiedlichen Programmen austauschen zu können. Dabei haben sich die Entwickler nicht das Ziel gesetzt, dass mit der Sprache effizient [[Beweis (Logik)|logische Schlüsse]] gezogen werden können, sondern auf die [[Wissensrepräsentation|Repräsentation von Wissen]], wie es u. a. in [[Ontologie (Informatik)|Ontologien]] vorliegt. KIF nutzt [[Prädikatenlogik]] erster Ordnung für Aussagen.</div></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Das '''Knowledge Interchange Format''' (KIF) ist ein [[Austauschformat]], das mit der Intention geschaffen wurde, Wissen in einem [[maschinenlesbar]]en Format zwischen unterschiedlichen Programmen austauschen zu können. Dabei haben sich die Entwickler nicht das Ziel gesetzt, dass mit der Sprache effizient [[Beweis (Logik)|logische Schlüsse]] gezogen werden können, sondern auf die [[Wissensrepräsentation|Repräsentation von Wissen]], wie es u. a. in [[Ontologie (Informatik)|Ontologien]] vorliegt. KIF nutzt [[Prädikatenlogik]] erster Ordnung für Aussagen<ins style="font-weight: bold; text-decoration: none;">. Seine Notation ist [[LISP]]-basiert</ins>.</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> </table> Kku https://de.wikipedia.org/w/index.php?title=Knowledge_Interchange_Format&diff=14479466&oldid=prev Kku am 10. März 2006 um 10:51 Uhr 2006-03-10T10:51:32Z <p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="de"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Nächstältere Version</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Version vom 10. März 2006, 12:51 Uhr</td> </tr><tr> <td colspan="2" class="diff-lineno">Zeile 1:</td> <td colspan="2" class="diff-lineno">Zeile 1:</td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Das '''Knowledge Interchange Format''' (KIF) ist ein [[Austauschformat]], das mit der Intention geschaffen wurde, Wissen in einem [[maschinenlesbar]]en Format zwischen unterschiedlichen Programmen austauschen zu können. Dabei haben sich die Entwickler nicht das Ziel gesetzt, dass mit der Sprache effizient [[Beweis (Logik)|logische Schlüsse]] gezogen werden können, sondern auf die [[Wissensrepräsentation|Repräsentation von Wissen]], wie es u. a. in [[Ontologie (Informatik)|Ontologien]] vorliegt.</div></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Das '''Knowledge Interchange Format''' (KIF) ist ein [[Austauschformat]], das mit der Intention geschaffen wurde, Wissen in einem [[maschinenlesbar]]en Format zwischen unterschiedlichen Programmen austauschen zu können. Dabei haben sich die Entwickler nicht das Ziel gesetzt, dass mit der Sprache effizient [[Beweis (Logik)|logische Schlüsse]] gezogen werden können, sondern auf die [[Wissensrepräsentation|Repräsentation von Wissen]], wie es u. a. in [[Ontologie (Informatik)|Ontologien]] vorliegt<ins style="font-weight: bold; text-decoration: none;">. KIF nutzt [[Prädikatenlogik]] erster Ordnung für Aussagen</ins>.</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> </table> Kku https://de.wikipedia.org/w/index.php?title=Knowledge_Interchange_Format&diff=11413286&oldid=prev MarcoBorn am 7. Dezember 2005 um 14:15 Uhr 2005-12-07T14:15:06Z <p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="de"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Nächstältere Version</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Version vom 7. Dezember 2005, 16:15 Uhr</td> </tr><tr> <td colspan="2" class="diff-lineno">Zeile 1:</td> <td colspan="2" class="diff-lineno">Zeile 1:</td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Das '''Knowledge Interchange Format''' (KIF) ist ein [[Austauschformat]], das mit der Intention geschaffen wurde, Wissen in einem [[maschinenlesbar]]en Format zwischen unterschiedlichen Programmen austauschen zu können. Dabei haben sich die Entwickler nicht das Ziel gesetzt, dass mit der Sprache effizient [[Beweis (Logik)|logische Schlüsse]] gezogen werden können, sondern auf die [[Wissensrepräsentation|Repräsentation von Wissen]], wie es u.a. in [[Ontologie (Informatik)|Ontologien]] vorliegt.</div></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Das '''Knowledge Interchange Format''' (KIF) ist ein [[Austauschformat]], das mit der Intention geschaffen wurde, Wissen in einem [[maschinenlesbar]]en Format zwischen unterschiedlichen Programmen austauschen zu können. Dabei haben sich die Entwickler nicht das Ziel gesetzt, dass mit der Sprache effizient [[Beweis (Logik)|logische Schlüsse]] gezogen werden können, sondern auf die [[Wissensrepräsentation|Repräsentation von Wissen]], wie es u.<ins style="font-weight: bold; text-decoration: none;"> </ins>a. in [[Ontologie (Informatik)|Ontologien]] vorliegt.</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> </table> MarcoBorn