Review - Decidable Reasoning in Terminological Knowledge Representation Systems.
Alon Y. LevyPublished in: ACM SIGMOD Digit. Rev. (1999)
Keyphrases
- knowledge representation systems
- knowledge base
- knowledge representation
- description logics
- first order logic
- exptime complete
- expert systems
- terminological reasoning
- expressive power
- logic programming
- automated reasoning
- highly expressive
- probabilistic reasoning
- terminological knowledge
- polynomial hierarchy
- reasoning tasks
- transitive closure
- database
- semantic web
- artificial intelligence