Query Inseparability for Description Logic Knowledge Bases.
Elena BotoevaRoman KontchakovVladislav RyzhikovFrank WolterMichael ZakharyaschevPublished in: KR (2014)
Keyphrases
- description logics
- knowledge base
- logical implication
- model theoretic
- dl lite
- computing least common subsumers
- knowledge representation
- query processing
- database
- reasoning tasks
- knowledge representation systems
- owl dl
- computational properties
- ontology languages
- semantic web
- concept descriptions
- reasoning services
- query rewriting
- reasoning problems
- query result
- dl programs
- answering queries
- owl ontologies
- query language
- query complexity
- rdf data
- snomed ct