Softwares

Camelis

Camelis is an implementation of Logical Information Systems (LIS) in Objective Caml (OCaml). Hence its name, made from CAMeL-LIS. For instance, it can assist the organisation and retrieval of photos by date, location, type, visible persons, etc. Any type of file or URLs can be imported with automatic annotation for MP3 files, BibTeX files, or DBLP search results. Works on Linux, Windows, and Mac.

LISFS

A VFS-compliant (Linux Virtual File System) logic file system [Padioleau & Ridoux, USENIX 2003] has been developed. Logical properties are associated to files and parts of file, and logical deduction serves as a basis for navigation and querying. "Paths are formulas", directories represent queries and determine set of files and parts of file whose description satisfies the formula. The root directory represents the formula "true", and sub-directories of a directory are determined by the most general properties refining the query, hence combining navigation and query. File contents are determined by those parts of the original file that satisfy the formula. This permits simultaneous read and write accesses to different "views" on a file, in order to help in separating a user's concerns. Properties can be attached to information manually by the user and automatically via programs called "transducers", and can be ordered manually by the user to form taxonomies or automatically via logic deduction engines. Users can dynamically extend the system by providing their own logic deduction engines and transducers. It handles all Read/Write operations, permissions as logical attributes, and inter-file navigation. This prototype supports the operating system track. It handles arbitrary logics via a plug-in interface. It may also support intra-file navigation, considering files as mount points, and views on the files as subdirectories [RR4783, CFSE2003].

GEOLIS

GEOLIS is a prototype combining a Logical Information System (LIS) and webmapping tools for exploring geographical data. Online version of GEOLIS works with a partial dataset concerning rodents distribution in Soudano-Sahelian Africa. It aims at helping geographs in the research of factor impacting on rodents distribution.

Sewelis (aka. Camelis 2) - a LIS for the Semantic Web

 

The Possible World Explorer (PEW)