F. Baader, C. Lutz, and B. Suntisrivaraporn, CEL ??? A Polynomial-Time Reasoner for Life Science Ontologies, Automated Reasoning, Third International Joint Conference, pp.287-291, 2006.
DOI : 10.1007/11814771_25

J. Bao, D. Caragea, and V. G. Honavar, A distributed Tableau Algorithm for Package-based Description Logics, Proceedings of the ECAI Workshop on on Context Representation and Reasoning, 2006.

J. Bao, D. Caragea, and V. G. Honavar, On the Semantics of Linking and Importing in Modular Ontologies, The Semantic Web -ISWC 2006, 5th International Semantic Web Conference of Lecture Notes in Computer Science, pp.72-86, 2006.
DOI : 10.1007/11926078_6

A. Borgida and L. Serafini, Distributed Description Logics: Assimilating Information from Peer Sources, Journal on Data Semantics, vol.1, pp.153-184, 2003.
DOI : 10.1007/978-3-540-39733-5_7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.1238

P. Bouquet, F. Giunchiglia, F. Van-harmelen, L. Serafini, and H. C. Stuckenschmidt, Contextualizing ontologies, Proc. Second International Semantic Web Conference (ISWC'03), 1920.
DOI : 10.1016/j.websem.2004.07.001

B. Cuenca-grau, I. Horrocks, Y. Kazakov, and U. Sattler, A logical framework for modularity of ontologies, Proc. of 20th International Joint Conference on Artificial Intelligence (IJCAI'07), pp.298-303, 2007.

B. Cuenca-grau and O. Kutz, Modular Ontology Languages Revisisted, SWeCKa 2007: Proc. of the IJCAI-2007 Workshop on Semantic Web for Collaborative Knowledge Acquisition, 2007.

B. Cuenca-grau, B. Parsia, and E. Sirin, Combining OWL ontologies using E-Connections, Web Semantics: Science, Services and Agents on the World Wide Web, vol.4, issue.1, pp.40-59, 2006.
DOI : 10.1016/j.websem.2005.09.010

J. Euzenat, Semantic precision and recall for ontology alignment evaluation, Proc. 20th International Joint Conference on Artificial Intelligence (IJCAI), Hyderabad (IN) (Menlo Park (CA US), pp.248-253, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00817806

J. Euzenat, F. Scharffe, and A. Zimmermann, Expressive alignment language and implementation. deliverable 2.2.10, Knowledge Web NoE, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00822892

J. Euzenat, A. Zimmermann, and F. Freitas, Alignment-based modules for encapsulating ontologies, Second International Workshop on Modular Ontologies, pp.32-45, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00817809

C. Ghidini and L. Serafini, On Relating Heterogeneous Elements from Different Ontologies, Proceedings of the Sixth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'07), 2007.
DOI : 10.1007/978-3-540-74255-5_18

D. L. Mcguinness and F. Van-harmelen, OWL Web Ontology Language Overview W3C Recommendation, Tech. rep., World Wide Web Consortium (W3C), 2004.

C. Meilicke, H. Stuckenschmidt, and A. Tamilin, Improving automatically created mappings using logical reasoning, Proceedings of the Worshop on Ontology Matching, 2006.

C. Meilicke, H. Stuckenschmidt, and A. Tamilin, Repairing ontology mappings, Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, pp.1408-1413, 2007.

P. F. Patel-schneider, System Description: DLP, 17th International Conference on Automated Deduction, pp.297-301, 2000.
DOI : 10.1007/10721959_23

L. Serafini, A. Tamilin, and . Drago, DRAGO: Distributed Reasoning Architecture for the Semantic Web, The Semantic Web: Research and Applications, Second European Semantic Web Conference, pp.361-376, 2005.
DOI : 10.1007/11431053_25

E. Sirin, B. Parsia, B. Cuenca-grau, A. Kalyanpur, and Y. Katz, Pellet: A practical OWL-DL reasoner, Web Semantics: Science, Services and Agents on the World Wide Web, vol.5, issue.2, pp.51-53, 2007.
DOI : 10.1016/j.websem.2007.03.004

D. Tsarkov and I. Horrocks, FaCT++ Description Logic Reasoner: System Description, Automated Reasoning, Third International Joint Conference, pp.292-297, 2006.
DOI : 10.1007/11814771_26

A. Zimmermann, Integrated Distributed Description Logics, Proceedings of the 20th International Workshop on Description Logics DL'07, pp.507-514, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00817817

A. Zimmermann and J. Euzenat, Three Semantics for Distributed Systems and Their Relations with Alignment Composition, The Semantic Web -ISWC 2006, 5th International Semantic Web Conference of Lecture Notes in Computer Science, pp.16-29, 2006.
DOI : 10.1007/11926078_2
URL : https://hal.archives-ouvertes.fr/hal-00825950

I. Unité-de-recherche and I. Rhône, Alpes 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche, 2004.

I. De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399