中文摘要：

装配空间关系形式表达是实现产品装配空间语义查询、分析和装配序列规划的基础.结合机械产品装配的特点,对装配空间的拓扑关系和方向关系进行分析,提出空间拓扑的邻接关系、插入关系和分离关系;基于形态分类学和拓扑集描述逻辑理论,给出装配空间拓扑关系和方向关系相结合的装配空间关系的形式表达;通过三维实体边界几何处理,实现形式表达中原子关系的定义;基于形式表达语义的推理方法,自动建立复杂装配体之间空间关系,并且可以将自动标注的空间关系基于本体的RDF/XML文档输出.最后给出一个注射模装配空间关系自动标注及形式表达的实例,结果表明,文中提出的语义推理方法能较好地实现装配关系的形式表达.

英文摘要：

Formal representation of spatial relations of assembly is a foundation for spatial semantic inquiry,analysis and assembly planning of products.Based on the characteristics of mechanical product assembly,the spatial topology and directional relations in assembly are analyzed.The spatial adjacency relations,inserting relations and separating relations between assembly bodies are proposed.Based on morphological taxonomy and topological description logic theory,a formal representation for spatial relations integrating topology and direction are given.By means of three-dimensional solid boundary geometry processing,the atom relations in formal representation are defined.Based on semantic reasoning the complex spatial relationships between assembly bodies can be automatically constructed and annotated.Ontology-based spatial relationship＇s RDF/XML document can be obtained.Finally,an injection mold assembly example for automatically constructing and annotating the spatial relationship is given.The results show that the proposed methods of semantic inference can be well used to realize the formal representation for spatial relations of assembly.