On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets.
Franz BaaderFilippo De BortoliPublished in: FroCos (2019)
Keyphrases
- expressive power
- constraint query languages
- description logics
- computational properties
- cardinality constraints
- dl lite
- exptime complete
- data complexity
- first order logic
- boolean algebra
- query language
- knowledge base
- knowledge representation
- closed sets
- constraint databases
- transitive closure
- relational algebra
- knowledge representation and reasoning
- inference rules
- artificial intelligence
- entity relationship
- data model
- natural language
- database systems