Publisher's Synopsis
Projection is a logic operation which allows to express tasks in knowledge representation. These tasks involve extraction or removal of knowledge concerning a given sub-vocabulary. This title presents a semantic characterization of projection for 1st-order logic on which basis, properties underlying applications and processing methods are derived.