A General Framework for Covering Concepts using Terminologies
Résumé
We describe a general framework for covering concepts using terminologies and briefly present the already investigated instances of this framework. Then, we formalize the best covering problem in the context of the ALN language, in which the difference operation is not semantically unique, and sketches the technique to solve the underlying computation problems