Extraction et Inférence de Connaissances à partir d'Assemblages Mécaniques Définis par une Représentation CAO 3D

L'extraction de connaissances a partir de modeles geometriques 3D et les raisonnements associes constituent un enjeu important pour permettre le developpement d'ontologies capables de decrire fonctionnellement des produits manufactures. Dans ce contexte, nous nous appuyons sur la logique deductive apportee par une base de connaissances etroitement couplee a un modeleur geo-metrique 3D. Les raisonnements faisant appel au concept de forme 3D restent difficiles a formaliser et les informations geometriques difficiles a extraire. Nous proposons une formalisation de proprietes telles que 'a la meme forme que', 'est de la meme famille que' pour montrer comment l'extraction d'informations geometriques 3D est reliee a ces proprietes. Par la suite, une formalisation de proprietes telles que 'est un empilage', 'est un regroupement' est introduite pour montrer les raisonnements qui contribuent a la structuration d'assemblages 3D. Ces proprietes sont illustrees a l'aide d'un exemple de pompe hydraulique.

[1]  John E. Laird,et al.  Predicate Projection in a Bimodal Spatial Reasoning System , 2007, AAAI.

[2]  Olivier Palombi,et al.  Qualitative behavioral reasoning from components' interfaces to components' functions for DMU adaption to FE analyses , 2013, Comput. Aided Des..

[3]  Alain Bernard,et al.  The evolution, challenges, and future of knowledge representation in product design systems , 2013, Comput. Aided Des..

[4]  Kyoung-Yun Kim,et al.  Mereotopological assembly joint information representation for collaborative product design , 2008 .

[5]  Jean-Claude Léon,et al.  Fast global and partial reflective symmetry analyses using boundary surfaces of mechanical components , 2014, Comput. Aided Des..

[6]  Nestor Rychtyckyj.  Measuring Long-Term Ontology Quality: A Case Study From the Automotive Industry , 2006, FLAIRS Conference.

[7]  Achille C. Varzi.  Basic Problems of Mereotopology , 1998 .

[8]  Flavien Boussuge,et al.  Template-based Geometric Transformations of a Functionally Enriched DMU into FE Assembly Models , 2014 .

[9]  Juan Chen,et al.  A survey of qualitative spatial representations , 2013, Knowledge engineering review (Print).

[10]  Olivier Palombi,et al.  My Corporis Fabrica: an ontology-based tool for reasoning and querying on complex anatomical models , 2014, Journal of Biomedical Semantics.

[11]  Kyoung-Yun Kim,et al.  Ontology-based assembly design and information sharing for collaborative product development , 2006, Comput. Aided Des..

[12]  Niloy J. Mitra,et al.  Symmetry in 3D Geometry: Extraction and Applications , 2013, Comput. Graph. Forum.

[13]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning: An Overview , 2001, Fundam. Informaticae.

[14]  Martti Mäntylä,et al.  Introduction to Solid Modeling , 1988 .

[15]  K. Ramani,et al.  Three-dimensional shape searching : state-ofthe-art review and future trends , 2005 .

[16]  Jean-François Baget,et al.  On rules with existential variables: Walking the decidability line , 2011, Artif. Intell..

[17]  Ronald Fagin,et al.  Data exchange: semantics and query answering , 2003, Theor. Comput. Sci..

[18]  Marie-Laure Mugnier,et al.  Conceptual Graphs Are Also Graphs , 2014, ICCS.

[19]  Gianfranco La Rocca,et al.  Knowledge based engineering: Between AI and CAD. Review of a language based technology to support engineering design , 2012, Adv. Eng. Informatics.

[20]  Anthony G. Cohn,et al.  Reasoning about Topological and Cardinal Direction Relations Between 2-Dimensional Spatial Objects , 2014, J. Artif. Intell. Res..

[21]  Carola Eschenbach,et al.  Formal Ontology in Information Systems , 2008 .