A Proposal of Description Logic on Concept Lattices

There are two major formalisms that are developed around concepts: (1) Formal Concept Analysis (FCA) by R. Wille and B. Ganter, and (2) Description Logic (DL) that goes back to the universal terminological logic by P.F. Patel-Schneider. It has been demonstrated that FCA constructs (upper and lower derivatives, formal concepts) are expressible in DL. Present paper demonstrates how to interpret (positive) DL concepts over concept lattices in a compatible manner.

• Type: Conference
• Year: 2007
• Where: CLA
• Authors: Nikolay Shilov, Sang-Yong Han
• Keywords: Artificial Intelligence, CLA 2007, Formal Concept Analysis, Formal Concepts, Universal Terminological Logic