Revising Faceted Taxonomies and CTCA Expressions.

A faceted taxonomy is a set of taxonomies each describing the application domain from a different (preferably orthogonal) point of view. CTCA is an algebra that allows specifying the set of meaningful compound terms (meaningful conjunctions of terms) over a faceted taxonomy in a flexible and efficient manner. However, taxonomy updates may turn a CTCA expression e ill-formed and may turn the compound terms specified by e to no longer reflect the domain knowledge originally expressed in e. This paper shows how we can revise e after a taxonomy update and reach an expression e′ that is both well-formed and whose semantics (compound terms defined) is as close as possible to the semantics of the original expression e before the update. [ABSTRACT FROM AUTHOR]