The Evolution of CycL, The Cyc Representation Language.
Douglas B. LenatRamanathan V. GuhaPublished in: SIGART Bull. (1991)
Keyphrases
- representation language
- knowledge representation
- first order logic
- knowledge base
- background knowledge
- predicate calculus
- inductive logic programming
- concept descriptions
- formal language
- wordnet
- knowledge structures
- artificial intelligence
- relational databases
- software engineering
- general purpose
- text classification
- temporal knowledge
- domain description