A Kind of Logical Compilation for Knowledge Bases.
Philippe MathieuJean-Paul DelahayePublished in: Theor. Comput. Sci. (1994)
Keyphrases
- knowledge base
- representing knowledge
- inconsistent knowledge
- knowledge representation
- knowledge based systems
- knowledge sources
- description logics
- knowledge acquisition
- database
- real time
- expert systems
- case study
- inference engine
- model theoretic
- dl lite
- neural network
- meta knowledge
- knowledge representation systems