Decidable Reasoning in Terminological Knowledge Representation Systems
Martin BuchheitFrancesco M. DoniniAndrea SchaerfPublished in: CoRR (1993)
Keyphrases
- knowledge representation systems
- knowledge base
- knowledge representation
- description logics
- first order logic
- exptime complete
- terminological knowledge
- terminological reasoning
- expert systems
- automated reasoning
- knowledge representation languages
- representing knowledge
- data mining
- reasoning tasks
- data sets
- dl lite
- highly expressive
- polynomial hierarchy
- belief revision
- semantic web
- machine learning