Keyphrases
- representation language
- knowledge representation
- first order logic
- background knowledge
- inductive logic programming
- formal language
- knowledge structures
- machine learning
- horn clause logic
- temporal knowledge
- concept descriptions
- high dimensional
- database
- knowledge based systems
- knowledge acquisition
- general purpose
- object oriented
- expert systems
- search engine
- information retrieval
- domain description