When is Query Inseparability for ALC Ontologies Decidable?
Elena BotoevaCarsten LutzVladislav RyzhikovFrank WolterMichael ZakharyaschevPublished in: Description Logics (2016)
Keyphrases
- description logics
- dl lite
- unions of conjunctive queries
- semantic query
- query processing
- response time
- database
- knowledge base
- user queries
- databases
- exptime complete
- query expansion
- retrieval systems
- relevance feedback
- domain specific
- domain ontology
- data sources
- information retrieval systems
- semantic web
- upper bound
- knowledge representation
- domain knowledge
- owl dl
- data structure
- database queries
- ontology languages
- fuzzy description logics
- query containment
- answering queries
- query rewriting
- ontology mapping
- information integration
- topic maps
- query answering
- query terms
- first order logic
- relational databases
- web pages