Abstract:
The Terminology Box (TBox) of a Description Logic (DL) knowledge base is used to define new concepts in terms of primitive concepts and relations. The topic of this paper is the effect of the available operations in a DL on the length and the syntactic shape of definitions in a Terminology Box.