F. Baader, A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages, Journal of Logic and Computation, vol.6, issue.1, pp.33-54, 1996.
DOI : 10.1093/logcom/6.1.33

F. Baader, C. Lutz, H. Sturm, and F. Wolter, Fusions of description logics and abstract description systems, Journal of Artificial Intelligence Research, vol.16, pp.1-58, 2002.

J. Baget and M. Mugnier, The SG family: extensions of simple conceptual graphs, Proc. 17th IJ- CAI, pp.205-210, 2001.

S. Bechhofer, I. Horrocks, P. Patel-schneider, and S. Tessaris, A proposal for a description logic interface, Proc. int. workshop on description logics, Linkping (SE), number CEUR-WS-22, 1999.

T. Berners-lee, J. Hendler, and O. Lassila, The Semantic Web, Scientific American, vol.284, issue.5, pp.35-43, 2001.
DOI : 10.1038/scientificamerican0501-34

D. Calvanese, G. D. Giacomo, and M. Lenzerini, On the decidability of query containment under constraints, Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems , PODS '98, pp.149-158, 1998.
DOI : 10.1145/275487.275504

H. Chalupsky, OntoMorph: a translation system for symbolic knowledge, Proceedings of 7th international conference on knowledge representation and reasoning (KR), Breckenridge, pp.471-482, 2000.

M. Ciocoiu and D. Nau, Ontology-based semantics, Proceedings of 7th international conference on knowledge representation and reasoning Breckenridge, pp.539-546, 2000.

H. Enderton, A mathematical introduction to logic. Academic press, 1972.

J. Euzenat, Preserving modularity in XML encoding of description logics, Proc. 14th workshop on description logics (DL), Stanford (CA US), pp.20-29, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00822912

J. Euzenat, Towards a principled approach to semantic interoperability, Proc. IJCAI 2001 workshop on ontology and information sharing, pp.19-25, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00822909

D. Fensel, I. Horrocks, F. Van-harmelen, S. Decker, M. Erdmann et al., OIL in a Nutshell, 12th International Conference on Knowledge Engineering and Knowledge Management EKAW 2000, 2000.
DOI : 10.1007/3-540-39967-4_1

T. Gruber, A translation approach to portable ontology specifications, Knowledge Acquisition, vol.5, issue.2, pp.199-220, 1993.
DOI : 10.1006/knac.1993.1008

I. Horrocks, A denotational semantics for Standard OIL and Instance OIL, 2000.

I. Horrocks, U. Sattler, S. Tessaries, and S. Tobies, Query containment using a DLR abox -preliminary version, LCTS Report, pp.99-114, 1999.

H. Levesque and R. Brachmann, Readings in Knowledge Representation, chapter A Fundamental Tradeoff in Knowledge Representation and Reasoning (Revised Version), pp.31-40, 1985.

C. Masolo, Criteri di confronto e costruzione di teorie assiomatiche per la rappresentazione della conoscenza: ontologie dello spazio e del tempo, 2000.

D. Mcguinness, R. Fikes, L. A. Stein, and H. James, DAML-ONT: An ontology language for the semantic web The semantic web: why, what, and how?, 2002.

H. Stuckenschmidt and U. Visser, Semantic translation based on approximate re-classification, Proceedings of the KR workshop on semantic approximation granularity and vagueness, Breckenridge, 2000.