A tree full of leaves: description logic and data documentation