ACL RD-TEC 1.0 Summarization of W97-0804
Paper Title:
FORMAL REDUNDANCY AND CONSISTENCY CHECKING RULES FOR THE LEXICAI DATABASE WORDNET 1.5
FORMAL REDUNDANCY AND CONSISTENCY CHECKING RULES FOR THE LEXICAI DATABASE WORDNET 1.5
Primarily assigned technology terms:
Other assigned terms:
- axioms
- case
- checker
- concept
- concepts
- database query
- dictionaries
- dictionary
- discourse
- disjunction
- entailment
- fact
- feature
- french
- heuristic
- heuristic rule
- homography
- human reader
- hypernym
- hypernymy
- hyponym
- hyponyms
- hyponymy
- inheritance
- knowledge
- lexical database
- lexical database wordnet
- lexical relation
- lexical relations
- lexicographer
- linguistics
- logic
- mapping
- meaning
- methodology
- names
- natural language
- negation
- nouns
- paraphrase
- part of speech
- polysemy
- priori
- queries
- query
- relation
- semantic
- semantic link
- semantic relation
- semantic relations
- subsumption
- synonym
- synonyms
- synonymy
- synset
- synsets
- syntax
- term
- terms
- thesaurus
- transitive closure
- transitivity
- understanding
- verb
- word
- word-net
- wordnet
- words
