Decidable Reasoning in Terminological Knowledge Representation Systems.
Martin BuchheitFrancesco M. DoniniAndrea SchaerfPublished in: J. Artif. Intell. Res. (1993)
Keyphrases
- knowledge representation systems
- knowledge base
- knowledge representation
- description logics
- first order logic
- exptime complete
- terminological knowledge
- terminological reasoning
- expert systems
- artificial intelligence
- reasoning process
- expressive power
- knowledge representation languages
- belief revision
- theorem proving
- production rules
- probabilistic reasoning
- automated reasoning
- probabilistic logic
- representing knowledge
- rule based reasoning