Hydra: a Modal Logic Tool for Wordnet Development, Validation and Exploration.
Borislav RizovPublished in: LREC (2008)
Keyphrases
- wordnet
- modal logic
- natural language processing
- co occurrence
- word sense disambiguation
- semantic relations
- semantic information
- temporal logic
- semantic relatedness
- semantic similarity
- text documents
- knowledge base
- automatically created
- keywords
- external knowledge
- semantic distance
- lexical knowledge
- situation calculus
- lexical database
- knowledge based systems
- recognizing textual entailment
- relatedness measure
- nonmonotonic logics
- prime implicates
- data mining
- semantic similarity measure
- sense disambiguation
- kripke models
- lexical resources
- textual entailment
- word sense
- text mining