Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Knowledge_Interchange_Format> ?p ?o. }
Showing items 1 to 33 of
33
with 100 items per page.
- Knowledge_Interchange_Format abstract "Knowledge Interchange Format (KIF) is a computer-oriented language for the interchange of knowledge among disparate computer programs. It has declarative semantics (i.e., the meaning of expressions in the representation can be understood without appeal to an interpreter for manipulating those expressions); it is logically comprehensive (i.e. it provides for the expression of arbitrary sentences in the first-order predicate calculus); it provides for the representation of knowledge about the representation of knowledge; it provides for the representation of nonmonotonic reasoning rules; and it provides for the definition of objects, functions, and relations.It was originally created by Michael Genesereth, Richard Fikes and others participating in the DARPA knowledge Sharing Effort. There have been a number of versions of KIF. Although the original KIF group intended to submit to a formal standards body, that did not occur. A later version called Common logic has since been developed for submission to ISO and has been approved and published. A variant called SUO-KIF is the language in which the Suggested Upper Merged Ontology is written.".
- Knowledge_Interchange_Format wikiPageExternalLink iso-commonlogic.org.
- Knowledge_Interchange_Format wikiPageExternalLink kif.
- Knowledge_Interchange_Format wikiPageID "5558061".
- Knowledge_Interchange_Format wikiPageRevisionID "541685787".
- Knowledge_Interchange_Format hasPhotoCollection Knowledge_Interchange_Format.
- Knowledge_Interchange_Format subject Category:Knowledge_representation_languages.
- Knowledge_Interchange_Format subject Category:Logic_in_computer_science.
- Knowledge_Interchange_Format subject Category:Ontology_(information_science).
- Knowledge_Interchange_Format type Abstraction100002137.
- Knowledge_Interchange_Format type Communication100033020.
- Knowledge_Interchange_Format type KnowledgeRepresentationLanguages.
- Knowledge_Interchange_Format type Language106282651.
- Knowledge_Interchange_Format type Agent.
- Knowledge_Interchange_Format type Person.
- Knowledge_Interchange_Format type Person.
- Knowledge_Interchange_Format type Q215627.
- Knowledge_Interchange_Format type Q5.
- Knowledge_Interchange_Format type Agent.
- Knowledge_Interchange_Format type NaturalPerson.
- Knowledge_Interchange_Format type Thing.
- Knowledge_Interchange_Format type Person.
- Knowledge_Interchange_Format comment "Knowledge Interchange Format (KIF) is a computer-oriented language for the interchange of knowledge among disparate computer programs. It has declarative semantics (i.e., the meaning of expressions in the representation can be understood without appeal to an interpreter for manipulating those expressions); it is logically comprehensive (i.e.".
- Knowledge_Interchange_Format label "Knowledge Interchange Format".
- Knowledge_Interchange_Format label "Knowledge Interchange Format".
- Knowledge_Interchange_Format label "知识交换格式".
- Knowledge_Interchange_Format sameAs Knowledge_Interchange_Format.
- Knowledge_Interchange_Format sameAs m.0dsghh.
- Knowledge_Interchange_Format sameAs Q354163.
- Knowledge_Interchange_Format sameAs Q354163.
- Knowledge_Interchange_Format sameAs Knowledge_Interchange_Format.
- Knowledge_Interchange_Format wasDerivedFrom Knowledge_Interchange_Format?oldid=541685787.
- Knowledge_Interchange_Format isPrimaryTopicOf Knowledge_Interchange_Format.