ACL RD-TEC 1.0 Summarization of C02-1128
Paper Title:
TEXT AUTHORING, KNOWLEDGE ACQUISITION AND DESCRIPTION LOGICS
TEXT AUTHORING, KNOWLEDGE ACQUISITION AND DESCRIPTION LOGICS
Primarily assigned technology terms:
- closed-world authoring
- content representation
- controlled document authoring
- database
- document authoring
- first-order predicate calculus
- grammar writer
- knowledge acquisition
- knowledge bases
- knowledge representation
- listing
- logic programming
- modeling
- multilingual document authoring
- optimization
- prolog
- prolog program
- quantification
- query optimization
- reasoning
- semantic web
- unification
Other assigned terms:
- abbreviation
- analogy
- approach
- case
- citation
- community
- concept
- concepts
- constraint relations
- context-free grammar
- database query
- datalog
- datalog database
- decidability
- definite clause grammars
- derivation
- derivation tree
- derivation trees
- derivations
- description logic
- description logics
- document
- document content
- existential quantification
- fact
- finite set
- first-order logic
- formalisms
- generation
- grammar
- grammars
- grammatical framework
- implementation
- inferences
- information theory
- interpretation
- knowledge
- knowledge base
- logic
- logical form
- meaning
- method
- multilingual document
- names
- nonterminal
- nonterminals
- paragraphs
- predicate calculus
- predicates
- process
- queries
- query
- representation framework
- schema
- semantic
- semantic information
- semantic interpretation
- speech act
- stems
- symbols
- tags
- technical documentation
- terminals
- terms
- text
- text authoring
- theory
- tree
- trees
- user
- words
- xml document
