S. Ferré,
O. Ridoux,
and B. Sigonneau.
Arbitrary Relations in Formal Concept Analysis and Logical Information Systems.
In ICCS,
LNCS 3596,
pages 166-180,
2005.
Springer.
[PDF]
Keyword(s): navigation,
logical information system,
relation,
logical concept analysis.
Abstract:
A logical view of formal concept analysis considers attributes of a formal context as unary predicates. In a first part, we propose an augmented definition that handles {\em binary relations} between objects. A Galois connection is defined on augmented contexts. It represents concept inheritance as usual, but also relations between concepts. As usual, labeling operators are also defined. In particular, concepts and relations are visible and labeled in a single structure. In a second part, we show how relations can be used for navigating in an augmented concept lattice. This part augments the theory of Logical Information Systems. An implementation is sketched, and first experimental results are presented. |
@inproceedings{FerRidSig2005,
author = {Ferré, S. and Ridoux, O. and Sigonneau, B.},
title = {Arbitrary Relations in Formal Concept Analysis and Logical Information Systems},
booktitle = {ICCS},
year = {2005},
pages = {166-180},
publisher = {Springer},
series = {LNCS 3596},
abstract = {A logical view of formal concept analysis considers attributes of a formal context as unary predicates. In a first part, we propose an augmented definition that handles {\em binary relations} between objects. A Galois connection is defined on augmented contexts. It represents concept inheritance as usual, but also relations between concepts. As usual, labeling operators are also defined. In particular, concepts and relations are visible and labeled in a single structure. In a second part, we show how relations can be used for navigating in an augmented concept lattice. This part augments the theory of Logical Information Systems. An implementation is sketched, and first experimental results are presented.},
pdf = {http://www.irisa.fr/LIS/ferre/papers/iccs2005.pdf},
keywords = {navigation, logical information system, relation, logical concept analysis},
}
Y. Padioleau,
B. Sigonneau,
O. Ridoux,
and S. Ferré.
LISFS: a Logical Information System as a File System.
In Véronique Benzaken, editor,
Bases de données avancées,
pages 393-398,
October 2005.
Université de Rennes 1.
[PDF]
Keyword(s): databases,
logical file system,
logical information system.
Abstract:
We present Logical Information Systems (LIS). A LIS can be viewed as a schema-less database whose objects are described by logical formulas. Objects are automatically organized according to their logical description, and logical formulas can be used for representing both queries and navigation links. The key feature of a LIS is that it answers a query with a set of navigation links expressed in the same logic as the query. As navigation links are dynamically computed from any query, and can be used as query increments, it follows that querying and navigation steps can be combined in any order. We then present LISFS, a file-system implementation of a LIS, where objects are files or parts of files. This has the benefit to make LIS features available right now to existing applications. This implementation can easily be extended and specialized through a plug-in mechanism. Finally, we present some applications in the field of personal databases (e.g., music, images, emails), and demonstrate that building specialized interfaces for visualizing databases can be done easily through LISFS navigation. |
@inproceedings{PSRF2005,
author = {Padioleau, Y. and Sigonneau, B. and Ridoux, O. and Ferré, S.},
title = {LISFS: a Logical Information System as a File System},
booktitle = {Bases de données avancées},
pages = {393--398},
year = {2005},
editor = {Benzaken, Véronique},
month = {oct},
publisher = {Université de Rennes 1},
pdf = {http://www.irisa.fr/LIS/sigonneau/publications/articles/bda2005.pdf},
abstract = {We present Logical Information Systems (LIS). A LIS can be viewed as a schema-less database whose objects are described by logical formulas. Objects are automatically organized according to their logical description, and logical formulas can be used for representing both queries and navigation links. The key feature of a LIS is that it answers a query with a set of navigation links expressed in the same logic as the query. As navigation links are dynamically computed from any query, and can be used as query increments, it follows that querying and navigation steps can be combined in any order. We then present LISFS, a file-system implementation of a LIS, where objects are files or parts of files. This has the benefit to make LIS features available right now to existing applications. This implementation can easily be extended and specialized through a plug-in mechanism. Finally, we present some applications in the field of personal databases (e.g., music, images, emails), and demonstrate that building specialized interfaces for visualizing databases can be done easily through LISFS navigation. },
keywords = {databases, logical file system, logical information system},
}