Expressive Power of Knowledge Representation Systems.
Ewa OrlowskaZdzislaw PawlakPublished in: Int. J. Man Mach. Stud. (1984)
Keyphrases
- expressive power
- knowledge representation systems
- knowledge representation
- description logics
- knowledge base
- first order logic
- query language
- data complexity
- computational properties
- relational algebra
- transitive closure
- constraint query languages
- propositional logic
- relational calculus
- xml data
- boolean algebra
- artificial intelligence
- relation algebra
- databases