Keyphrases
- knowledge base
- logic programming
- formal semantics
- knowledge acquisition
- knowledge based systems
- knowledge representation
- description logics
- sound and complete with respect
- possibilistic logic
- conceptual graphs
- domain knowledge
- semantic information
- expressive power
- conceptual model
- semantic network
- expert systems
- database systems
- artificial intelligence
- operational semantics
- model theoretic
- machine learning