Decidable Reasoning in Terminological Knowledge Representation Systems.
Martin BuchheitFrancesco M. DoniniAndrea SchaerfPublished in: IJCAI (1993)
Keyphrases
- knowledge representation systems
- knowledge base
- knowledge representation
- description logics
- first order logic
- exptime complete
- terminological knowledge
- logic programming
- terminological reasoning
- probabilistic reasoning
- automated reasoning
- reasoning process
- knowledge representation languages
- artificial intelligence
- semantic web
- representing knowledge