| | |
Summary: The Semantics of the Compound Term
Composition Algebra
Yannis Tzitzikas1,5
, Anastasia Analyti2
, Nicolas Spyratos3
1
Istituto di Scienza e Tecnologie dell' Informazione, ISTI-CNR, Italy
2
Institute of Computer Science, ICS-FORTH, Greece
3
Laboratoire de Recherche en Informatique, Universite de Paris-Sud, France
Email : tzitzik@isti.cnr.it, analyti@csi.forth.gr, spyratos@lri.fr
Abstract. In [11], we proposed an algebra with four algebraic opera-
tors, whose composition can be used to generate valid compound terms
in a given faceted taxonomy in an efficient and flexible manner. The pos-
itive operations allow the derivation of valid compound terms through
the declaration of a small set of valid compound terms. The negative
operations allow the derivation of valid compound terms through the
declaration of a small set of invalid compound terms. Here, we formally
define the model-theoretic semantics of the operations and the closed-
|
