ACL RD-TEC 1.0 Summarization of C90-2065
Paper Title:
AN IMPLEMENTATION OF FORMAL SEMANTICS IN THE FORMALISM OF RELATIONAL DATABASES
AN IMPLEMENTATION OF FORMAL SEMANTICS IN THE FORMALISM OF RELATIONAL DATABASES
Primarily assigned technology terms:
Other assigned terms:
- anchor
- approach
- axioms
- case
- composition
- compositionality
- conjunct
- constituent structure
- context-free rule
- denotation
- determiner
- determiners
- entailment
- fact
- formal language
- formal semantics
- formalism
- grammar
- grammar \
- implementation
- inferences
- knowledge
- knowledge base
- lexical categories
- lexical category
- lexical items
- lexicon
- linguistic
- linguistic constraints
- logical form
- meanings
- names
- noun phrase
- noun phrases
- nouns
- ontology
- parse
- phrase
- predicate calculus
- predicates
- proper name
- proper names
- relation
- representations
- schema
- semantic
- semantic type
- semantic types
- semantic value
- sentence
- sentences
- subject position
- symbols
- syntactic categories
- syntactic category
- syntactic structure
- syntax
- theory
- topics
- translations
- universal grammar
- verb
- verb phrase
- word