Games for query inseparability of description logic knowledge bases.
Elena BotoevaRoman KontchakovVladislav RyzhikovFrank WolterMichael ZakharyaschevPublished in: Artif. Intell. (2016)
Keyphrases
- description logics
- knowledge base
- logical implication
- model theoretic
- computing least common subsumers
- dl lite
- knowledge representation
- reasoning tasks
- query processing
- computational properties
- database
- semantic web
- knowledge representation systems
- query evaluation
- ontology languages
- data sources
- query execution
- concept descriptions
- owl dl
- logic programming
- rdf data
- tree patterns
- reasoning problems
- semantic mapping
- expert systems
- data integration
- knowledge representation languages