For the three coverage properties (5.4), I'd like to suggest these improvements in the specification:
First, explain that the default case for a classification is when xkos:coversExhaustively and xkos:coversMutuallyExclusively would be used together (would users appreciate to have an xkos:coversExhaustivelyAndMutuallyExclusively property to have a single triple to define rather than two?),
then explain that these properties can also be applied to Classification Levels (easier to do if the Level definition is introduced first and not after)
and finally, provide an example where xkos:covers would be used instead (some information on the expected arity of these relationships in these different use cases may also help)
Again, a comment which is a follow-up of another of Antoine's remarks https://github.com/linked-statistics/xkos/issues/26
For the three coverage properties (5.4), I'd like to suggest these improvements in the specification: