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.

[1]  Bernhard Ganter,et al.  Formal Concept Analysis: Mathematical Foundations , 1998 .

[2]  Alen Lovrenčić.  Knowledge Base Amalgamation using Higher-Order Logic-Based Language HiLog , 1999 .

[3]  Serge Abiteboul,et al.  Querying Semi-Structured Data , 1997, Encyclopedia of Database Systems.

[4]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[5]  Michael Kifer,et al.  HILOG: A Foundation for Higher-Order Logic Programming , 1993, J. Log. Program..

[6]  Michael Kifer,et al.  Inheritance and Rules in Object-Oriented Semantic Web Languages , 2003, RuleML.

[7]  Michael Kifer,et al.  Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web , 2003, OTM.

[8]  Sanda Martinčić-Ipšić,et al.  WEATHER FORECAST DATA SEMANTIC ANALYSIS IN F-LOGIC , 2006 .

[9]  J W Ballard,et al.  Data on the web? , 1995, Science.

[10]  Dan Suciu,et al.  Data on the Web: From Relations to Semistructured Data and XML , 1999 .

[11]  Mirko Čubrilo,et al.  Amalgamation of Heterogeneous Data Sources Using Amalgamated Annotated HiLog , 1999 .

[12]  Claudio Carpineto,et al.  Exploiting the Potential of Concept Lattices for Information Retrieval with CREDO , 2004, J. Univers. Comput. Sci..

[13]  Claudio Carpineto,et al.  Concept data analysis - theory and applications , 2004 .

[14]  Claudio Carpineto,et al.  Information retrieval through hybrid navigation of lattice representations , 1996, Int. J. Hum. Comput. Stud..