Terminological Knowledge Representation: A Proposal for a Terminological Logic.
Franz BaaderHans-Jürgen BürckertJochen HeinsohnBernhard HollunderJürgen MüllerBernhard NebelWerner NuttHans-Jürgen ProfitlichPublished in: Description Logics (1991)
Keyphrases
- knowledge base
- knowledge representation
- highly expressive
- logic programming
- automated reasoning
- probabilistic logic
- classical logic
- databases
- predicate logic
- modal logic
- multi valued
- set theory
- sound and complete axiomatization
- probabilistic knowledge
- reasoning about actions
- expert systems
- case study
- information systems
- information retrieval
- real world