For example, the first fact below states that the sum of x and y is greater than z, and the second states that information source of one listing is the same as the information source of another. As part of the InfoSleuth project, we have developed a prototype Java implementation of the KQML language and protocol. As part of the InfoSleuth project, we have developed a prototype Java implementation of the KQML language and protocol. The ontology used for communication can make use of predefined generic communication predicates, but also can be defined depending on the application. In Section 4 more details are given on this communication language.
Users specify requests and queries over specified ontologies via applet based user interfaces.
It is humanreadable, with declarative semantics. It can express firstorder logic sentences, with some second order capabilities. First and foremost, KIF provides for the expression of simple data. For example, the sentences shown below encode two tuples in a personnel database. However , credit for these standardization efforts rests with a large group of researchers who have contributed to these efforts.