M. Ph and J. Bénard, Creating and Using various Knowledge Representation Model and Notation, Proceedings of ECKM 2017, 18th European Conference on Knowledge Management, 2017.

M. Ph and J. Bénard, Top-level Ideas about Importing, Translating and Exporting Knowledge via an Ontology of Representation Languages, ACM proceedings of Semantics, pp.89-92, 2016.

M. Ph and J. Bénard, Categorizing or Generating Relation Types and Organizing Ontology Design Patterns, Proceedings of KAM 2017, 23rd IEEE Conference on Knowledge Acquisition and Management, pp.3-6, 2017.

M. Ph and J. Bénard, Deriving Binary Relation Types From Concept Types. Supplementary proceedings of ICCS 2016, 22nd International Conference on Conceptual Structures, pp.9-12, 2016.

E. Si-spec_element-est-un, donc soit un mot clef, soit un délimiteur), cette fonction compare spec_element et l'EC courant dans la liste L_EC ; si le résultat de cette comparaison est négatif

. Sinon, la fonction f_EA_gen est alors appelée avec EA_part en argument Cette fonction applique les traitements présentés dans la sous-liste ci-dessous. 3.2.1. Si EA_part est une spécialisation de Type_as_description_content, une instance de EA_part est générée. 3.2.2. Sinon (EA_part est une spécialisation de Language_element), la fonction d'import est appelée avec en argument une liste L_t_EA ne contenant que EA_part

S. Le-parcours-de, EA_spec n'a pas été abandonné, une instance EA_out de l'élément courant de L_t_EA est générée avec ses sous-parties (générées ci-dessus par appels de f_EA_gen)

. Ainsi, écrire des traducteurs de manière procédurale et ad hoc pour ces EAs Parmi les autres traducteurs (de LRCs) qui permettent des traductions (entre EAs), seuls ceux qui exploitent LATIN permettent Les traducteurs (de LRCs) qui n'exploitent ni LATIN, ni KRLO

K. La-partie-de, fichier d_KRLmodelsTranslation.html) a montré que beaucoup de règles utilisées pour la traduction entre EAs nécessitent un quantificateur existentiel dans la partie conclusion (cf. 6.2) Ces règles ne sont pas des règles de Horn strictes [definite Horn rules]. Ainsi, ces règles ne sont pas utilisables par des moteurs d'inférences conçus pour des LRCs exécutables comme Datalog

. Alternativement, les definitions ou règles de traduction entre EAs peuvent aussi être exécutées via une implémentation procédurale ou fonctionnelle des proccessus d'import et export génériques

S. Bechhofer, R. Möller, and P. Crowther, The DIG description logic interface, Proceedings of the 2003 international workshop on description logics (dl2003), 2003.

J. Baget, M. Croitoru, A. Gutierrez, M. Leclère, and M. Mugnier, Translations between RDF(S) and Conceptual Graphs, Conceptual structures: From information to intelligence, 18th international conference on conceptual structures, pp.28-41, 2010.
DOI : 10.1007/978-3-642-14197-3_7
URL : https://hal.archives-ouvertes.fr/lirmm-00537334

J. Baget, A. Gutierrez, M. Leclère, M. Mugnier, S. Rocher et al., Datalog+, ruleml and OWL 2: Formats and translations for existential rules, Proceedings of the ruleml 2015 challenge, the special track on rule-based recommender systems for the web of data, the special industry track and the ruleml 2015 doctoral consortium hosted by the 9th international web rule symposium, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01172069

T. Berners-lee, D. Connolly, L. Kagal, Y. Scharf, and J. Hendler, Abstract, Theory and Practice of Logic Programming, pp.249-269, 2005.
DOI : 10.1007/978-1-4684-3384-5

J. Bénard and . Martin-ph, Improving General Knowledge Sharing via an Ontology of Knowledge Representation Language Ontologies 22 pages) of CCIS 553: book from the Springer-Verlag Lectures Notes series Book titleKnowledge Discovery, Knowledge Engineering and Knowledge Management". This book chapter is an extension of our "KEOD+KDIR 2014 best paper award" article listed below (selection rate, CCIS) papers out of 287 submissions), pp.364-3879, 2015.

R. Botting, How Far Can EBNF Stretch? http://cse.csusb, BPMN: Business Process Model and Notation. Version 2.0. OMG document Number, pp.2011-2012, 2011.

M. Brophy and J. Heflin, OWL-PL: A Presentation Language for Displaying Semantic Data on the Web, 2009.

H. Chalupsky, Ontomorph: A translation system for symbolic knowledge In KR 2000, principles of knowledge representation and reasoning proceedings of the seventh international conference, breckenridge, colorado, usa, pp.11-15, 2000.

M. Chein, M. Mugnier, and G. Simonet, Nested graphs: A graph-based knowledge representation model with FOL semantics, Proceedings of the sixth international conference on principles of knowledge representation and reasoning (kr'98), pp.524-535, 1998.

M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, and F. Rabe, Project Abstract: Logic Atlas and Integrator (LATIN), Intelligent Computer Mathematics 2011, pp.287-289, 2011.
DOI : 10.4204/EPTCS.34.8
URL : http://www.informatik.uni-bremen.de/%7Etill/papers/cicm11.pdf

M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, F. Rabe et al., Towards Logical Frameworks in the Heterogeneous Tool Set Hets, Recent trends in algebraic development techniques -20th international workshop, pp.139-159, 2010.
DOI : 10.1007/3-540-48660-7_14

M. Codescu, E. Kuksa, O. Kutz, T. Mossakowski, and F. Neuhaus, Ontohub: A semantic repository engine for heterogeneous ontologies, Applied Ontology, vol.4, issue.1, 2016.
DOI : 10.1007/s10817-009-9143-8

C. O. Faron-zucker and C. , STTL: A SPARQL-based Transformation Language for RDF, Proceedings of WEBIST 2015, 11th International Conference on Web Information Systems and Technologies, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01150623

O. Corby, C. Faron-zucker, and F. Gandon, A Generic RDF Transformation Software and its Application to an Online Translation Service for Common Languages of Linked Data. The 14th International Semantic Web Conference, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01186047

Ó. Corcho and A. Gómez-pérez, Odedialect: a set of declarative languages for implementing ontology translation systems, J. UCS, vol.13, issue.12, pp.1805-1834, 2007.

M. Croitoru and E. Compatangelo, Conceptual graph assemblies, Contributions to ICCS 2006, 14th International Conference on Conceptual Structures, pp.15-28, 2006.

T. Despeyroux, Typol: A formalism to implement Natural Semantics, 1988.
URL : https://hal.archives-ouvertes.fr/inria-00070072

A. Dimou, M. V. Sande, P. Colpaert, R. Verborgh, E. Mannens et al., RML: A generic language for integrated RDF mappings of heterogeneous data, Proceedings of the workshop on linked data on the web colocated with the 23rd international world wide web conference, 2014.

J. Euzenat and H. Stuckenschmidt, The 'family of languages' approach to semantic interoperability. Knowledge transformation for the semantic web, IOS press, pp.49-63, 2003.
URL : https://hal.archives-ouvertes.fr/hal-01373660

J. Euzenat, Towards a principled approach to semantic interoperability, Proceedings of IJCAI 2001, Workshop on Ontology and Information Sharing, pp.19-25, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00822909

J. Euzenat, Preserving modularity in XML encoding of description logics, Proceedings of 14th Workshop on Description Logics, pp.20-29, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00822912

J. Euzenat, An infrastructure for formally ensuring interoperability in a heterogeneous semantic web, Proceedings of SWWS 2001, 1st Semantic Web Working Symposium, pp.345-360, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00822913

A. Farquhar, R. Fikes, and J. Rice, The Ontolingua Server: a tool for collaborative ontology construction, International Journal of Human-Computer Studies, vol.46, issue.6, 1997.
DOI : 10.1006/ijhc.1996.0121

S. Feja, S. Witt, and A. Speck, BAM: A Requirements Validation and Verification Framework for Business Process Models, 2011 11th International Conference on Quality Software, pp.186-191, 2011.
DOI : 10.1109/QSIC.2011.33

M. Genesereth and R. Fikes, Knowledge Interchange Format, Version 3.0, Reference Manual, 1992.

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

G. Guizzardi, Ontological foundations for structural concept models, 2005.
DOI : 10.1007/3-540-36124-3_70
URL : http://wwwhome.cs.utwente.nl/~guizzard/paperVF.pdf

G. Guizzardi, M. Lopes, F. Baião, and R. Falbo, On the importance of truly ontological representation languages, International Journal of Information Systems Modeling and Design (IJISMD), vol.1, issue.2, pp.1-22, 2010.

R. Harper, F. Honsell, and G. D. Plotkin, A framework for defining logics, Proceedings of the symposium on logic in computer science (lics'87), pp.194-204, 1987.
DOI : 10.1145/138027.138060

P. J. Hayes, IKL guide. Unpublished memorandum, 2006.

I. Horrocks, P. F. Patel-schneider, H. Boley, S. Tabet, B. Grosof et al., SWRL: A Semantic Web Rule Language Combining OWL and RuleML, W3C Submission, 2004.

J. Baget and &. Mugnier, Extensions of Simple Conceptual Graphs: The Complexity of Rules and Constraints, Journal of Artificial Intelligence Research, vol.16, pp.425-465, 2002.
URL : https://hal.archives-ouvertes.fr/lirmm-00268460

G. Kahn, B. Lang, B. E. Melese, and . Morcos, Metal: a formalism to specify formalisms, Science of Computer Programming, vol.3, issue.2, pp.151-188, 1983.
DOI : 10.1016/0167-6423(83)90009-6

M. Krötzsch, S. Rudolph, and P. Hitzler, Complexities of Horn Description Logics, ACM Transactions on Computational Logic, vol.14, issue.1, pp.1-2, 2013.
DOI : 10.1145/2422085.2422087

O. Kutz and T. Mossakowski, The onto-logical translation graph, Modular ontologies proceedings of the Fifth international workshop, pp.94-109, 2011.

C. Lange, T. Mossakowski, and O. Kutz, Lola: A modular ontology of logics, languages, and translations, Workshop on modular ontologies, 2012.

M. Lefrançois, A. Zimmermann, and N. Bakerally, A SPARQL Extension for Generating RDF from Heterogeneous Formats, Proceedings of the Extended Semantic Web Conference, 2017.
DOI : 10.1007/978-3-319-34129-3_23

D. V. Mcdermott and D. Dou, Representing Disjunction and Quantifiers in RDF. In The semantic web -ISWC 2002, First international semantic web conference, sardinia, italy, pp.250-263, 2002.

M. Ph and J. Bénard, An Ontology for Specifying and Parsing Knowledge Representation Structures and Notations Selected for the "KDIR 2014 best paper award, Proceedings of KEOD 2014 (6th International Conference on Knowledge Engineering and Ontology Development KEOD and KDIR (International Conference on Knowledge Discovery and Information Retrieval) are joint conferences. Selection rate of, pp.21-24, 2014.

M. Ph and J. Bénard, Top-level Ideas about Importing, Translating and Exporting Knowledge via an Ontology of Representation Languages, ACM proceedings of Semantics, pp.89-92, 2016.

M. Ph and J. Bénard, Creating and Using various Knowledge Representation Model and Notation, Proceedings of ECKM 2017, 18th European Conference on Knowledge Management, 2017.

M. Ph and P. Eklund, WebKB and the Sisyphus-I problem, Proceedings of ICCS, pp.315-333, 1999.

M. Ph, Collaborative Ontology Modelling, Proceedings of ICCP 2010-3) IEEE 6th International Conference on Intelligent Computer Communication and Processing, pp.59-66, 2010.

M. Ph, Towards a collaboratively-built knowledge base of&for scalable knowledge sharing and retrieval, 2009.

M. Horridge and S. Bechhofer, The OWL API: A Java API for OWL Ontologies, Special Issue on Semantic Web Tools and Systems, pp.11-21, 2011.

M. Object and F. , Core Specification. Version 2.5.1 OMG Document Number: formal, pp.2016-2027, 2016.

T. Mossakowski, C. Maeder, and K. Lüttich, The Heterogeneous Tool Set, Hets, Maya: Maintaining structured developments, pp.286-289, 2006.
DOI : 10.1007/978-3-540-71209-1_40
URL : http://www.informatik.uni-bremen.de/~till/papers/hets-tacas-toolpaper.pdf

B. Motik, B. C. Grau, I. Horrocks, Z. Wu, A. Fokoue et al., OWL 2 Web Ontology Language: Profiles (Second Edition) W3C Recommendation, w3.org/TR/owl2-profiles. See also the OWL2 Primer (2012) and the RDF syntax grammar, 2012.

F. S. Parreiras and S. Staab, Using ontologies with UML class-based modeling: The TwoUse approach, Data & Knowledge Engineering, vol.69, issue.11, pp.1194-1207, 2010.
DOI : 10.1016/j.datak.2010.07.009

F. Pfenning and C. Schürmann, System Description: Twelf ??? A Meta-Logical Framework for Deductive Systems, Automated deduction -cade-16, 16th international conference on automated deduction, pp.202-206, 1999.
DOI : 10.1007/3-540-48660-7_14

E. Pietriga, C. Bizer, D. Karger, and R. Lee, Fresnel: A Browser-Independent Presentation Vocabulary for RDF, Proceedings of ISWC 2006, 2006.
DOI : 10.1007/11926078_12
URL : https://hal.archives-ouvertes.fr/inria-00001057

D. Quan, Xenon: An RDF Stylesheet Ontology, Proceedings of WWW 2005, 14th World Wide Web Conference (Japan), 2005.

S. Das, S. Sundara, and R. Cyganiak, R2RML: RDB to RDF mapping language. W3C Recommendation, R2RML, pp.2-20120927, 2012.

F. Rabe and M. Kohlhase, A scalable module system, Information and Computation, vol.230, pp.1-54, 2013.
DOI : 10.1016/j.ic.2013.06.001

R. Boley and M. Kifer, RIF Basic Logic Dialect (Second Edition) W3C Recommendation, 2013.

R. Boley, H. Kifer, and M. , RIF Framework for Logic Dialects W3C Recommendation, 2013.

. Assert and . Tintegervalue, Create(LGraph,'Un',2)=i,'Anomalie, le nom formel doit être unique')

. Tintegervalue, Create(LGraph

. Tstringvalue, Create(LGraph

{. and I. Idnumber64}, Ne pas oublie d'initialiser avec nil_ TIdNumber_=Int64, structure de 128 bit

{. Else}, Ne pas oublie d'initialiser avec nil_ TIdNumber_=Longint

. Trelationnodevalue and . Create, Create(LGraph

. Trelationnodevalue, Create(LGraph, 'maRelationPolyadiqueQuantifiee', [01,02,03], TPolyadicMapValue.Create(LGraph

. Tpolyadicmapvalue, Create(LGraph

. Dans-le-premier-cas, si on veut utiliser la liasse de graphes on écrira pour obtenir le graphe par défaut (dont le type de persistance est fixé au démarrage de l'application via un paramètre de ligne de commande supplémentaire -g 'chemin de dossier de graphe