A Translation Algorithm to Solve Semantic Conflicts in Information Exchange

Semantic conflicts that arise in the exchange of data among different users and data sources can lead to the misinterpretation of facts and can potentially have devastating effects. The Context Interchange system was created to resolve such conflicts. In this thesis, a translation system has been constructed specifically for use with Context Interchange. The translation system allows users to read existing user contexts and create new contexts using a set of editors. The system translates between English and Penny, the programming language currently used for the expression of contexts. By using this system, it is possible for users to read and construct contexts without having any knowledge of the Penny language. The system is comprised of four editors and a translator. Each of the editors creates a specific component of the Penny context: the domain model, the context axioms, the conversion functions, and the elevation axioms. The translator transforms a contex