Vivification

Vivification is an operation on a description logic knowledge base to improve performance of a semantic reasoner. Vivification replaces a disjunction of concepts $C\_1\; sqcup\; C\_2\; ldots\; sqcup\; C\_n$ by the "least common subsumer" of the concepts $C\_1,C\_2,ldots\; C\_n$.

The goal of this operation is to improve the performance of the reasoner by replacing a complex set of concepts with a single concept which subsumes the original concepts.

For example, consider the example given in (Cohen 92): Suppose we have the concept $extrm\{PIANIST(Jill)\}\; vee\; extrm\{ORGANIST(Jill)\}$. This concept can be vivified into a simpler concept $extrm\{KEYBOARD-PLAYER(Jill)\}$. This summarization leads to an approximation that may not be exactly equivalent to the original.

An approximation

Knowledge base vivification is not necessarily exact. If the reasoner is operating under the open world assumption we may get surprising results. In the previous example, if we replace the disjunction with the vivified concept, we will arrive at a surprising results.

First, we find that the reasoner will no longer classify Jill as either a pianist or an organist. Even though $extrm\{ORGANIST\}$ and $extrm\{PIANIST\}$ are the only two sub-classes, under the OWA we can no longer classify Jill as playing one or the other. The reason is that there may be another keyboard instrument (e.g. a harpsichord) that Jill plays but which does not have a specific subclass.

References

# Cohen, W.W., Borgida, A., Hirsh, H., Computing Least Common Subsumers in Description Logics, In: Proc. AAAI-92, AAAI Press/The MIT Press, 1992, pages 754--760. [http://citeseer.ist.psu.edu/cohen92computing.html CiteSeer]
# Baader, F., Kusters, R., Wolter F., Extensions to Description Logics. In F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P.F. Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003. http://citeseer.ist.psu.edu/baader03basic.html