A Logic File System

On the one hand, hierarchical organizations are rigid in the sense that there is only one path to each document. On the other hand, keyword-based search is flexible because many sets of keywords may lead to the same document, but it lacks a navigation mechanism. We present the new paradigm of a logic file system, which integrates navigation and classification, and the possibility of expressive queries. This paradigm associates logical descriptions to files, and logical deduction serves as a basis for navigation and querying; paths are formulas. A key notion is the extension of a logical formula: i.e., the set of all files whose description satisfies the formula. The root directory is determined by formula , and sub-directories of a directory are determined by formulas whose extension strictly intersects the directory extension. This gives a logical ground for considering navigation as computing relevant hints to help refining a query. A prototype implementation demonstrates encouraging performances.