Keyphrases
- predicate logic
- knowledge representation and reasoning
- formal logic
- semantic net
- computational linguistics
- highly expressive
- predicate calculus
- temporal logic
- lower level
- artificial intelligence
- semantic network
- description logics
- natural language processing
- text mining
- relational databases
- high level
- machine learning
- fluent calculus