S. K. Chandrasegaran, K. Ramani, R. D. Sriram, I. Horváth, A. Bernard et al., The evolution, challenges, and future of knowledge representation in product design systems, Computer-Aided Design, vol.45, issue.2, pp.204-228, 2013.
DOI : 10.1016/j.cad.2012.08.006

M. Chein, M. Et, and . Mugnier, Conceptual Graphs Are Also Graphs, Graph-Based Representation and Reasoning -ICCS 2014 Proceedings, pp.1-18, 2014.
DOI : 10.1007/978-3-319-08389-6_1
URL : https://hal.archives-ouvertes.fr/lirmm-01090141

J. Chen, A. Cohn, D. Liu, S. Wang, J. Ouyang et al., A survey of qualitative spatial representations, The Knowledge Engineering Review, vol.65, issue.181, pp.106-136, 2013.
DOI : 10.1016/j.ijar.2007.10.002

A. G. Cohn, S. M. Et, and . Hazarika, Qualitative spatial representation and reasoning : An overview, Fundamenta Informaticae, vol.46, pp.1-29, 2001.
DOI : 10.1007/3540634932_1

A. G. Cohn, S. Li, W. Liu, and E. J. Renz, Reasoning about topological and cardinal direction relations between 2-dimensional spatial objects, Journal of Artificial Intelligence Research, vol.51, pp.493-532, 2014.

R. Fagin, P. G. Kolaitis, R. J. Miller, and E. L. Popa, Data exchange: semantics and query answering, Theoretical Computer Science, vol.336, issue.1, pp.89-124, 2005.
DOI : 10.1016/j.tcs.2004.10.033
URL : https://doi.org/10.1016/j.tcs.2004.10.033

. Iso, Systèmes d'automatisation industrielle et intégration -représentation et échange de données de produits

N. Iyer, S. Jayanti, K. Lou, Y. Kalyanaraman, and E. K. Ramani, Three-dimensional shape searching: state-of-the-art review and future trends, Computer-Aided Design, vol.37, issue.5, pp.509-530, 2005.
DOI : 10.1016/j.cad.2004.07.002

K. Kim, D. G. Manley, and E. H. Yang, Ontology-based assembly design and information sharing for collaborative product development, Computer-Aided Design, vol.38, issue.12, pp.1233-1250, 2006.
DOI : 10.1016/j.cad.2006.08.004

K. Kim, H. Yang, and D. Kim, Mereotopological assembly joint information representation for collaborative product design, Robotics and Computer-Integrated Manufacturing, vol.24, issue.6, pp.744-754, 2008.
DOI : 10.1016/j.rcim.2008.03.010

L. Rocca and G. , Knowledge based engineering: Between AI and CAD. Review of a language based technology to support engineering design, Advanced Engineering Informatics, vol.26, issue.2, pp.159-179, 2012.
DOI : 10.1016/j.aei.2012.02.002

K. Li, G. Foucault, J. Léon, and E. M. Trlin, Fast global and partial reflective symmetry analyses using boundary surfaces of mechanical components, Computer-Aided Design, vol.53, pp.70-89, 2014.
DOI : 10.1016/j.cad.2014.03.005
URL : https://hal.archives-ouvertes.fr/hal-00961709

N. Mitra, M. Pauly, M. Wand, and E. D. Ceylan, Symmetry in 3D Geometry: Extraction and Applications, STAR of Eurographics conference, pp.29-51, 2012.
DOI : 10.1109/34.476508

M. Mäntylä, An Introduction to Solid Modeling, 1988.

O. Palombi, F. Ulliana, V. Favier, J. Léon, and M. Rousset, My Corporis Fabrica: an ontology-based tool for reasoning and querying on complex anatomical models, Journal of Biomedical Semantics, vol.5, issue.1, 2014.
DOI : 10.1016/j.gmod.2008.12.001
URL : https://hal.archives-ouvertes.fr/hal-00990332

N. Rychtyckyj, Measuring long-term ontology quality : A case study from the automotive industry, 19 th Int. Florida Artificial Intelligence Research Society Conf, pp.147-152, 2006.

A. Shahwan, J. Léon, G. Foucault, M. Trlin, and E. O. Palombi, Qualitative behavioral reasoning from components??? interfaces to components??? functions for DMU adaption to FE analyses, Computer-Aided Design, vol.45, issue.2, pp.383-394, 2013.
DOI : 10.1016/j.cad.2012.10.021
URL : https://hal.archives-ouvertes.fr/hal-01073655

A. Varzi, Basic problems of mereotopology, Formal Ontology in Information Systems, pp.29-38, 1998.

S. Wintermute, J. E. Et, and . Laird, Predicate projection in a bimodal spatial reasoning system, 22 nd AAAI Conf. on Artificial Intelligence, pp.1572-1577, 2007.