Keyphrases
- predicate logic
- formal logic
- logical formulas
- knowledge representation and reasoning
- semantic network
- semantic net
- computational linguistics
- temporal logic
- graph matching
- information retrieval
- artificial intelligence
- description logics
- natural language processing
- object oriented
- predicate calculus
- search algorithm
- web services