Query-Based Entailment and Inseparability for ALC Ontologies (Full Version).
Elena BotoevaCarsten LutzVladislav RyzhikovFrank WolterMichael ZakharyaschevPublished in: CoRR (2016)
Keyphrases
- description logics
- semantic query
- database
- query processing
- response time
- data sources
- dl lite
- rdf graphs
- ontology languages
- query formulation
- semantic web
- query evaluation
- knowledge base
- upper bound
- domain specific
- model theoretic
- user queries
- information integration
- range queries
- query expansion
- logic programming
- knowledge representation
- domain ontology
- first order logic
- semantic relationships
- probabilistic reasoning
- semantic technologies
- relevance feedback
- data structure
- owl dl
- databases