Query Answering over DL ABoxes: How to Pick the Relevant Symbols.
Franz BaaderMeghyn BienvenuCarsten LutzFrank WolterPublished in: Description Logics (2009)
Keyphrases
- dl lite
- query answering
- description logics
- transitive roles
- data complexity
- data exchange
- conjunctive queries
- incomplete information
- answering queries
- integrity constraints
- query rewriting
- data integration
- knowledge base
- expressive power
- first order logic
- computational complexity
- ontology languages
- tight complexity bounds
- artificial intelligence
- schema mappings
- multiagent systems
- data management
- data warehouse
- knowledge representation
- database systems