Parallelised ABox Reasoning and Query Answering with Expressive Description Logics.
Andreas SteigmillerBirte GlimmPublished in: ESWC (2021)
Keyphrases
- expressive description logics
- query answering
- regular path queries
- data complexity
- exptime complete
- data exchange
- description logics
- query containment
- conjunctive queries
- dl lite
- regular expressions
- integrity constraints
- query rewriting
- data integration
- incomplete information
- answering queries
- owl dl
- graph databases
- ontology languages
- schema mappings
- artificial intelligence
- reasoning systems
- datalog programs
- data management
- knowledge representation
- query language
- knowledge base