The Reduction Theory of Object Oriented Concept Lattices and Property Oriented Concept Lattices

摘要

Knowledge reduction is a basic issue in knowledge representation and data analysis. Suggested by the reduction theory of classical concept lattices, this paper discusses the reduction theory of object oriented concept lattices and property oriented concept lattices. Many consistence judgement theorems are studied and proposed firstly, and then, the reduction theorem is obtained consequently.