Svetla KOEVA, Tinko TINCHEV, Stoyan MIHOV
Bulgarian Wordnet – Structure and Validation

Abstract.
This paper presents a brief description of the semantic relations included in the Bulgarian wordnet. A complete and decidable formal logic for the wordnet structure is also proposed. This logic provides sufficient expressive power for all important verifications, queries, and consistency and completeness proofs required for wordnet applications. Some parameters concerning Bulgarian synsets and language-internal relations, as well as the distinctive features characterizing the completeness and consistency of the Bulgarian wordnet are laid out below.