Keyphrases
- conceptual graphs
- first order logic
- expressive power
- theorem proving
- knowledge representation
- knowledge structures
- natural language
- representation language
- theorem prover
- formal representation
- inductive logic programming
- partial order
- transitive closure
- domain ontology
- domain knowledge
- database technology
- machine learning
- domain specific
- search algorithm
- markov logic networks
- artificial intelligence