About: Knowledge Interchange Format

Das Knowledge Interchange Format (KIF) ist ein Austauschformat, das mit der Intention geschaffen wurde, Wissen in einem maschinenlesbaren Format zwischen unterschiedlichen Programmen austauschen zu können. Dabei haben sich die Entwickler nicht das Ziel gesetzt, dass mit der Sprache effizient logische Schlüsse gezogen werden können, sondern auf die Repräsentation von Wissen, wie es u. a. in Ontologien vorliegt. KIF nutzt Prädikatenlogik erster Ordnung für Aussagen. Seine Notation ist LISP-basiert.

Property	Value
dbo:abstract	Das Knowledge Interchange Format (KIF) ist ein Austauschformat, das mit der Intention geschaffen wurde, Wissen in einem maschinenlesbaren Format zwischen unterschiedlichen Programmen austauschen zu können. Dabei haben sich die Entwickler nicht das Ziel gesetzt, dass mit der Sprache effizient logische Schlüsse gezogen werden können, sondern auf die Repräsentation von Wissen, wie es u. a. in Ontologien vorliegt. KIF nutzt Prädikatenlogik erster Ordnung für Aussagen. Seine Notation ist LISP-basiert. (de) Das Knowledge Interchange Format (KIF) ist ein Austauschformat, das mit der Intention geschaffen wurde, Wissen in einem maschinenlesbaren Format zwischen unterschiedlichen Programmen austauschen zu können. Dabei haben sich die Entwickler nicht das Ziel gesetzt, dass mit der Sprache effizient logische Schlüsse gezogen werden können, sondern auf die Repräsentation von Wissen, wie es u. a. in Ontologien vorliegt. KIF nutzt Prädikatenlogik erster Ordnung für Aussagen. Seine Notation ist LISP-basiert. (de)
dbo:wikiPageExternalLink	http://logic.stanford.edu/kif/kif.html http://suo.ieee.org/SUO/KIF/suo-kif.html http://www.csee.umbc.edu/kse/kif/ http://www-ksl.stanford.edu/knowledge-sharing/kif/
dbo:wikiPageID	190527 (xsd:integer)
dbo:wikiPageRevisionID	116819049 (xsd:integer)
dct:subject	category-de:Datenformat category-de:Dokumentation category-de:Künstliche_Intelligenz
rdfs:comment	Das Knowledge Interchange Format (KIF) ist ein Austauschformat, das mit der Intention geschaffen wurde, Wissen in einem maschinenlesbaren Format zwischen unterschiedlichen Programmen austauschen zu können. Dabei haben sich die Entwickler nicht das Ziel gesetzt, dass mit der Sprache effizient logische Schlüsse gezogen werden können, sondern auf die Repräsentation von Wissen, wie es u. a. in Ontologien vorliegt. KIF nutzt Prädikatenlogik erster Ordnung für Aussagen. Seine Notation ist LISP-basiert. (de) Das Knowledge Interchange Format (KIF) ist ein Austauschformat, das mit der Intention geschaffen wurde, Wissen in einem maschinenlesbaren Format zwischen unterschiedlichen Programmen austauschen zu können. Dabei haben sich die Entwickler nicht das Ziel gesetzt, dass mit der Sprache effizient logische Schlüsse gezogen werden können, sondern auf die Repräsentation von Wissen, wie es u. a. in Ontologien vorliegt. KIF nutzt Prädikatenlogik erster Ordnung für Aussagen. Seine Notation ist LISP-basiert. (de)
rdfs:label	Knowledge Interchange Format (de) Knowledge Interchange Format (de)
owl:sameAs	freebase:Knowledge Interchange Format dbr:Knowledge Interchange Format wikidata:Knowledge Interchange Format dbpedia-wikidata:Knowledge Interchange Format
prov:wasDerivedFrom	wikipedia-de:Knowledge_Interchange_Format?oldid=116819049
foaf:isPrimaryTopicOf	wikipedia-de:Knowledge_Interchange_Format
is dbo:wikiPageDisambiguates of	dbpedia-de:Kif
is foaf:primaryTopic of	wikipedia-de:Knowledge_Interchange_Format