 
Summary: The Semantics of the Compound Term
Composition Algebra
Yannis Tzitzikas1,5
, Anastasia Analyti2
, Nicolas Spyratos3
1
Istituto di Scienza e Tecnologie dell' Informazione, ISTICNR, Italy
2
Institute of Computer Science, ICSFORTH, Greece
3
Laboratoire de Recherche en Informatique, Universite de ParisSud, 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 modeltheoretic semantics of the operations and the closed
