Keyphrases
- predicate logic
- formal logic
- knowledge representation and reasoning
- semantic net
- temporal logic
- semantic network
- predicate calculus
- computational linguistics
- databases
- highly expressive
- data analysis
- domain knowledge
- information extraction
- graphical models
- logic programs
- lower level
- relational databases
- expert systems
- web services