.. Règle-de-réécriture-du-changement, Ad d C l ass avec l'alternative de correction Ad d Equi val ent C l asses, p.99

U. Assmann, How to uniformly specify program analysis and transformation with graph rewrite systems, 6th International Conference on Compiler Construction, pp.121-135, 1996.

F. Baader, I. Horrocks, and U. Sattler, Description Logics as Ontology Languages for the Semantic Web, Mechanizing Mathematical Reasoning, pp.228-248, 2005.
DOI : 10.1007/978-3-540-32254-2_14

D. Balasubramanian, A. Narayanan, C. Van-buskirk, and G. Karsai, The graph rewriting and transformation language : Great, 2006.

M. Barr and C. Wells, Category theory for computing science, 1990.

M. Batet, D. Sánchez, and A. Valls, An ontology-based measure to compute semantic similarity in biomedicine, Journal of Biomedical Informatics, vol.44, issue.1, pp.118-125, 2011.
DOI : 10.1016/j.jbi.2010.09.002
URL : http://doi.org/10.1016/j.jbi.2010.09.002

M. Baziz, N. Aussenac-gilles, and M. Boughanem, Exploitation des liens sémantiques pour l'expansion de requêtes dans un système de recherche d'information, 21 ème Congrès INFormatique des ORganisations et Systèmes d'Information et de Décision (INFORSID2003), pp.121-134, 2003.

L. Bellatreche, N. X. Dung, G. Pierra, and D. Hondjack, Contribution of ontology-based data modeling to automatic integration of electronic catalogues within engineering databases, Computers in Industry, vol.57, issue.8-9, pp.711-724, 2006.
DOI : 10.1016/j.compind.2006.04.015

G. Bonfante, M. Guillaume, G. Morey, and . Perrier, Réécriture de graphes de dépendances pour l'interface syntaxe-sémantique, Traitement Automatique des Langues Naturelles, 2010.

A. Borgida, On the relative expressiveness of description logics and predicate logics, Artificial Intelligence, vol.82, issue.1-2, pp.353-367, 1996.
DOI : 10.1016/0004-3702(96)00004-5

D. Bourigault and N. Aussenac-gilles, Construction d'ontologies à partir de textes, 10 ème conférence annuelle sur le Traitement Automatique des Langues, pp.27-50, 2003.

B. Braatz and C. Brandt, Graph transformations for the resource description framework, Electronic Communications of the EASST, vol.10, 2008.

I. Cafezeiro and E. H. Haeusler, Semantic interoperability via category theory, 26th international conference on Conceptual Modeling (ER2007), pp.197-202, 2007.

L. Chiticariu, P. G. Kolaitis, and L. Popa, Interactive generation of integrated schemas, Proceedings of the 2008 ACM SIGMOD international conference on Management of data , SIGMOD '08, pp.833-846, 2008.
DOI : 10.1145/1376616.1376700
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.141.5597

N. Cullot, R. Ghawi, and K. Yétongnon, Db2owl : A tool for automatic database-toontology mapping, Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, pp.491-494, 2007.

K. Czarnecki and S. Helsen, Feature-based survey of model transformation approaches, IBM Systems Journal, vol.45, issue.3, pp.621-645, 2006.
DOI : 10.1147/sj.453.0621

S. A. Da-costa and L. Ribeiro, Verification of graph grammars using a logical approach, Science of Computer Programming, vol.77, issue.4, pp.480-504, 2012.
DOI : 10.1016/j.scico.2010.02.006

M. Aquin, P. Doran, E. Motta, and V. A. Tamma, Towards a parametric ontology modularization framework based on graph transformation, 2007.

D. Lara, J. , and H. Vangheluwe, Atom3 : A tool for multi-formalism and metamodelling , in Fundamental approaches to software engineering, pp.174-188, 2002.

D. Leenheer, P. , and T. Mens, Using Graph Transformation to Support Collaborative Ontology Evolution, Applications of Graph Transformations with Industrial Relevance, pp.44-58, 2008.
DOI : 10.1007/978-3-540-25959-6_35

N. Dershowitz and J. Jouannaud, Rewrite Systems, 1989.
DOI : 10.1016/B978-0-444-88074-1.50011-1

R. Djedidi, Approche d'évolution d'ontologie guidée par des patrons de gestion de changement, 2009.

R. Djedidi and M. Aufaure, ONTO-EVO A L an Ontology Evolution Approach Guided by Pattern Modeling and Quality Evaluation, 6th International Symposium on Foundations of Information and Knowledge Systems, pp.286-305, 2010.
DOI : 10.1007/978-3-642-11829-6_19

H. Do and E. Rahm, COMA ??? A system for flexible combination of schema matching approaches, Proceedings of the 28th international conference on Very Large Data Bases, pp.610-621, 2002.
DOI : 10.1016/B978-155860869-6/50060-3

D. Reis, J. C. , C. Pruski, and C. Reynaud-delaître, State-of-the-art on mapping maintenance and challenges towards a fully automatic approach, Expert Systems with Applications, issue.3, pp.42-1465, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01115528

F. Drewes, H. Kreowski, and A. Habel, Handbook of graph grammars and computing by graph transformation, chap. Hyperedge Replacement, Graph Grammars, World scientific Singapore, 1999.

S. T. Dumais, Latent semantic analysis, Annual review of information science and technology, pp.188-230, 2004.

M. J. Dürst, Internationalized resource identifiers : From specification to testing, 19th International Unicode Conference, 2001.

H. Ehrig, Introduction to the algebraic theory of graph grammars (a survey), in Graph- Grammars and Their Application to, Computer Science and Biology, pp.1-69, 1979.

J. Engelfriet and G. Rozenberg, Graph grammars based on node rewriting : An introduction to nlc graph grammars, in Graph Grammars and Their Application to Computer Science, pp.12-23, 1991.

C. Ermel, M. Rudolf, and G. Taentzer, The agg approach : Language and environment, in Handbook of graph grammars and computing by graph transformation, pp.551-603, 1999.

M. Fernández-lópez, A. Gómez-pérez, and N. Juristo, Methontology : from ontological art towards ontological engineering, AAAI Symposium on Ontological Engineering, 1997.

M. Flasi´nskiflasi´nski and J. Jurek, Fundamental methodological issues of syntactic pattern recognition, Pattern Analysis and Applications, pp.465-480, 2014.

F. Fürst and F. Trichet, Raisonner sur des ontologies lourdes à l'aide de graphes conceptuels, 24 ème Congrès INFORSID (INFormatique des ORganisations et Systèmes d'Information et de Décision, pp.879-894, 2006.

M. Gagnon, Logique descriptive et owl, Cours dispensé à l'école polytechnique de, 2007.

F. Gandon, Ontology engineering : a survey and a return on experience, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00072192

F. L. Gandon, Graphes rdf et leur manipulation pour la gestion de connaissances, 2008.
URL : https://hal.archives-ouvertes.fr/tel-00351772

B. Ganter and R. Wille, Formal concept analysis : mathematical foundations, 2012.

L. M. Garshol, Metadata? Thesauri? Taxonomies? Topic Maps! Making Sense of it all, Journal of Information Science, vol.30, issue.4, pp.378-391, 2004.
DOI : 10.1177/0165551504045856

M. R. Genesereth and R. E. Fikes, Knowledge interchange format-version 3, 1992.

A. Gómez-pérez, Développement récents en matière de conception, de maintenance et d'utilisation des ontologies, Terminologies nouvelles, vol.19, pp.9-20, 1999.

A. Gómez-pérez, M. Fernández, and A. D. Vicente, Towards a method to conceptualize domain ontologies, ECAI96 Workshop on Ontological Engineering, pp.41-51, 1996.

T. R. Gruber, A translation approach to portable ontology specifications, Knowledge acquisition, pp.199-220, 1993.
DOI : 10.1006/knac.1993.1008
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.7493

M. Gueffaz, Scalesem : model checking et web sémantique, 2012.

M. Gueffaz, P. Pittet, S. Rampacek, C. Cruz, and C. Nicolle, Inconsistency identification in dynamic ontologies based on model checking, 8th International Conference on Web Information Systems and Technologies, WEBIST 2012, pp.418-421, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00704586

P. Haase and L. Stojanovic, Consistent evolution of owl ontologies, in The Semantic Web : Research and Applications, Second European Semantic Web Conference, pp.182-197, 2005.

F. Hamdi, Améliorer l'interopérabilité sémantique : applicabilité et utilité de l'alignement d'ontologies, 2011.

M. Hartung, A. Groß, and E. Rahm, COnto???Diff: generation of complex evolution mappings for life science ontologies, Journal of Biomedical Informatics, vol.46, issue.1, pp.15-32, 2013.
DOI : 10.1016/j.jbi.2012.04.009

R. Heckel, J. M. Küster, and G. Taentzer, Confluence of typed attributed graph transformation systems, in Graph Transformation, pp.161-176, 2002.

P. Hitzler, J. Euzenat, M. Krotzsch, L. Serafini, H. Stuckenschmidt et al., Integrated view and comparison of alignment semantics, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00922275

J. E. Hopcroft and J. D. Ullman, Formal languages and their relation to automata, 1969.

M. Javed, Operational change management and change pattern identification for ontology evolution, 2013.

M. Javed, Y. M. Abgaz, and C. Pahl, Ontology Change Management and Identification of Change Patterns, Journal on Data Semantics, vol.69, issue.10, pp.119-143, 2013.
DOI : 10.1007/s13740-013-0024-2

W. Jaziri, N. Sassi, and F. Gargouri, Approach and tool to evolve ontology and maintain its coherence, International Journal of Metadata, Semantics and Ontologies, vol.5, issue.2, pp.151-166, 2010.
DOI : 10.1504/IJMSO.2010.033284

M. Kamel and N. Aussenac-gilles, Construction automatique d'ontologies à partir de spécifications de bases de données, 2009.

G. Karsai, A. Agrawal, F. Shi, and J. Sprinkle, On the use of graph transformations in the formal specification of computer-based systems, Proceedings of IEEE TC-ECBS and IFIP10. 1 Joint Workshop on Formal Specifications of Computer-Based Systems, pp.19-27, 2003.

K. Khalfaoui, A. Chaoui, C. Foudil, and E. Kerkouche, Structural Validation of Software Product Line Variants: A Graph Transformations Based Approach, International Journal of Software Engineering & Applications, vol.4, issue.2, pp.19-31, 2013.
DOI : 10.5121/ijsea.2013.4202

A. M. Khattak, K. Latif, and S. Lee, Change management in evolving web ontologies, Knowledge-Based Systems, pp.1-18, 2013.

M. Kifer and G. Lausen, F-logic : a higher-order language for reasoning about objects, inheritance, and scheme, ACM SIGMOD Record, pp.134-146, 1989.
DOI : 10.1145/66926.66939
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1032.4486

M. Kifer, G. Lausen, and J. Wu, Logical foundations of object-oriented and frame-based languages, Journal of the ACM, vol.42, issue.4, pp.741-843, 1995.
DOI : 10.1145/210332.210335
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.115.3586

M. Klein, Combining and relating ontologies : an analysis of problems and solutions, in Workshop on ontologies and information sharing, IJCAI, pp.53-62, 2001.

M. Klein, Change management for distributed ontologies, 2004.

M. Klein and N. F. Noy, A component-based framework for ontology evolution, Proceedings of the Workshop on Ontologies and Distributed Systemsm, IJCAI, 2003.

H. Knublauch, R. W. Fergerson, N. F. Noy, and M. A. Musen, The Prot??g?? OWL Plugin: An Open Development Environment for Semantic Web Applications, The Semantic Web?ISWC, pp.229-243, 2004.
DOI : 10.1007/978-3-540-30475-3_17

K. Kotis and G. A. Vouros, The HCONE Approach to Ontology Merging, The Semantic Web : Research and Applications, pp.137-151, 2004.
DOI : 10.1007/978-3-540-25956-5_10
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.8824

S. Krivine, J. Nobécourt, L. Soualmia, F. Cerbah, and C. Duclos, Construction automatique d'ontologie à partir de bases de données relationnelles : application au médicament dans le domaine de la pharmacovigilance, pp.73-84, 2009.

V. I. Levenshtein, Binary codes capable of correcting deletions, insertions and reversals, Soviet physics doklady, pp.707-710, 1966.

G. Li, Z. Luo, and J. Shao, Multi-mapping based ontology merging system design, 2nd International Conference on Advanced Computer Control (ICACC), pp.5-11, 2010.

L. Liu, P. Zhang, R. Fan, R. Zhang, and H. Yang, Modeling ontology evolution with SetPi, Information Sciences, vol.255, pp.155-169, 2014.
DOI : 10.1016/j.ins.2013.07.017

J. Lladós and G. Sánchez, Symbol recognition using graphs, Proceedings 2003 International Conference on Image Processing (Cat. No.03CH37429), pp.49-52, 2003.
DOI : 10.1109/ICIP.2003.1246613

M. Löwe, Algebraic approach to single-pushout graph transformation, Theoretical Computer Science, vol.109, issue.1-2, pp.181-224, 1993.
DOI : 10.1016/0304-3975(93)90068-5

P. Luong and R. Dieng-kuntz, A RULE-BASED APPROACH FOR SEMANTIC ANNOTATION EVOLUTION, Computational Intelligence, vol.37, issue.7, pp.320-338, 2007.
DOI : 10.1111/j.1467-8640.2007.00308.x

A. Maedche and S. Staab, Semi-automatic engineering of ontologies from text, Proceedings of the 12th international conference on software engineering and knowledge engineering, pp.231-239, 2000.

M. Mahfoudh and W. Jaziri, Approche de couplage de bd et d'ontologie pour l'aide à la décision sémantique : contribution pour la satisfaction des requêtes sql et sparql, TSI. Technique et science informatiques, pp.7-8, 2013.
DOI : 10.3166/tsi.32.863-889

M. Mahfoudh, G. Forestier, L. Thiry, and M. Hassenforder, Consistent Ontologies Evolution Using Graph Grammars, Knowledge Science, Engineering and Management, pp.64-75, 2013.
DOI : 10.1007/978-3-642-39787-5_6

M. Mahfoudh, L. Thiry, G. Forestier, and M. Hassenforder, Adaptation consistante d'ontologies à l'aide des grammaires de graphe, Conférence d'Ingénierie des Connaissances, 2013.

M. Mahfoudh, G. Forestier, L. Thiry, and M. Hassenforder, Approche formelle de fusion d'ontologies à l'aide des grammaires de graphes typés, 14èmes Journées Francophones Extraction et Gestion des Connaissances, pp.565-568, 2014.

M. Mahfoudh, G. Forestier, L. Thiry, and M. Hassenforder, Comment fusionner des ontologies avec la réécriture de graphes ?, Journées Francophones sur les ontologies, pp.89-100, 2014.

M. Mahfoudh, L. Thiry, G. Forestier, and M. Hassenforder, Algebraic Graph Transformations for Merging Ontologies, Model and Data Engineering, pp.154-168, 2014.
DOI : 10.1007/978-3-319-11587-0_16

M. Mahfoudh, G. Forestier, L. Thiry, and M. Hassenforder, Algebraic graph transformations for formalizing ontology changes and evolving ontologies, Knowledge-Based Systems, pp.212-226, 2015.
DOI : 10.1016/j.knosys.2014.10.007

M. Mahfoudh, L. Thiry, G. Forestier, and M. Hassenforder, Une nouvelle formalisation des changements ontologiques composés et complexes, 15èmes Journées Francophones Extraction et Gestion des Connaissances, pp.263-274, 2015.

B. Mcbride, The Resource Description Framework (RDF) and its Vocabulary Description Language RDFS, Handbook on ontologies, pp.51-65, 2004.
DOI : 10.1007/978-3-540-24750-0_3

D. L. Mcguinness, R. Fikes, L. A. Stein, and J. A. Hendler, Daml-ont : An ontology language for the semantic web, Spinning the Semantic Web, pp.65-93, 2003.
DOI : 10.1109/mis.2002.1039835

T. Mens, P. Van-gorp, D. Varró, and G. Karsai, Applying a Model Transformation Taxonomy to Graph Transformation Technology, Electronic Notes in Theoretical Computer Science, vol.152, pp.143-159, 2006.
DOI : 10.1016/j.entcs.2005.10.022
URL : http://doi.org/10.1016/j.entcs.2005.10.022

T. Mens, G. Taentzer, and O. Runge, Analysing refactoring dependencies using graph transformation, Software & Systems Modeling, pp.269-285, 2007.
DOI : 10.1007/s10270-006-0044-6

M. B. Mhiri, F. Gargouri, and D. Benslimane, Détermination automatique des relations sémantiques entre les concepts d'une ontologie, 24 ème Congrès INFORSID (INFormatique des ORganisations et Systèmes d'Information et de Décision, pp.627-642, 2006.

A. Miles and J. R. Pérez-agüera, SKOS: Simple Knowledge Organisation for the Web, Cataloging & Classification Quarterly, vol.43, issue.3-4, pp.3-4, 2007.
DOI : 10.1300/J104v43n03_04

E. Miller, An Introduction to the Resource Description Framework, Bulletin of the American Society for Information Science and Technology, vol.25, issue.1, pp.15-19, 1998.
DOI : 10.1002/bult.105

G. A. Miller, WordNet: a lexical database for English, Communications of the ACM, vol.38, issue.11, pp.39-41, 1995.
DOI : 10.1145/219717.219748
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.1823

R. Milner, Communicating and mobile systems : the pi calculus, 1999.

M. Minksy, A framework for representing knowledge, The psychology of computer vision, pp.211-277, 1975.

B. Motik, R. Shearer, and I. Horrocks, Hypertableau reasoning for description logics, Journal of Artificial Intelligence Research, vol.36, issue.1, pp.165-228, 2009.

U. Nickel, J. Niere, and A. Zündorf, The FUJABA environment, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.742-745, 2000.
DOI : 10.1145/337180.337620

N. F. Noy and C. D. Hafner, The state of the art in ontology design : A survey and comparative review, AI magazine, p.53, 1997.

N. F. Noy and M. A. Musen, Algorithm and tool for automated ontology merging and alignment, 17th National Conference on Artificial Intelligence (AAAI), pp.450-455, 2000.

N. F. Noy and M. A. Musen, Anchor-prompt : Using non-local context for semantic matching, Proceedings of the workshop on ontologies and information sharing at the international joint conference on artificial intelligence (IJCAI), pp.63-70, 2001.

N. F. Noy and M. A. Musen, The PROMPT suite: interactive tools for ontology merging and mapping, International Journal of Human-Computer Studies, vol.59, issue.6, pp.983-1024, 2003.
DOI : 10.1016/j.ijhcs.2003.08.002
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.7967

S. Pavel and J. Euzenat, Ontology matching : State of the art and future challenges, IEEE Transactions on Knowledge and Data Engineering, vol.25, issue.1, pp.158-176, 2013.

E. Peukert, S. Massmann, and K. Koenig, Comparing similarity combination methods for schema matching, GI Jahrestagung, pp.692-701, 2010.

P. Pittet, Ontoversiongraph : A change management methodology dedicated to formal ontologies and their user viwes in a collaborative context : application to shoin(d) ontologies, 2014.

P. Pittet, C. Cruz, and C. Nicolle, An ontology change management approach for facility management, Computers in Industry, vol.65, issue.9, pp.1301-1315, 2014.
DOI : 10.1016/j.compind.2014.07.006
URL : https://hal.archives-ouvertes.fr/hal-01274522

D. Plump, Critical pairs in term graph rewriting, Mathematical Foundations of Computer Science, pp.556-566, 1994.
DOI : 10.1007/3-540-58338-6_102

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

S. Raunich and E. Rahm, Towards a Benchmark for Ontology Merging, On the Move to Meaningful Internet Systems : OTM 2012 Workshops, pp.124-133, 2012.
DOI : 10.1007/978-3-642-33618-8_20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.368.1224

S. Raunich and E. Rahm, Target-driven merging of taxonomies with Atom, Information Systems, vol.42, pp.1-14, 2014.
DOI : 10.1016/j.is.2013.11.001

M. Rebout, Une approche catégorique unifiée pour la récriture de graphes attribués, 2008.

K. Royer, L. Bellatreche, and S. Jean, Combining domain and business ontologies in a modular construction method: EDF study case, 2014 37th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), pp.1452-1457, 2014.
DOI : 10.1109/MIPRO.2014.6859795

G. Rozenberg, Handbook of graph grammars and computing by graph transformation, 1999.
DOI : 10.1142/3303

K. Schneider, Application of Graph Grammars in an Educational Software Engineering Game: A Case Study in Pragmatic Adoption, International Journal of Software Engineering and Knowledge Engineering, vol.07, issue.04, pp.401-429, 1997.
DOI : 10.1142/S0218194097000242

A. Schürr, Specification of graph translators with triple graph grammars, Graph- Theoretic Concepts in Computer Science, pp.151-163, 1995.
DOI : 10.1007/3-540-59071-4_45

A. Schürr, A. J. Winter, and A. Zündorf, THE PROGRES APPROACH: LANGUAGE AND ENVIRONMENT, pp.487-550, 1999.
DOI : 10.1142/9789812815149_0013

Z. Sellami, Gestion dynamique d'ontologies à partir de textes par systèmes multiagents adaptatifs, 2012.

Z. Sellami, V. Camps, and N. Aussenac-gilles, DYNAMO-MAS: a Multi-Agent System for Ontology Evolution from Text, Journal on Data Semantics, vol.17, issue.2-3, pp.145-161, 2013.
DOI : 10.1007/s13740-013-0025-1
URL : https://hal.archives-ouvertes.fr/hal-01137318

A. Shaban-nejad and V. Haarslev, Managing changes in distributed biomedical ontologies using hierarchical distributed graph transformation, International Journal of Data Mining and Bioinformatics, vol.11, issue.1, pp.53-83, 2015.
DOI : 10.1504/IJDMB.2015.066334

E. Sirin, B. Parsia, B. Grau, A. Kalyanpur, and Y. Katz, Pellet : A practical owl-dl reasoner , Web Semantics : science, services and agents on the World Wide Web, pp.51-53, 2007.

J. M. Spivey and J. Abrial, The Z notation, 1992.

G. Stoilos, G. Stamou, and S. Kollias, A String Metric for Ontology Alignment, The Semantic Web?ISWC 2005, pp.624-637, 2005.
DOI : 10.1007/11574620_45
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.2313

L. Stojanovic, Methods and tools for ontology evolution, 2004.

N. Stojanovic, L. Stojanovic, and S. Handschuh, Evolution in the ontology-based knowledge management system, Proceedings of the European Conference on Information Systems- ECIS, 2002.

G. Stumme and A. Maedche, Fca-merge : Bottom-up merging of ontologies, Seventeenth International Joint Conference on Artificial Intelligence, IJCAI, pp.225-230, 2001.

L. Thiry, M. Mahfoudh, and M. Hassenforder, A functional inference system for the web, International Journal of Web Applications, vol.6, pp.1-13, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01167473

R. Touhami, P. Buche, J. Dibie-barthélemy, and L. Ib?, An Ontological and Terminological Resource for n-ary Relation Annotation in Web Data Tables, On the Move to Meaningful Internet Systems : OTM 2011, pp.662-679, 2011.
DOI : 10.1007/978-3-642-25106-1_19
URL : https://hal.archives-ouvertes.fr/lirmm-00616241

D. Tsarkov and I. Horrocks, FaCT++ Description Logic Reasoner: System Description, Third International Joint Conference on Automated Reasoning, pp.292-297, 2006.
DOI : 10.1007/11814771_26
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.2672

M. Uschold and M. Gruninger, Ontologies : Principles, methods and applications, The knowledge engineering review, pp.93-136, 1996.
DOI : 10.1017/s0269888900007797
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.111.5903

M. Uschold and M. King, Towards a methodology for building ontologies, 1995.

R. Vanlande, C. Nicolle, and C. Cruz, Ifc and building lifecycle management, Automation in Construction, pp.70-78, 2008.
DOI : 10.1016/j.autcon.2008.05.001

D. Varró and A. Pataricza, VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics), Software and Systems Modeling, pp.187-210, 2003.
DOI : 10.1007/s10270-003-0028-8

D. Varró and A. Pataricza, Generic and meta-transformations for model transformation engineering, 2004-The Unified Modeling Language. Modelling Languages and Applications, pp.290-304, 2004.

C. Welty and N. Guarino, Supporting ontological analysis of taxonomic relationships, Data & Knowledge Engineering, vol.39, issue.1, pp.51-74, 2001.
DOI : 10.1016/S0169-023X(01)00030-1

A. Zimmermann, M. Krotzsch, J. Euzenat, and P. Hitzler, Formalizing ontology alignment and its operations with category theory, Frontiers in Artificial Intelligence and Applications, vol.150, pp.277-288, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00825949

A. Zouaq and R. Nkambou, Building domain ontologies from text for educational purposes, Learning Technologies, IEEE Transactions on, vol.1, issue.1, pp.49-62, 2008.
DOI : 10.1109/tlt.2008.12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.476.5353