S. Abiteboul, R. Hull, and V. Vianu, Foundations of Databases, 1995.

A. Artale, D. Calvanese, R. Kontchakov, and M. Zakharyaschev, The DL-Lite family and relations, Journal of Artificial Intelligence Research (JAIR), vol.36, pp.1-69, 2009.

A. Artale, R. Kontchakov, A. Kovtunova, V. Ryzhikov, F. Wolter et al., First-order rewritability of temporal ontology-mediated queries, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, pp.2706-2712, 2015.

F. Baader, S. Brandt, and C. Lutz, Pushing the EL envelope, Proceedings of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI), pp.364-369, 2005.

F. Baader, D. Calvanese, D. Mcguinness, D. Nardi, and P. , The Description Logic Handbook: Theory, Implementation, and Applications, 2003.

F. Baader, I. Horrocks, C. Lutz, and U. Sattler, An Introduction to Description Logic, 2017.

F. Baader, R. Küsters, and R. Molitor, Computing least common subsumers in description logics with existential restrictions, International Joint Conference on Artificial Intelligence (IJCAI), pp.96-103, 1999.

F. Baader, R. Molitor, and S. Tobies, Tractable and Decidable Fragments of Conceptual Graphs, International Conference on Conceptual Structures, volume 1640 of LNAI, pp.480-493, 1999.

J. Baget, M. Bienvenu, M. Mugnier, and M. Thomazo, Answering conjunctive regular path queries over guarded existential rules, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, pp.793-799, 2017.
URL : https://hal.archives-ouvertes.fr/lirmm-01632224

J. Baget, M. Croitoru, A. Gutierrez, M. Leclère, and M. Mugnier, Translations between rdf(s) and conceptual graphs, International Conference on Conceptual Structures (ICCS'10), pp.28-41, 2010.
URL : https://hal.archives-ouvertes.fr/lirmm-00537334

J. Baget, M. Leclère, M. Mugnier, and E. Salvat, On rules with existential variables: Walking the decidability line, Artificial Intelligence, vol.175, issue.9, pp.1620-1654, 2011.
URL : https://hal.archives-ouvertes.fr/lirmm-00587012

J. Baget, M. Mugnier, S. Rudolph, and M. Thomazo, Walking the complexity lines for generalized guarded existential rules, IJCAI'11, pp.712-717, 2011.
URL : https://hal.archives-ouvertes.fr/lirmm-00618081

K. Bereta, M. Koubarakis, P. T. Groth, E. Simperl, A. J. Gray et al., Ontop of geospatial databases, The Semantic Web -ISWC 2016 -15th International Semantic Web Conference, vol.9981, pp.37-52, 2016.

T. Berners-lee, J. Hendler, and O. Lassila, The semantic web, Scientific American, p.279, 2001.

M. Bienvenu and C. Bourgaux, Inconsistency-tolerant querying of description logic knowledge bases, Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering -12th International Summer School, pp.156-202, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01633000

M. Bienvenu, S. Kikot, R. Kontchakov, V. V. Podolskii, and M. Zakharyaschev, Ontology-mediated queries: Combined complexity and succinctness of rewritings via circuit complexity, Journal of the ACM. Forthcoming, 2018.
URL : https://hal.archives-ouvertes.fr/lirmm-01892661

M. Bienvenu and M. Ortiz, Ontology-mediated query answering with datatractable description logics, Lecture Notes of the 11th International Reasoning Web Summer School, vol.9203, pp.218-307, 2015.

M. Bienvenu, M. Ortiz, and M. Simkus, Regular path queries in lightweight description logics: Complexity and algorithms, J. Artif. Intell. Res, vol.53, pp.315-374, 2015.

M. Bienvenu and R. Rosati, Query-based comparison of mappings in ontology-based data access, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, pp.197-206, 2016.
URL : https://hal.archives-ouvertes.fr/lirmm-01367812

P. Blackburn, J. V. Benthem, and F. Wolter, Handbook of Modal Logic, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00580143

A. Borgida, On the relative expressiveness of description logics and predicate logics, Artificial intelligence, vol.82, pp.353-367, 1996.

S. Borgwardt, M. Lippmann, and V. Thost, Temporalizing rewritable query languages over knowledge bases, J. Web Sem, vol.33, pp.50-70, 2015.

E. Botoeva, D. Calvanese, V. Santarelli, D. F. Savo, A. Solimando et al., Beyond OWL 2 QL in OBDA: rewritings and approximations, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, pp.921-928, 2016.

S. Brandt, E. G. Kalayci, R. Kontchakov, V. Ryzhikov, G. Xiao et al., Ontology-based data access with a horn fragment of metric temporal logic, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, pp.1070-1076, 2017.

A. Calì, G. Gottlob, and M. Kifer, Taming the infinite chase: Query answering under expressive relational constraints, International Conference on Principles of Knowledge Representation and Reasoning(KR), pp.70-80, 2008.

A. Calì, G. Gottlob, and T. Lukasiewicz, A general datalog-based framework for tractable query answering over ontologies, International Conference on Principles of Database Systems (PODS), pp.77-86, 2009.

A. Calì, G. Gottlob, and A. Pieris, Advanced processing for ontological queries, PVLDB, vol.3, issue.1, pp.554-565, 2010.

D. Calvanese, G. D. Giacomo, D. Lembo, M. Lenzerini, and R. Rosati, Tractable reasoning and efficient query answering in description logics: The dllite family, Journal of Automated Reasoning (JAR), vol.39, issue.3, pp.385-429, 2007.

M. Chein and M. Mugnier, Graph-based Knowledge Representation and Reasoning-Computational Foundations of Conceptual Graphs, Advanced Information and Knowledge Processing, 2009.

P. Chen, The entity-relationship model: Toward a unified view of data, ACM Transactions on Database Systems (TODS), vol.1, issue.1, pp.9-36, 1976.

E. Dantsin, T. Eiter, G. Gottlob, and A. Voronkov, Complexity and expressive power of logic programming, ACM Comput. Surv, vol.33, issue.3, pp.374-425, 2001.

F. Dau, The Logic System of Concept Graphs with Negation And Its Relationship to Predicate Logic, Lecture Notes in Computer Science, vol.2892, 2003.

R. Fagin, P. G. Kolaitis, R. J. Miller, and L. Popa, Data exchange: semantics and query answering, Theor. Comput. Sci, vol.336, issue.1, pp.89-124, 2005.

C. Feier, D. Carral, G. Stefanoni, B. C. Grau, and I. Horrocks, The combined approach to query answering beyond the OWL 2 profiles, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, pp.2971-2977, 2015.

G. Gottlob, S. Kikot, R. Kontchakov, V. V. Podolskii, T. Schwentick et al., The price of query rewriting in ontology-based data access, Artif. Intell, vol.213, pp.42-59, 2014.

G. Gottlob, G. Orsi, A. Pieris, and M. Simkus, Datalog and its extensions for semantic web databases, Reasoning Web, pp.54-77, 2012.

G. Gottlob and T. Schwentick, Rewriting ontological queries into small nonrecursive datalog programs, Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012.

B. C. Grau, I. Horrocks, Y. Kazakov, and U. Sattler, Modular reuse of ontologies: Theory and practice, J. Artif. Intell. Res, vol.31, pp.273-318, 2008.

B. C. Grau, I. Horrocks, M. Krötzsch, C. Kupke, D. Magka et al., Acyclicity notions for existential rules and their application to query answering in ontologies, J. Artif. Intell. Res. (JAIR), vol.47, pp.741-808, 2013.

R. Gruber, A translation approach to portable ontology specifications, Knowl. Acquis, vol.5, issue.2, pp.199-220, 1993.

N. Guarino, Formal ontology and information systems, Formal Ontology and Information Systems, pp.3-15, 1998.

I. Horrocks, O. Kutz, and U. Sattler, The even more irresistible SROIQ, International Conference on Principles of Knowledge Representation and Reasoning (KR), pp.57-67, 2006.

I. Horrocks, U. Sattler, and S. Tobies, Practical reasoning for expressive description logics, Logic Programming and Automated Reasoning, 6th International Conference, LPAR'99, pp.161-180, 1999.

B. Konev, C. Lutz, D. Walther, and F. Wolter, Model-theoretic inseparability and modularity of description logic ontologies, Artif. Intell, vol.203, pp.66-103, 2013.

R. Kontchakov, F. Wolter, and M. Zakharyaschev, Logic-based ontology comparison and module extraction, with an application to dl-lite, Artif. Intell, vol.174, issue.15, pp.1093-1141, 2010.

F. Lehmann, Semantic Networks in Artificial Intelligence, 1992.

D. Lembo, M. Lenzerini, R. Rosati, M. Ruzzi, and D. F. Savo, Inconsistency-tolerant query answering in ontology-based data access, J. Web Sem, vol.33, pp.3-29, 2015.

A. Levy and M. Rousset, Combining horn rules and description logics in carin, Artificial Intelligence, vol.101, 1998.

T. Lukasiewicz, M. V. Martinez, A. Pieris, and G. I. Simari, From classical to consistent query answering under existential rules, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, pp.1546-1552, 2015.

C. Lutz, I. Seylan, D. Toman, and F. Wolter, The combined approach to OBDA: taming role hierarchies using filters, The Semantic Web -ISWC 2013 -12th International Semantic Web Conference, pp.314-330, 2013.

M. Mugnier and M. Thomazo, An introduction to ontology-based query answering with existential rules, Reasoning Web. Reasoning on the Web in the Big Data Era -10th International Summer School, pp.245-278, 2014.
URL : https://hal.archives-ouvertes.fr/lirmm-01089990

M. Mugnier, Ontological query answering with existential rules, Rules and Reasoning the Web (RR'11), pp.2-23, 2011.
URL : https://hal.archives-ouvertes.fr/lirmm-00618296

B. Nebel, Terminological reasoning is inherently intractable, Artificial Intelligence, vol.43, issue.2, pp.235-249, 1990.

M. Ortiz and M. Simkus, Reasoning and query answering in description logics, Lecture Notes of the 8th International Reasoning Web Summer School, pp.1-53, 2012.

R. Peñaloza and B. Sertkaya, Understanding the complexity of axiom pinpointing in lightweight description logics, Artif. Intell, vol.250, pp.80-104, 2017.

A. Poggi, D. Lembo, D. Calvanese, G. De-giacomo, M. Lenzerini et al., Linking data to ontologies, J. Data Semantics, vol.10, pp.133-173, 2008.

S. Rocher, Querying Existential Rule Knowledge Bases: Decidability and Complexity, 2016.
URL : https://hal.archives-ouvertes.fr/tel-01483770

K. Schild, A correspondence theory for terminological logics: Preliminary report, International Joint Conference on Artificial Intelligence (IJCAI), 1991.

S. Schlobach and R. Cornet, Non-standard reasoning services for the debugging of description logic terminologies, IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, pp.355-362, 2003.

R. Sebastiani and M. Vescovi, Axiom pinpointing in lightweight description logics via horn-sat encoding and conflict analysis, 22nd International Conference on Automated Deduction, vol.5663, pp.84-99, 2009.

J. F. Sowa, Conceptual Graphs, IBM Journal of Research and Development, 1976.

J. F. Sowa, Conceptual Structures: Information Processing in Mind and Machine, 1984.

G. Stefanoni, B. Motik, M. Krötzsch, R. , and S. , The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases, J. Artif. Intell. Res, vol.51, pp.645-705, 2014.

M. Thomazo, Conjunctive Query Answering Under Existential Rules -Decidability, OWL web Ontology Language, p.3, 2004.
URL : https://hal.archives-ouvertes.fr/tel-00925722

, RDF vocabulary description language 1.0: RDF schema, p.3, 2004.

, OWL 2 web Ontology Language, p.3, 2012.

, OWL 2 Web Ontology Language Profiles, p.3, 2012.

M. Bienvenu and M. Leclère,

. .. , 5 2.2 Lightweight description logics: FL 0 and EL, vol.7, p.11

A. From, . Shiq, and . Sroiq,

. .. Conceptual-graphs, 1 The Kernel: Basic conceptual graphs

, Conceptual graph rules

. .. Conceptual-graph-constraints,

, Relationships with description logics

. .. Existential-rules,

.. .. Decidability-results,

. .. Conclusion,

. .. References,