关键词: 概念格, 面向对象概念格, 纵向合成, 属性约简, 属性类别

Abstract: With the development of computer network, more formal contexts are distributed in different network nodes, and the attribute reduction of formal context is very important. This paper presents a method of attribute reduction of object oriented concept lattice through vertically combined formal context. First, it gives the attribute of object oriented concept lattice approximation operators which is used to define really subset and the relations between attributes of the formal context and vertically combined formal contexts, then gives the  relations among attribute of vertically combined formal context the approximation operator proper subset, sub-contexts approximation operator really subset and attribute equivalence. Necessary and sufficient conditions of various attribute vertically combined formal context discrimination is given, and the construction algorithm of  attribute reduction in vertically combined formal context is also given.

Key words: concept lattice, object oriented concept lattice, longitudinal synthesis, attribute reduction, attribute types