Datalog and Description Logics: Expressive Power.
Marco CadoliLuigi PalopoliMaurizio LenzeriniPublished in: APPIA-GULP-PRODE (1997)
Keyphrases
- expressive power
- description logics
- dl lite
- computational properties
- exptime complete
- data complexity
- first order logic
- knowledge representation
- query language
- knowledge base
- reasoning tasks
- relational calculus
- relational algebra
- transitive closure
- ontology based data access
- ontology languages
- semantic web
- dl programs
- reasoning systems
- relational query languages
- model theoretic
- special case
- expert systems
- knowledge representation and reasoning
- complex objects
- logic programming
- data model
- computational complexity