The Onto-Logical Translation Graph

@inproceedings{Mossakowski2011TheOT,
  title={The Onto-Logical Translation Graph},
  author={Till Mossakowski and Oliver Kutz},
  booktitle={WoMO},
  year={2011}
}
We present an overview of the landscape of ontology languages, mostly pertaining to the first-order paradigm. In particular, we present a uniform formalisation 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 ontological modularity… CONTINUE READING
Highly Cited
This paper has 31 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 33 references

Goguen , and the Hyper - ontologies : Logical Pluralism and Heterogeneous Structuring in Ontology Design

O. K UTZ, T. M OSSAKOWSKI, D. Carnap L ÜCKE
Logica Universalis • 2010

What is a logic translation

T. MOSSAKOWSKI, A. TARLECKI, R. DIACONESCU
Logica Universalis • 2009
View 1 Excerpt

Similar Papers

Loading similar papers…