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