A Logical Characterization of Evaluable Knowledge Bases.
Alexander SakharovPublished in: ICAART (3) (2022)
Keyphrases
- knowledge base
- description logics
- knowledge based systems
- inconsistent knowledge
- representing knowledge
- knowledge acquisition
- logic programming
- wordnet
- knowledge representation
- inference engine
- dl lite
- predicate calculus
- logical reasoning
- natural language
- expressive power
- semantic network
- probabilistic logic
- possibilistic logic
- logical structure
- database systems
- database