Parallelised ABox Reasoning and Query Answering with Expressive Description Logics (Extended Abstract).
Andreas SteigmillerBirte GlimmPublished in: Description Logics (2020)
Keyphrases
- expressive description logics
- extended abstract
- query answering
- regular path queries
- data complexity
- exptime complete
- data exchange
- conjunctive queries
- description logics
- regular expressions
- query containment
- data integration
- incomplete information
- answering queries
- integrity constraints
- semistructured data
- graph databases
- query rewriting
- owl dl
- dl lite
- data model
- ontology languages
- domain knowledge
- computational complexity
- artificial intelligence
- reasoning tasks
- database
- special case