Keyphrases
- knowledge representation
- knowledge representation and reasoning
- logic programming
- knowledge base
- knowledge acquisition
- expert systems
- description logics
- artificial intelligence
- natural language
- knowledge engineering
- automated reasoning
- inference engine
- rule based systems
- knowledge based systems
- first order logic
- production rules
- semantic web
- knowledge structures
- natural language understanding
- logic programming language
- natural language processing
- representing knowledge
- formal representation
- general purpose
- machine learning
- domain knowledge
- information extraction