Datalog and Description Logics: Expressive Power.
Marco CadoliLuigi PalopoliMaurizio LenzeriniPublished in: DBPL (1997)
Keyphrases
- expressive power
- description logics
- dl lite
- data complexity
- exptime complete
- query language
- computational properties
- first order logic
- knowledge base
- transitive closure
- knowledge representation
- reasoning tasks
- knowledge representation and reasoning
- relational algebra
- reasoning systems
- semantic web
- ontology languages
- machine learning
- relational calculus
- dl programs
- data management
- ontology based data access