Reasoning About Knowledge using Lattices and F-logic

The paper describes knowledge reasoning using lattices in F-logic. The objective of this paper is to show that logic programming languages with second order syntax and with object oriented approach (HiLog + F-logic) provide adequate support for lattice representation and manipulation. A description on how lattices can be represented using F-logic formalism and some important rules for lattice manipulation are given. The theory of formal concept analysis is examined The basic concepts are described and represented in F-logic. Rules necessary for generating the concept lattice are presented. Further, examples of lattice application for knowledge reasoning are described as reasoning about semantic context and concept analysis for query modification.