Current Version - Under Revision
Alternative semantically identical expressions may be generated using different logical transformations . The purpose of logical transformations is to support accurate and complete information retrieval through subsumption testing.
In general terms the types of transformation and resulting inferred views for expression are similar to those for concept definitions. The following sections of the guide identify some of inferred expression views and some of the differences between expressions and concept definitions