Visual Knowledge Reasoning on Typed Categorical Structure

Knowledge reasoning is the major content of effective knowledge discovery, because it can facilitate the detection of new knowledge from already known. The visualization of knowledge reasoning is customary to human thinking that needs a graph-based representation to unify structure and logic for higher reasoning capability. Categorical knowledge structures are special method of formalization based on category theory and typed category theory for structured knowledge representation. This paper presents a new reasoning method at an angle of knowledge association and deduction. This method changes basic knowledge reasoning to the computation of categorical structure. This method visualizes the process of knowledge reasoning through analogical functors and categorical pushouts.