The Onto-Logical Translation Graph

摘要

We present an overview of the landscape of ontology languages, mostly pertaining to the first-order paradigm. In particular, we present a uniform formali-sation of these languages based on the institution theoretical framework, allowing a systematic treatment and analysis of the translational relationships between the various languages and a general analysis of properties of such translations. We also discuss the importance of language translation from the point of view of ontologi-cal modularity and logical pluralism, and for the borrowing of tools and reasoners between languages.