Paper Info
Title
The strong direct product of formal contexts
Abstract
The theory of Formal Concept Analysis is used as a knowledge representation mechanism and as a conceptual clustering method. Formal context is a basic notion in this theory. This paper proposes a kind of formal context, called n-Strong-Direct-Product-Formal-Context (n-SDPFC, for short), by the strong direct product of n formal contexts. It is found that the new context is closely related to the n original formal contexts in many aspects, for example, the concept lattices, and the implications between attributes, and so on. With the help of Kronecker product of boolean matrices, the main features of an n-SDPFC is given, and the method how to represent a formal context with such features by the strong direct product of some small formal contexts is brought forward. With this method, the workload for knowledge acquisition in formal context will be eased enormously.
Year
DOI
Venue
2013
10.1016/j.ins.2012.10.032
Inf. Sci.
Keywords
Field
DocType
conceptual clustering method,n original formal context,knowledge representation mechanism,strong direct product,kronecker product,formal context,knowledge acquisition,new context,small formal context,n formal context
Formal system,Discrete mathematics,Knowledge representation and reasoning,Lattice Miner,Formal specification,Context model,Conceptual clustering,Formal concept analysis,Knowledge acquisition,Mathematics
Journal
Volume
ISSN
Citations 
226,
0020-0255
2
PageRank 
References 
Authors
0.36
14
2
Name
Order
Citations
PageRank
Mei-Zheng Li1352.12
Ju-Sheng Mi2205477.81