Meta-modeling Extension of Horn-SROIQ and Query Answering.
Zhenzhen GuPublished in: Description Logics (2016)
Keyphrases
- query answering
- description logics
- dl lite
- data exchange
- data complexity
- data integration
- integrity constraints
- incomplete information
- ontology languages
- conjunctive queries
- knowledge base
- datalog programs
- answering queries
- query rewriting
- expressive description logics
- structured data
- np hard
- artificial intelligence
- reasoning tasks
- computational complexity
- databases