The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains.
Franz BaaderFilippo De BortoliPublished in: SAC (2024)
Keyphrases
- expressive power
- description logics
- first order logic
- computational properties
- dl lite
- knowledge representation
- exptime complete
- data complexity
- model theoretic
- unions of conjunctive queries
- knowledge base
- query language
- relational algebra
- ontology languages
- transitive closure
- theorem prover
- reasoning tasks
- propositional logic
- inductive logic programming
- relational calculus
- probabilistic reasoning
- horn clauses
- incomplete information
- reasoning systems
- knowledge representation and reasoning
- semantic web
- expert systems
- machine learning
- function free horn
- relational data
- np complete
- logic programming
- artificial intelligence